2011 · 33 citations · 3 references
EngineeringComputer ScienceSystems EngineeringCyber-physical SystemsModel-based Systems EngineeringSystems ModelingControl System DesignControl SystemsHybrid SystemsHybrid Systems VerificationModel TransformationSupervisory ControlControl SynthesisController SynthesisHybrid AutomataHybrid Control SystemsSimulink ModelsState Machine ModelsSupervisory Control SystemsSupervisory Control Theory
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.
3
Using simplicity to control complexity
Lui Sha · IEEE Software · 2001 · 404 citations
Sandboxing Controllers for Cyber-Physical Systems
Stanley Bak, Karthik Manamcheri, Sayan Mitra et al. · 2011 · 78 citations