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

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.

[1]  N. G. Parke,et al.  Ordinary Differential Equations. , 1958 .

[2]  Matthias Althoff,et al.  Online Verification of Automated Road Vehicles Using Reachability Analysis , 2014, IEEE Transactions on Robotics.

[3]  Domitilla Del Vecchio,et al.  Cooperative Collision Avoidance at Intersections: Algorithms and Experiments , 2013, IEEE Transactions on Intelligent Transportation Systems.

[4]  S. Shankar Sastry,et al.  Reachability Calculations for Vehicle Safety During Manned/Unmanned Vehicle Interaction , 2012 .

[5]  Domitilla Del Vecchio,et al.  Design of a lane departure driver-assist system under safety specications: Theorems and Proofs , 2016 .

[6]  Christodoulos A. Floudas,et al.  αBB: A global optimization method for general constrained nonconvex problems , 1995, J. Glob. Optim..

[7]  T. Fujioka,et al.  Driver's behavior under steering assist control system , 1999, Proceedings 199 IEEE/IEEJ/JSAI International Conference on Intelligent Transportation Systems (Cat. No.99TH8383).

[8]  Chung Choo Chung,et al.  Robust Multirate Control Scheme With Predictive Virtual Lanes for Lane-Keeping System of Autonomous Highway Driving , 2015, IEEE Transactions on Vehicular Technology.

[9]  Thomas Weiskircher,et al.  Frameworks for interfacing trajectory tracking with predictive trajectory guidance for autonomous road vehicles , 2015, 2015 American Control Conference (ACC).

[10]  Matthias Althoff,et al.  Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization , 2008, 2008 47th IEEE Conference on Decision and Control.

[11]  Robert Baier,et al.  A computational method for non-convex reachable sets using optimal control , 2009, 2009 European Control Conference (ECC).

[12]  Aleksander B. Hac,et al.  Estimation of Vehicle Side Slip Angle and Yaw Rate , 2000 .

[13]  Ian M. Mitchell,et al.  Overapproximating Reachable Sets by Hamilton-Jacobi Projections , 2003, J. Sci. Comput..

[14]  Christodoulos A. Floudas,et al.  ANTIGONE: Algorithms for coNTinuous / Integer Global Optimization of Nonlinear Equations , 2014, Journal of Global Optimization.

[15]  Jürgen Guldner,et al.  ANALYSIS OF AUTOMATIC STEERING CONTROL FOR HIGHWAY VEHICLES WITH LOOK-DOWN LATERAL REFERENCE SYSTEMS , 1996 .

[16]  David M. Bevly,et al.  A Low-Cost Solution for an Integrated Multisensor Lane Departure Warning System , 2009, IEEE Transactions on Intelligent Transportation Systems.

[17]  J. Christian Gerdes,et al.  Lyapunov Based Performance Guarantees for the Potential Field Lane-keeping Assistance System , 2006 .

[18]  Domitilla Del Vecchio,et al.  Partial order techniques for vehicle collision avoidance: Application to an autonomous roundabout test-bed , 2009, 2009 IEEE International Conference on Robotics and Automation.

[19]  C.R. Jung,et al.  A lane departure warning system using lateral offset with uncalibrated camera , 2005, Proceedings. 2005 IEEE Intelligent Transportation Systems, 2005..

[20]  Saïd Mammar,et al.  Time to line crossing for lane departure avoidance: a theoretical study and an experimental setting , 2006, IEEE Transactions on Intelligent Transportation Systems.

[21]  Magnus Egerstedt,et al.  Autonomous driving in urban environments: approaches, lessons and challenges , 2010, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[22]  Rajesh Rajamani,et al.  Vehicle dynamics and control , 2005 .