Verification of Hybrid Systems: Monotonicity in the AHS Control System

Numerous approaches to verifying the safety of vehicles in the AHS architecture of PATH have been proposed (see [1] and [2]). One approach involves finding a boundary between safe and unsafe initial conditions. This task is significantly easier if we can guarantee that the severity of an accident is monotonic in the initial conditions. Simulation results are presented in which it is shown that this condition does not hold for the design of [1], and a hybrid automaton model explaining this situation is presented. Finally, some attempts to modify the control laws to obtain monotonicity are presented.

[1]  Robert B. Noland,et al.  Socio-economic Attributes And Impacts Of Travel Reliability: A Stated Preference Approach , 1995 .

[2]  Nick Stabile,et al.  The Aerodynamic Performance of Platoons: Final Report , 1995 .

[3]  Peter T. Martin.  Turning Movement Estimation in Real Time , 1997 .

[4]  Randolph W. Hall,et al.  Organizing For Its: Computer Integrated Transportation Phase 2: Results For Commercial Vehicle Operators , 1995 .

[5]  A. W. Merz.  Longitudinal State Estimation For A Four-vehicle Platoon , 1995 .

[6]  Pravin Varaiya,et al.  Viable Control of Hybrid Systems , 1994, Hybrid Systems.

[7]  Diana Yanakiev,et al.  Analysis, Design, And Evaluation Of AVCS For Heavy-duty Vehicles: Phase 1 Report , 1995 .

[8]  Pravin Varaiya,et al.  Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..

[9]  John Lygeros,et al.  Longitudinal control of the lead car of a platoon , 1993 .

[10]  Masayoshi Tomizuka,et al.  Fuzzy Logic Control for Lane Change Maneuvers in Lateral Vehicle Guidance , 1995 .

[11]  John Guckenheimer,et al.  Planar Hybrid Systems , 1994, Hybrid Systems.

[12]  Jitendra Malik,et al.  A Machine Vision Based System for Guiding Lane-change Maneuvers , 1995 .

[13]  Perry Y. Li,et al.  An AVHS Link Layer Controller for Traffic Flow Stabilization , 1995 .

[14]  Alice M. Agogino,et al.  Intelligent Sensor Validation And Sensor Fusion For Reliability And Safety Enhancement In Vehicle Control , 1995 .

[15]  Petros A. Ioannou,et al.  Modeling and control design for a computer-controlled brake system , 1997, IEEE Trans. Control. Syst. Technol..

[16]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[17]  Adolf D May,et al.  Investigating Intelligent Transportation Systems Strategies on the Santa Monica Freeway Corridor , 1995 .

[18]  Randolph W. Hall,et al.  Travinfo Field Operational Test Traveler Information Center (TIC) Study (technology Evaluation Element) Implementation Plan , 1995 .

[19]  W. Rudin.  Principles of mathematical analysis , 1964 .

[20]  Jason L. Speyer,et al.  Fault Detection And Identification With Application To Advanced Vehicle Control Systems , 1995 .

[21]  Pravin Varaiya,et al.  Driving safely in smart cars , 1995, Proceedings of 1995 American Control Conference - ACC'95.