Ariadne is an in-progress open environment to design algorithms for computing with hybrid automata, that relies on a rigorous computable analysis theory to represent geometric objects, in order to achieve provable approximation bounds along the computations. In this paper we discuss the problem of reachability analysis of hybrid automata to decide safety properties. We describe in details the algorithm used in Ariadne to compute over-approximations of reachable sets. Then we show how it works on a simple example. Finally, we discuss the lower-approximation approach to the reachability problem and how to extend Ariadne to support it. Copyright © 2007 International Federation of Automatic Control All Rights Reserved.
Reachability computation for hybrid systems with Ariadne / Benvenuti, Luca; D., Bresolin; A., Casagrande; P., Collins; A., Ferrari; E., Mazzi; A., Sangiovanni Vincentelli; T., Villa. - 17:1 PART 1(2008), pp. 8960-8965. (Intervento presentato al convegno World Congress tenutosi a Seoul; Korea, Republic of nel Jul. 06, 2008) [10.3182/20080706-5-kr-1001.01513].
Reachability computation for hybrid systems with Ariadne
BENVENUTI, Luca;
2008
Abstract
Ariadne is an in-progress open environment to design algorithms for computing with hybrid automata, that relies on a rigorous computable analysis theory to represent geometric objects, in order to achieve provable approximation bounds along the computations. In this paper we discuss the problem of reachability analysis of hybrid automata to decide safety properties. We describe in details the algorithm used in Ariadne to compute over-approximations of reachable sets. Then we show how it works on a simple example. Finally, we discuss the lower-approximation approach to the reachability problem and how to extend Ariadne to support it. Copyright © 2007 International Federation of Automatic Control All Rights Reserved.File | Dimensione | Formato | |
---|---|---|---|
VE_2008_11573-400006.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
859.78 kB
Formato
Adobe PDF
|
859.78 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.