Application of Constraint Solving and ODE-Enclosure Methods to the Analysis of Hybrid Systems
Andreas Eggers, Martin Fränzle, Christian Herde, Theodore E. Simos, George Psihoyios, Ch. Tsitouras · AIP conference proceedings · 2009
In this short paper, we summarize our approach to analyzing hybrid discrete‐continuous systems by reduction to constraint solving paired with enclosure methods for sets of initial value problems of ordinary differential equations.