Safety Verification for Impulsive Systems

The problem of safety verification for a subclass of hybrid systems, namely for impulsive systems with fixed moments of jumps is considered. Sufficient conditions are derived for the safety of impulsive systems whose continuous dynamics may steer the state outside the safe region. For this purpose auxiliary barrier certificates with nonlinear rates are introduced and equipped with appropriate dwell-time conditions which restrict the upper bound for the inter-jump interval in order to ensure the desired safety property. The proposed approach is demonstrated by performing safety verification of linear and nonlinear impulsive systems. Copyright (C) 2020 The Authors.