Lane Change State Model - woven-planet/opensafety-mbse GitHub Wiki

This state model abstracts the lifecycle of a Driving Lane Change.

Since there is only one instance of Ego Vehicle in our models, there can be at most one instance of Driving Lane Change at any given time. In other words, we always have an Ego Vehicle instance, but we may or may not have an instance of Driving Lane Change working through its lifecycle at any given time.