A step towards verification and synthesis from Simulink/Stateflow models

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

Volumn , Issue , 2011, Pages 317-318

  Manamcheri, Karthik ^a   Mitra, Sayan ^a   Bak, Stanley ^a   Caccamo, Marco ^a  

^a NONE

Author keywords

Hybrid automata; Simulink; Stateflow

Indexed keywords

HYBRID AUTOMATONS; MODELING ENVIRONMENTS; SIMULINK; STATEFLOW; SUPERVISORY CONTROL SYSTEMS; SUPERVISORY CONTROLLERS;

HYBRID COMPUTERS; HYBRID SYSTEMS;

CONTROL SYSTEM SYNTHESIS;

EID: 79956029286     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1967701.1967749     Document Type: Conference Paper

References (9)

1. Hylink tool. http://hsver.crhc.illinois.edu.
2. S. Bak, A. Greer, and S. Mitra. Hybrid cyberphysical system verification with simplex using discrete abstractions. In RTAS'10, 2010.
3. S. Bak, K. Manamcheri, S. Mitra, and M. Caccamo. Sandboxing controllers for cyber-physical systems. In ICCPS'11, 2011.
4. J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. UPPAAL in 1995. In TACAS, pages 431-434, 1996. (Pubitemid 126050435)
5. T. A. Henzinger, P.-H. Ho, and H. Wong-Toi. Hytech: A model checker for hybrid systems. In CAV'97.
6. M. M. Jr., A. Davitian, and P. Tabuada. Pessoa: A tool for embedded control software synthesis. In CAV, 2010.
7. L. Sha. Using simplicity to control complexity. IEEE Software, 18:20-28, 2001. (Pubitemid 32694247)
8. B. I. Silva, K. Richeson, B. H. Krogh, and A. Chutinan. Modeling and verification of hybrid dynamical system using checkmate. In ADPM, 2000.
9. A. Tiwari. Formal semantics and analysis methods for Simulink Stateflow models. Technical report, SRI International, 2002.