Hybrid Systems Modeling and Reachability-Based Controller Design Methods for Vehicular Automation

In this study, applicability of verification and correct-by-design hybrid systems modeling and reachability-based controllers for vehicular automation are investigated. Two perspectives in hybrid systems modeling will be introduced, and then reachability analysis techniques will be developed to compute exact reachable sets from a specified unsafe set. Using level set methods, a Hamilton–Jacobi–Isaacs equation is derived whose solutions describe the boundaries of the finite time backward reachable set, which will be manipulated to design a safe controller that guarantees the safety of a given system. An automated longitudinal controller with a fully integrated collision avoidance functionality will be designed as a hybrid system and validated through simulations with a number of different scenarios in order to illustrate the potential of verification methods in automated vehicles.

[1]  Thomas A. Henzinger,et al.  HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.

[2]  John Lygeros,et al.  Verified hybrid controllers for automated vehicles , 1998, IEEE Trans. Autom. Control..

[3]  Ian M. Mitchell.  Comparing Forward and Backward Reachability as Tools for Safety Analysis , 2007, HSCC.

[4]  Rajeev Alur,et al.  Modeling and analysis of hybrid systems , 2003 .

[5]  Ian M. Mitchell,et al.  A Toolbox of Level Set Methods , 2005 .

[6]  Ümit Özgüner,et al.  Model based controller synthesis using reachability analysis that guarantees the safety of autonomous vehicles in a convoy , 2012, 2012 IEEE International Conference on Vehicular Electronics and Safety (ICVES 2012).

[7]  V. Borkar,et al.  A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..

[8]  Alexandre M. Bayen,et al.  A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games , 2005, IEEE Transactions on Automatic Control.

[9]  J. Sethian,et al.  Fronts propagating with curvature-dependent speed: algorithms based on Hamilton-Jacobi formulations , 1988 .

[10]  Ümit Özgüner,et al.  Hybrid-state driver/vehicle modelling, estimation and prediction , 2010, 13th International IEEE Conference on Intelligent Transportation Systems.

[11]  Bruce H. Krogh,et al.  Integrated path planning and dynamic steering control for autonomous vehicles , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[12]  J. Lygeros,et al.  A game theoretic approach to controller design for hybrid systems , 2000, Proceedings of the IEEE.

[13]  Petros A. Ioannou,et al.  Autonomous intelligent cruise control , 1993 .

[14]  T. Henzinger.  The theory of hybrid automata , 1996, LICS 1996.

[15]  Jihua Huang,et al.  Vehicle Longitudinal Control , 2012 .

[16]  Umit Ozguner,et al.  Hierarchical finite state machines for autonomous mobile systems , 2013 .

[17]  U. Ozguner,et al.  Intelligent cruise control stop and go with and without communication , 2006, 2006 American Control Conference.

[18]  L. M. Bujorianu,et al.  Stochastic Reachability Analysis of Hybrid Systems , 2012 .

[19]  Masayoshi Tomizuka,et al.  Combined lateral and longitudinal control of vehicles for IVHS , 1994, Proceedings of 1994 American Control Conference - ACC '94.

[20]  S. Shankar Sastry,et al.  Conflict resolution for air traffic management: a study in multiagent hybrid systems , 1998, IEEE Trans. Autom. Control..

[21]  Barbara Hayes-Roth,et al.  Intelligent Control , 1994, Artif. Intell..

[22]  Bart van Arem,et al.  The Impact of Cooperative Adaptive Cruise Control on Traffic-Flow Characteristics , 2006, IEEE Transactions on Intelligent Transportation Systems.