@inproceedings{f32a7b711c1b47c6b39128263a1479c4,
title = "A step towards verification and synthesis from Simulink/Stateflow models",
abstract = "This paper describes a toolkit for synthesizing hybrid supervisory control systems starting from the popular Simulink/Stateflow modeling environment. The toolkit provides a systematic strategy for translating Simulink/Stateflow models to hybrid automata and a discrete abstraction-based algorithm for synthesizing supervisory controllers.",
keywords = "Hybrid automata, Simulink, Stateflow",
author = "Karthik Manamcheri and Sayan Mitra and Stanley Bak and Marco Caccamo",
year = "2011",
doi = "10.1145/1967701.1967749",
language = "English (US)",
isbn = "9781450306294",
series = "HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control",
pages = "317--318",
booktitle = "HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems",
note = "14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011 ; Conference date: 12-04-2011 Through 14-04-2011",
}