Hybrid systems exhibit all the complexities of finite automata, nonlinear dynamic systems and differential equations, and are extremely difficult to analyze. A rigorous mathematical approach is needed to achieve provable approximation bounds along the computations. In this paper we describe a rigorous numerical calculus for working with functions that can be used for computing the evolution of nonlinear hybrid systems, and the implementation in the tool Ariadne for reachability analysis of hybrid systems. The method is based around expressing the sets attained during the evolution in terms of functions, and computing approximations to these functions, and allows highly accurate approximations for the evolved sets to be computed. An example of the control of the water level in a tank is presented.

Collins P., Bresolin D., Geretti L., Villa T. (2012). Computing the evolution of hybrid systems using rigorous function calculus. Academic Press, Elsevier [10.3182/20120606-3-NL-3011.00046].

Computing the evolution of hybrid systems using rigorous function calculus

BRESOLIN, DAVIDE;
2012

Abstract

Hybrid systems exhibit all the complexities of finite automata, nonlinear dynamic systems and differential equations, and are extremely difficult to analyze. A rigorous mathematical approach is needed to achieve provable approximation bounds along the computations. In this paper we describe a rigorous numerical calculus for working with functions that can be used for computing the evolution of nonlinear hybrid systems, and the implementation in the tool Ariadne for reachability analysis of hybrid systems. The method is based around expressing the sets attained during the evolution in terms of functions, and computing approximations to these functions, and allows highly accurate approximations for the evolved sets to be computed. An example of the control of the water level in a tank is presented.
2012
ADHS 12, 4th IFAC Conference on Analysis and Design of Hybrid Systems
284
290
Collins P., Bresolin D., Geretti L., Villa T. (2012). Computing the evolution of hybrid systems using rigorous function calculus. Academic Press, Elsevier [10.3182/20120606-3-NL-3011.00046].
Collins P.; Bresolin D.; Geretti L.; Villa T.
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/371928
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 30
  • ???jsp.display-item.citation.isi??? ND
social impact