R28 - woven-planet/opensafety-mbse GitHub Wiki

R28 / Generalization

Lateral Lane Boundary is a Start Of Lane or End Of Lane

The abstraction of Start and End of Lane subclasses makes it possible to state that, at any point in time from the perspective of the Ego Vehicle, either, both or none may be visible.

Formalization

<subclass>.(ID, Road segment) -> Lateral Lane Boundary.(ID, Road segment)

Copyright (c) 2023 Woven by Toyota, 2021,2022 Toyota Research Institute / MIT Open Source License

⚠️ **GitHub.com Fallback** ⚠️