OR42 - woven-planet/opensafety-mbse GitHub Wiki

OR42 / Ordinal

Division Transition closest / furthest

---

Division Transitions are ordered for each Lane Division ascending from the closest to the furthest away from the Ego Vehicle by Location. This makes it possible to both determine the currently active transition as well as the upcoming transitions in sequence as the Ego Vehicle drives along.

Formalization

Division Transition.Location in Division and Road Segment
ascending - furthest