Hierarchical Hybrid Control: A Case Study

In this paper, a case study of the difficulties encountered in the design of hierarchical, hybrid control systems is presented. The Intelligent Vehicle Highway System (IVHS) architecture proposed for vehicle platooning is used as an example. The authors conclude that the conventional tools currently is use for the design and verification of control systems may be inadequate for the design of hierarchical controllers for hybrid systems. The analysis, while indicating certain shortcomings of the current IVHS design, also contains proposed solutions to these problems.

[1]  Akash Deshpande,et al.  Control of hybrid systems , 1994 .

[2]  Sonia R. Sachs,et al.  Design Of Platoon Maneuver Protocols For IVHS , 1991 .

[3]  Petros A. Ioannou,et al.  Entrainment and vehicle following controllers design for autonomous intelligent vehicles , 1994, Proceedings of 1994 American Control Conference - ACC '94.

[4]  John Lygeros,et al.  Design of an extended architecture for degraded modes of operation of IVHS , 1995, Proceedings of 1995 American Control Conference - ACC'95.

[5]  L. Tavernini.  Differential automata and their discrete simulators , 1987 .

[6]  Jonathan Frankel.  ROBUST PLATOON MANEUVERS FOR AVHS , 1994 .

[7]  P. Varaiya,et al.  Sketch of an IVHS systems architecture , 1991, Vehicle Navigation and Information Systems Conference, 1991.

[8]  Panos J. Antsaklis,et al.  An introduction to intelligent and autonomous control , 1993 .

[9]  Panos J. Antsaklis,et al.  Modeling and analysis of artificially intelligent planning systems , 1993 .

[10]  Steven E Shladover.  DYNAMIC ENTRAINMENT OF AUTOMATED GUIDEWAY TRANSIT VEHICLES , 1978 .

[11]  M. W. Shields.  An Introduction to Automata Theory , 1988 .

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

[13]  Roger W. Brockett.  Pulse Driven Dynamical Systems , 1992 .

[14]  John N. Tsitsiklis,et al.  On the control of discrete-event dynamical systems , 1987, 26th IEEE Conference on Decision and Control.

[15]  V. Borkar,et al.  A unified framework for hybrid control : b background, model, and theory , 1994 .

[16]  Masayoshi Tomizuka,et al.  Vehicle Lateral Control for Highway Automation , 1990, 1990 American Control Conference.

[17]  J. K. Hedrick,et al.  Modeling and Validation of Automotive Engines for Control Algorithm Development , 1992 .

[18]  John Lygeros,et al.  An interface between continuous and discrete-event controllers for vehicle automation , 1994 .

[19]  Pravin Varaiya,et al.  Protocol design for an automated highway system , 1993, Discret. Event Dyn. Syst..

[20]  Petros A. Ioannou,et al.  Intelligent cruise control: theory and experiment , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[21]  A. Morse.  Supervisory control of families of linear set-point controllers , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[22]  Pravin Varaiya,et al.  Potential benefits of roadside intelligence for flow control in an IVHS , 1994, Proceedings of 1994 American Control Conference - ACC '94.

[23]  Charles A. Desoer,et al.  INDIRECT ADAPTIVE CONTROL OF A CLASS OF INTERCONNECTED NONLINEAR DYNAMICAL SYSTEMS , 1991 .

[24]  Roger W. Brockett,et al.  Hybrid Models for Motion Control Systems , 1993 .

[25]  R.E. Fenton,et al.  IVHS/AHS: driving into the future , 1994, IEEE Control Systems.

[26]  Robert L. Grossman,et al.  Timed Automata , 1999, CAV.

[27]  Pravin Varaiya,et al.  SMARTPATH, AN AUTOMATED HIGHWAY SYSTEM SIMULATOR , 1992 .

[28]  Masayoshi Tomizuka,et al.  Lane change maneuver of automobiles for the intelligent vehicle and highway system (IVHS) , 1994, Proceedings of 1994 American Control Conference - ACC '94.

[29]  V. Lakshmikantham,et al.  Nonlinear Analysis: Theory, Methods and Applications , 1978 .

[30]  Datta N. Godbole,et al.  Design of entry and exit maneuvers for IVHS , 1995, Proceedings of 1995 American Control Conference - ACC'95.

[31]  Pravin Varaiya,et al.  Decidability of Hybrid Systems with Rectangular Differential Inclusion , 1994, CAV.

[32]  Panos J. Antsaklis,et al.  Event Identification and Intelligent Hybrid Control , 1992, Hybrid Systems.

[33]  R. Brockett.  Dynamical Systems and Their Associated Automata , 1994 .

[34]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[35]  V. Borkar,et al.  A unified framework for hybrid control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[36]  Jitendra Malik,et al.  Binocular Stereopsis and Lane Marker Flow for Vehicle Navigation: Lateral and Longitudinal Control , 1994 .

[37]  D. Swaroop,et al.  Longitudinal Vehicle Controllers for IVHS: Theory and Experiment , 1992, 1992 American Control Conference.

[38]  George Meyer,et al.  Nonlinear system guidance in the presence of transmission zero dynamics , 1995 .

[39]  Anil Nerode,et al.  Models for Hybrid Systems: Automata, Topologies, Controllability, Observability , 1992, Hybrid Systems.

[40]  Harry L. Trentelman,et al.  Essays on control : perspectives in the theory and its applications , 1993 .

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

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

[43]  Anil Nerode,et al.  Multiple Agent Hybrid Control Architecture , 1992, Hybrid Systems.

[44]  Pravin Varaiya,et al.  Protocol Design for an Automated Highway System (Abstract) , 1993, CAV.

[45]  Anthony Hitchcock.  A Specification Of An Automated Freeway With Vehicle-borne Intelligence , 1992 .

[46]  J.K. Hedrick,et al.  Longitudinal Vehicle Controller Design for IVHS Systems , 1991, 1991 American Control Conference.

[47]  J. K. Hedrick,et al.  Vehicle Modelling and Control for Automated Highway Systems , 1990, 1990 American Control Conference.

[48]  John Guckenheimer,et al.  A Dynamical Simulation Facility for Hybrid Systems , 1993, Hybrid Systems.

[49]  John Lygeros,et al.  Hierarchical hybrid control: an IVHS case study , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

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

[51]  Kevin M. Passino,et al.  Stability analysis of expert control systems , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[52]  J. Lygeros,et al.  Simulation as a tool for hybrid system design , 1994, Fifth Annual Conference on AI, and Planning in High Autonomy Systems.

[53]  Tzyh-Jong Tarn,et al.  Systems, Models and Feedback: Theory And Applications , 1992 .

[54]  Pravin Varaiya,et al.  Roadside intelligence for flow control in an intelligent vehicle and highway system , 1994 .

[55]  Charles A. Desoer,et al.  Longitudinal Control of a Platoon of Vehicles , 1990, 1990 American Control Conference.

[56]  Kumpati S. Narendra,et al.  Improving transient response of adaptive control systems using multiple models and switching , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[57]  W. M. Wonham,et al.  On the consistency of hierarchical supervision in discrete-event systems , 1990 .

[58]  Anthony Hitchcock.  Casualties in Accidents Occurring During Split and Merge Maneuvers , 1993 .