Analysis and control of hybrid systems with parameter uncertainty based on interval methods

In this paper, by applying interval methods, a new framework for analysis and control of discrete-time hybrid systems with parameter uncertainty is proposed. In analysis and control of hybrid systems, there are problem formulations such that convex polyhedra are computed, but for high-dimensional systems, it is difficult to solve these problems within the practical computation time. In this paper, instead of computing convex polyhedra, an interval method, which is one of classical methods in verified numerical computation, is applied to analysis and control of hybrid systems. By applying an interval method, discrete-time piecewise systems with parameter uncertainty can be approximately transformed into a mixed logical dynamical model.