Design of a lane departure driver-assist system under safety specifications

Abstract

We use a controlled invariance approach to design a semi-autonomous lane departure assist system that is guaranteed to keep the vehicle in the lane. The controlled invariant safe set is the set of system states from which an input exists that can keep the vehicle in the lane. First we provide theoretical conditions under which this set has a simple characterization and can be computed in real-time. We then use this characterization to derive a feedback strategy that keeps the vehicle in the lane and overrides the driver only if he/she could otherwise force a future lane departure.

Original document

The different versions of the original document can be found in:

• http://dx.doi.org/10.1109/CDC.2016.7798632

• https://dspace.mit.edu/bitstream/1721.1/101596/2/HoehenerEtAl_DCD16_Appendix.pdf

• http://xplorestaging.ieee.org/ielx7/7786694/7798233/07798632.pdf?arnumber=7798632,

http://dx.doi.org/10.1109/cdc.2016.7798632

• https://dblp.uni-trier.de/db/conf/cdc/cdc2016.html#HoehenerHV16,

http://dspace.mit.edu/handle/1721.1/101596,

https://ieeexplore.ieee.org/document/7798632,

https://academic.microsoft.com/#/detail/2343845444