IEEE - Institute of Electrical and Electronics Engineers, Inc. - Unbounded-time reachability analysis of hybrid systems by abstract acceleration

2015 International Conference on Embedded Software (EMSOFT)

Author(s): Peter Schrammel
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2015
Conference Location: Amsterdam, Netherlands
Conference Date: 4 October 2015
Page(s): 51 - 54
ISBN (Electronic): 978-1-4673-8079-9
DOI: 10.1109/EMSOFT.2015.7318259
Regular:

Linear dynamical systems are ubiquitous in hybrid systems, both as physical models or as software control modules. Therefore we need an unbounded-time reachability analysis that can cope with... View More

Advertisement