On reachability analysis of uncertain hybrid systems

Abstract

Reachability analysis of a class of uncertain systems is considered in this paper. The nominal dynamics is piecewise affine and the disturbances and the uncertainty in the system are characterized by integral quadratic constraints defined in the time domain. Reachability tools for such systems are presented and it is discussed how they can be used in verification of hybrid systems. Particular attention is devoted to the application of the reachability tools for robustness analysis of oscillations in piecewise linear systems.