Computation of safety control for uncertain piecewise continuous systems on a partial order

In this paper, the safety control problem for a class of hybrid systems with disturbance inputs and imperfect continuous state information is considered. Under the assumption that the system has order preserving dynamics, we provide an algorithmic procedure for computing the control map, which has linear complexity in the number of continuous variables. The structure of the control map with imperfect state information is the same as the one with perfect state information, implying separation between state estimation and control. We illustrate the proposed algorithm on a class of applications characterized by order preserving dynamics.

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

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

[3]  Domitilla Del Vecchio,et al.  A separation principle for a class of hybrid automata on a partial order , 2009, 2009 American Control Conference.

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

[5]  Domitilla Del Vecchio.  Observer-based control of block-triangular discrete time hybrid automata on a partial order† , 2009 .

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

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

[8]  David Angeli,et al.  Monotone control systems , 2003, IEEE Trans. Autom. Control..

[9]  Terry C. Lawson.  Topology: A Geometric Approach , 2003 .

[10]  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.

[11]  J. Aubin.  Set-valued analysis , 1990 .

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

[13]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

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

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

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

[17]  Domitilla Del Vecchio,et al.  Continuous control of hybrid automata with imperfect mode information assuming separation between state estimation and control , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[18]  Stefan Friedrich,et al.  Topology , 2019, Arch. Formal Proofs.

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

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

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