SL2SX Translator: From Simulink to SpaceEx Models

Stefano Minopoli, Goran Frehse. SL2SX Translator: From Simulink to SpaceEx Models. In Alessandro Abate, Georgios E. Fainekos, editors, Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016. pages 93-98, ACM, 2016. [doi]

Abstract

Abstract is missing.