Impulse differential inclusions: a viability approach to hybrid systems

Impulse differential inclusions are introduced as a framework for modeling hybrid phenomena. Connections to standard problems in the area of hybrid systems are discussed. Conditions are derived that allow one to determine whether a set of states is viable or invariant under the action of an impulse differential inclusion. For sets that violate these conditions, methods are developed for approximating their viability and invariance kernels, that is the largest subset that is viable or invariant under the action of the impulse differential inclusion. The results are demonstrated on examples.