DocumentCode :
3481436
Title :
pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems
Author :
Casagrande, Arnaud ; Dreossi, Tommaso
Author_Institution :
Dept. of Math. & Geosci., Univ. of Trieste, Trieste, Italy
fYear :
2013
fDate :
4-6 Sept. 2013
Firstpage :
815
Lastpage :
818
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.
Keywords :
automata theory; formal verification; reachability analysis; continuous domain; epsilon-semantics framework; finite precision semantics; formal verification tool; hybrid automata; hybrid systems; mixed discrete-continuous behaviour; observable phenomena; pyHybrid analysis package; semantics analysis; Automata; Control systems; Measurement; Semantics; Standards; Syntactics; Vehicle dynamics; ε-Semantics; First-Order Theory; Hybrid Automata;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Digital System Design (DSD), 2013 Euromicro Conference on
Conference_Location :
Los Alamitos, CA
Type :
conf
DOI :
10.1109/DSD.2013.143
Filename :
6628364
Link To Document :
بازگشت