Hybrid automata naturally represent systems that exhibit a mixed discrete-continuous behaviours. The undecidability of the reach ability problem over them constrains the chances of punctually investigating this kind of formalism. Established that this negative result and the presence of artifacts, which do not correspond to any observable phenomena, are mainly due to the density of the continuous domain, a class of finite precision semantics, named [epsilon]-semantics, has been proposed to analyze hybrid automata. This paper presents a Python package, pyHybrid Analysis, that both implements the [epsilon]-semantics framework and allows to analyze hybrid automata.
pyHybridAnalysis: A Package for Semantics Analysis of Hybrid Systems
CASAGRANDE, ALBERTO;
2013-01-01
Abstract
Hybrid automata naturally represent systems that exhibit a mixed discrete-continuous behaviours. The undecidability of the reach ability problem over them constrains the chances of punctually investigating this kind of formalism. Established that this negative result and the presence of artifacts, which do not correspond to any observable phenomena, are mainly due to the density of the continuous domain, a class of finite precision semantics, named [epsilon]-semantics, has been proposed to analyze hybrid automata. This paper presents a Python package, pyHybrid Analysis, that both implements the [epsilon]-semantics framework and allows to analyze hybrid automata.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
