Akshay Rajhans
Srinath Avadhanula
ABSTRACT
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 enable graphical modeling of hybrid dynamics within a single Stateflow chart. A new type of Stateflow state that acts as a Simulink subsystem is developed to facilitate graphical modeling of continuous dynamics using Simulink blocks inside Stateflow. Remote textual and graphical state access using new state-accessor blocks enables continuous states to be used in transition guards and reset actions. Key features of this new formalism are illustrated using various examples with hybrid dynamics.
- Building a clutch lock-up model. http://www.mathworks.com/help/simulink/examples/building-a-clutch-lock-up-model.html.Google Scholar
- Execution order for parallel states. http://www.mathworks.com/help/stateflow/ug/execution-order-for-parallel-states.html.Google Scholar
- Modeling a bouncing ball. http://www.mathworks.com/help/stateflow/examples/modeling-a-bouncing-ball.html.Google Scholar
- Simulation of a bouncing ball. http://www.mathworks.com/help/simulink/examples/simulation-of-a-bouncing-ball.html.Google Scholar
- State decomposition in stateflow. https://www.mathworks.com/help/stateflow/ug/state-decomposition.html.Google Scholar
- Yo-yo control of satellites. http://www.mathworks.com/help/stateflow/examples/yo-yo-control-of-satellites.html.Google Scholar
- D. Artis, B. Heggestad, C. Krupiarz, M. Mirantes, and J. Reid. Messenger: Flight software design for a deep space mission. In 2007 IEEE Aerospace Conference, pages 1--9, March 2007.Google ScholarCross Ref
- T. Chen, M. Diciolla, M. Kwiatkowska, and A. Mereacre. A simulink hybrid heart model for quantitative verification of cardiac pacemakers. In Proc. of HSCC 2013, pages 131--136. Google ScholarDigital Library
- A. Chutinan and B. H. Krogh. Computational techniques for hybrid system verification. IEEE Transactions on Automatic Control, 48(1):64--75.Google Scholar
- A. Donzé, B. Krogh, and A. Rajhans. Parameter synthesis for hybrid systems with an application to simulink models. In R. Majumdar and P. Tabuada, editors, HSCC 2009, volume 5469 of LNCS, pages 165--179. Springer Berlin Heidelberg. Google ScholarDigital Library
- C. Fan, P. S. Duggirala, S. Mitra, and M. Vishwanathan. Progress on powertrain contrl verification challenge with C2E2. In Applied Verification for Continuous and Hybrid Systems workshop (ARCH), 2015.Google Scholar
- Z. Han, P. Mosterman, J. Zander, and F. Zhang. Systematic management of simulation state for multi-branch simulations in Simulink. In Proc. of the Symposium on Theory of Modeling and Simulation (TMS) 2013, pages 84--89. Google ScholarDigital Library
- M. C. Jackson and J. R. Henry. Orion GN&C model based development: Experience and lessons learned.Google Scholar
- X. Jin, J. V. Deshmukh, J. Kapinski, K. Ueda, and K. Butts. Powertrain contrl verification benchmark. In Proc. of HSCC 2014, pages 253--262. Google ScholarDigital Library
- T. T. Johnson, S. Bak, and S. Drager. Cyber-physical specification mismatch identification with dynamic analysis. In Proc. of ICCPS 2015, pages 208--217. Google ScholarDigital Library
- G. Rouleau. Olympic 2016 - pole vault. https://blogs.mathworks.com/simulink/2016/08/19/olympic-2016-pole-vault/, 2016.Google Scholar
- F. Zhang, M. Yeddanapudi, and P. Mosterman. Zero-crossing location and detection algorithms for hybrid system simulation. In 17th IFAC World Congress, pages 7967--7972, 2008.Google ScholarCross Ref
Recommendations
A toolbox for simulation of hybrid systems in matlab/simulink: hybrid equations (HyEQ) toolbox
HSCC '13: Proceedings of the 16th international conference on Hybrid systems: computation and controlThis paper describes the Hybrid Equations (HyEQ) Toolbox implemented in Matlab/Simulink for the simulation of hy- brid dynamical systems. This toolbox is capable of comput- ing approximations of trajectories to hybrid systems given in terms of ...
A step towards verification and synthesis from simulink/stateflow models
HSCC '11: Proceedings of the 14th international conference on Hybrid systems: computation and controlThis 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 ...
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 ...
Comments