A step towards verification and synthesis from simulink/stateflow models
Karthik Manamcheri, Sayan Mitra, Stanley Bak, Marco Caccamo · 2011
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.