A step towards verification and synthesis from Simulink/Stateflow models

Karthik Manamcheri, Sayan Mitra, Stanley Bak, Marco Caccamo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationHSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems
Subtitle of host publicationComputation and Control
Pages317-318
Number of pages2
DOIs
StatePublished - 2011
Externally publishedYes
Event14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011 - Chicago, IL, United States
Duration: Apr 12 2011Apr 14 2011

Publication series

NameHSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control

Other

Other14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011
Country/TerritoryUnited States
CityChicago, IL
Period4/12/114/14/11

Keywords

  • Hybrid automata
  • Simulink
  • Stateflow

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Control and Systems Engineering

Fingerprint

Dive into the research topics of 'A step towards verification and synthesis from Simulink/Stateflow models'. Together they form a unique fingerprint.

Cite this