Modeling and integer programming techniques applied to propositional calculus
Computers and Operations Research - Special issue: Expert systems and operations research
Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)
Predicate abstraction for reachability analysis of hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
Safety verification of hybrid systems by constraint propagation-based abstraction refinement
ACM Transactions on Embedded Computing Systems (TECS)
Control of systems integrating logic, dynamics, and constraints
Automatica (Journal of IFAC)
| Hi-index | 0.00 |
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.