A step towards verification and synthesis from simulink/stateflow models

Karthik Manamcheri, Sayan Mitra, Stanley Bak, Marco Caccamo
2011 Proceedings of the 14th international conference on Hybrid systems: computation and control - HSCC '11  
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.
doi:10.1145/1967701.1967749 dblp:conf/hybrid/ManamcheriMBC11 fatcat:vkqplgynazhqtd2hiy7pkfqapq