Graphical Hybrid Automata with Simulink and Stateflow
Akshay Rajhans, 
Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu ZhangAuthors Info & ClaimsAbstract
Reference
Recommendations
Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow
HSCC '18: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)Simulink and Stateflow are tools for Model-Based Design that support a variety of mechanisms for modeling hybrid dynamics. Each of these tools has different strengths. In this paper, a new modeling construct is presented that combines these strengths to ...
A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata
MEMOCODE '19: Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System DesignSimulink/Stateflow® is the de-facto tool for design of Cyber-physical Systems (CPS). CPS include hybrid systems, where a discrete controller guides a continuous plant. Hybrid systems are characterised by their continuous time dynamics with sudden ...
Verifying simulink stateflow model: timed automata approach
ASE '16: Proceedings of the 31st IEEE/ACM International Conference on Automated Software EngineeringSimulink Stateflow is widely used for the model-driven development of software. However, the increasing demand of rigorous verification for safety critical applications brings new challenge to the Simulink Stateflow because of the lack of formal ...
Comments
Information & Contributors
Information
Published In
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Demonstration
- Research
- Refereed limited
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 133Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in