Paper Info
Title
A step towards verification and synthesis from simulink/stateflow models
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.
Year
DOI
Venue
2011
10.1145/1967701.1967749
HSCC
Keywords
Field
DocType
stateflow model,systematic strategy,stateflow modeling environment,supervisory controller,hybrid supervisory control system,discrete abstraction-based algorithm,popular simulink,hybrid automaton,supervisory control
Abstraction,Computer science,Supervisory control,Automaton,Control engineering,Stateflow
Conference
Citations 
PageRank 
References 
19
1.12
6
Authors
4
Name
Order
Citations
PageRank
Karthik Manamcheri1402.33
Sayan Mitra265155.04
Stanley Bak331016.78
Marco Caccamo442531.84