Computing Invariance Kernels of Polygonal Hybrid Systems

Polygonal hybrid systems are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. One way of analysing such systems (and hybrid systems in general) is through the study of their phase portrait, which characterise the systems' qualitative behaviour. In this paper we identify and compute an important object of polygonal hybrid systems' phase portrait, namely invariance kernels. An invariant set is a set of points such That any trajectory starting in such point keep necessarily rotating in the set forever and the invariance, kernel is the largest of such sets. We show that this kernel is a non-convex polygon and we give a non-iterative algorithm for computing the coordinates of its vertexes and edges. Moreover, we show some properties of such systems' simple cycles.

[1]  Pravin Varaiya,et al.  Stability of Hybrid Systems , 1996, Hybrid Systems.

[2]  P.V. Zhivoglyadov,et al.  On stability in hybrid systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[3]  Sergio Yovine,et al.  Towards Computing Phase Portraits of Polygonal Differential Inclusions , 2002, HSCC.

[4]  Amir Pnueli,et al.  Reachability Analysis of Planar Multi-limear Systems , 1993, CAV.

[5]  Pravin Varaiya,et al.  What's decidable about hybrid automata? , 1995, STOC '95.

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

[7]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[8]  Amir Pnueli,et al.  Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives , 1995, Theor. Comput. Sci..

[9]  Pravin Varaiya,et al.  Ellipsoidal Techniques for Reachability Analysis , 2000, HSCC.

[10]  Gerardo Lafferriere,et al.  A New Class of Decidable Hybrid Systems , 1999, HSCC.

[11]  Eugene Asarin,et al.  Widening the Boundary between Decidable and Undecidable Hybrid Systems , 2002, CONCUR.

[12]  Shouchuan Hu.  Differential equations with discontinuous right-hand sides☆ , 1991 .

[13]  Olivier Bournez,et al.  Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems , 2000, HSCC.

[14]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[15]  Jean-Pierre Aubin,et al.  Viability and invariance kernels of impulse differential inclusions , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[16]  Patrick Saint-Pierre.  Hybrid Kernels and Capture Basins for Impulse Constrained Systems , 2002, HSCC.

[17]  Gordon J. Pace,et al.  SPeeDI - A Verification Tool for Polygonal Hybrid Systems , 2002, CAV.

[18]  Ian M. Mitchell,et al.  Reachability Analysis Using Polygonal Projections , 1999, HSCC.

[19]  Aleksej F. Filippov,et al.  Differential Equations with Discontinuous Righthand Sides , 1988, Mathematics and Its Applications.

[20]  Gordon J. Pace.  A New Breadth-First Search Algorithm for Deciding SPDI Reachability , 2003 .

[21]  Gerardo Schneider.  Invariance Kernels of Polygonal Differential Inclusions , 2003 .

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

[23]  Oded Maler,et al.  Reachability Analysis via Face Lifting , 1998, HSCC.

[24]  Mario di Bernardo,et al.  On a Novel Class of Bifurcations in Hybrid Dynamical Systems , 2001, HSCC.

[25]  André Marchaud.  Sur les champs de demi-droites et les équations différentielles du premier ordre , 1934 .

[26]  Jean-Pierre Aubin.  The Substratum of Impulse and Hybrid Control Systems , 2001, HSCC.

[27]  Pravin Varaiya,et al.  What's decidable about hybrid automata? , 1995, STOC '95.

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

[29]  Sergio Yovine,et al.  On the Decidability of the Reachability Problem for Planar Differential Inclusions , 2001, HSCC.

[30]  Karlis Cerans,et al.  Deciding Reachability for Planar Multi-polynomial Systems , 1996, Hybrid Systems.

[31]  Georgi Smirnov.  Viability and invariance , 2001 .

[32]  Karl Henrik Johansson,et al.  Towards a Geometric Theory of Hybrid Systems , 2000, HSCC.

[33]  Gordon J. Pace,et al.  Model Checking Polygonal Differential Inclusions Using Invariance Kernels , 2004, VMCAI.