IEEE - Institute of Electrical and Electronics Engineers, Inc. - A framework for mining hybrid automata from input/output traces

2015 International Conference on Embedded Software (EMSOFT)

Author(s): Ramy Medhat ; S. Ramesh ; Borzoo Bonakdarpour ; Sebastian Fischmeister
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): 177 - 186
ISBN (Electronic): 978-1-4673-8079-9
DOI: 10.1109/EMSOFT.2015.7318273
Regular:

Automata-based models of embedded systems are useful and attractive for many reasons: they are intuitive, precise, at a high level of abstraction, tool independent and can be simulated and... View More

Advertisement