A step towards verification and synthesis from simulink stateflow models



FREE-DOWNLOADK Manamcheri, S Mitra, S Bak… – Proceedings of the 14th …, 2011
Karthik Manamcheri This paper describes a toolkit for synthesizing hybrid su- pervisory
control systems starting from the popular Simulink/S- tateflow modeling environment. The