Viability and invariance kernels of impulse differential inclusions

Impulse differential inclusions provide a framework for modelling hybrid phenomena. In the context of impulse differential inclusions, verification for safety specifications and safe controller synthesis can be formulated as viability and invariance questions for appropriate sets of states. In this paper, a characterisation of viability and invariance kernels (i.e. the largest subsets of a given set that are viable or invariant) is presented. In the process, a method for computing these sets using standard viability and invariance tools is developed.

[1]  P. Saint-Pierre,et al.  Set-Valued Numerical Analysis for Optimal Control and Differential Games , 1999 .

[2]  Jean-Pierre Aubin,et al.  Viability theory , 1991 .

[3]  S. Sastry,et al.  On the existence of executions of hybrid automata , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[4]  Pravin Varaiya,et al.  Epsilon-Approximation of Differential Inclusions , 1996, Hybrid Systems.

[5]  George J. Pappas,et al.  Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.

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

[7]  Jean-Pierre Aubin,et al.  Towards a viability theory of hybrid systems , 2001, 2001 European Control Conference (ECC).

[8]  A. Pnueli,et al.  Effective synthesis of switching controllers for linear systems , 2000, Proceedings of the IEEE.

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