Observer-based control of block-triangular discrete time hybrid automata on a partial order†

The safety control problem for the class of discrete time block-triangular order preserving hybrid automata with imperfect continuous state information is addressed. A dynamic feedback law is constructed in order to guarantee that the continuous state is always outside a bad set. The order preserving properties of the dynamics are exploited to construct state estimation and control algorithms that have linear complexity in the number of variables. Such algorithms adopt an interval abstraction approach, in which sets of interest are represented and propagated only through suitable upper and lower bounds. The proposed algorithms are applied to a collision avoidance problem arising in the context of intelligent transportation. Copyright © 2008 John Wiley & Sons, Ltd.

[1]  S. Shankar Sastry,et al.  Semi-decidable Synthesis for Triangular Hybrid Systems , 2001, HSCC.

[2]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[3]  P. Varaiya,et al.  Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem , 2005 .

[4]  Rajeev Alur,et al.  A Temporal Logic of Nested Calls and Returns , 2004, TACAS.

[5]  D. Del Vecchio,et al.  Development of a Scaled Vehicle With Longitudinal Dynamics of an HMMWV for an ITS Testbed , 2008, IEEE/ASME Transactions on Mechatronics.

[6]  Thomas A. Henzinger,et al.  A User Guide to HyTech , 1995, TACAS.

[7]  Jörn Pachl,et al.  Railway Operation and Control , 2002 .

[8]  H. Wong-Toi,et al.  The synthesis of controllers for linear hybrid automata , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[9]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[10]  Domitilla Del Vecchio.  A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems , 2007, HSCC.

[11]  Amir Pnueli,et al.  Symbolic Controller Synthesis for Discrete and Timed Systems , 1994, Hybrid Systems.

[12]  Thomas A. Henzinger,et al.  Discrete-Time Control for Rectangular Hybrid Automata , 1997, Theor. Comput. Sci..

[13]  T. Alamo,et al.  A set-membership state estimation algorithm based on DC programming , 2008, Autom..

[14]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[15]  Steven M. LaValle,et al.  Planning algorithms , 2006 .

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

[17]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[18]  Jean-François Raskin,et al.  A Lattice Theory for Solving Games of Imperfect Information , 2006, HSCC.

[19]  Anna Philippou,et al.  Tools and Algorithms for the Construction and Analysis of Systems , 2018, Lecture Notes in Computer Science.

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

[21]  Thomas A. Henzinger,et al.  Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods , 2000, HSCC.

[22]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[23]  Wolfgang Thomas,et al.  On the Synthesis of Strategies in Infinite Games , 1995, STACS.

[24]  Ali Jadbabaie,et al.  Safety Verification of Hybrid Systems Using Barrier Certificates , 2004, HSCC.

[25]  Richard M. Murray,et al.  Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order , 2005, HSCC.

[26]  John Lygeros,et al.  Controllers for reachability specifications for hybrid systems , 1999, Autom..

[27]  Richard M. Murray,et al.  Discrete state estimators for systems on a lattice , 2006, Autom..

[28]  Feng Lin,et al.  Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems , 1998, Discret. Event Dyn. Syst..

[29]  Alexandre M. Bayen,et al.  Computational techniques for the verification of hybrid systems , 2003, Proc. IEEE.