IEEE - Institute of Electrical and Electronics Engineers, Inc. - pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems

2013 16th Euromicro Conference on Digital System Design

Author(s): Alberto Casagrande ; Tommaso Dreossi
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2013
Conference Location: Los Alamitos, CA, USA
Conference Date: 4 September 2013
Page(s): 815 - 818
ISBN (Electronic): 978-1-4799-2978-8
DOI: 10.1109/DSD.2013.143
Regular:

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... View More

Advertisement