research-article

Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow

Authors:

Akshay Rajhans,

Srinath Avadhanula,

Alongkrit Chutinan,

Pieter J. Mosterman,

Fu ZhangAuthors Info & Claims

HSCC '18: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)

Pages 247 - 252

https://doi.org/10.1145/3178126.3178152

Published: 11 April 2018 Publication History

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.

References

[1]

Building a clutch lock-up model. http://www.mathworks.com/help/simulink/examples/building-a-clutch-lock-up-model.html.

[2]

Execution order for parallel states. http://www.mathworks.com/help/stateflow/ug/execution-order-for-parallel-states.html.

[3]

Modeling a bouncing ball. http://www.mathworks.com/help/stateflow/examples/modeling-a-bouncing-ball.html.

[4]

Simulation of a bouncing ball. http://www.mathworks.com/help/simulink/examples/simulation-of-a-bouncing-ball.html.

[5]

State decomposition in stateflow. https://www.mathworks.com/help/stateflow/ug/state-decomposition.html.

[6]

Yo-yo control of satellites. http://www.mathworks.com/help/stateflow/examples/yo-yo-control-of-satellites.html.

[7]

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.

[8]

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.

Digital Library

[9]

A. Chutinan and B. H. Krogh. Computational techniques for hybrid system verification. IEEE Transactions on Automatic Control, 48(1):64--75.

[10]

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.

Digital Library

[11]

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.

[12]

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.

Digital Library

[13]

M. C. Jackson and J. R. Henry. Orion GN&C model based development: Experience and lessons learned.

[14]

X. Jin, J. V. Deshmukh, J. Kapinski, K. Ueda, and K. Butts. Powertrain contrl verification benchmark. In Proc. of HSCC 2014, pages 253--262.

Digital Library

[15]

T. T. Johnson, S. Bak, and S. Drager. Cyber-physical specification mismatch identification with dynamic analysis. In Proc. of ICCPS 2015, pages 208--217.

Digital Library

[16]

G. Rouleau. Olympic 2016 - pole vault. https://blogs.mathworks.com/simulink/2016/08/19/olympic-2016-pole-vault/, 2016.

[17]

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.

Cited By

Ali AAbdallah EKostandy MMoubarak FAboserre L(2023)Real-Time Control of a Rescue Drone for Efficient Firefighting Operations: Embedded Systems and StateFlow Integration2023 2nd International Conference on Smart Cities 4.010.1109/SmartCities4.056956.2023.10525233(470-475)Online publication date: 22-Oct-2023
https://doi.org/10.1109/SmartCities4.056956.2023.10525233
Bartocci EMariani LNičković DYadav D(2023)Property-Based Mutation Testing2023 IEEE Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST57152.2023.00029(222-233)Online publication date: Apr-2023
https://doi.org/10.1109/ICST57152.2023.00029
El-Kebir HBentsman JOrnik M(2023)Lodestar: An Integrated Embedded Real-Time Control Engine*2023 IEEE Conference on Control Technology and Applications (CCTA)10.1109/CCTA54093.2023.10252952(886-891)Online publication date: 16-Aug-2023
https://doi.org/10.1109/CCTA54093.2023.10252952
Show More Cited By

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 control

This 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 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 Design

Simulink/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 ...
Modeling software requirement with timing diagram and Simulink Stateflow

ContextA methodology is needed to model software specification with both timing diagram and Simulink/Stateflow (SL/SF) and to convert timing diagram model into SL/SF model. ObjectivesThis paper aims to propose a timing diagram drawing method and the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

HSCC '18: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)

April 2018

296 pages

ISBN:9781450356428

DOI:10.1145/3178126

Copyright © 2018 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 April 2018

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Research
Refereed limited

Conference

HSCC '18

Sponsor:

SIGBED

HSCC '18: 21st International Conference on Hybrid Systems: Computation and Control

April 11 - 13, 2018

Porto, Portugal

Acceptance Rates

Overall Acceptance Rate 153 of 373 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
180
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)0

Reflects downloads up to 10 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Ali AAbdallah EKostandy MMoubarak FAboserre L(2023)Real-Time Control of a Rescue Drone for Efficient Firefighting Operations: Embedded Systems and StateFlow Integration2023 2nd International Conference on Smart Cities 4.010.1109/SmartCities4.056956.2023.10525233(470-475)Online publication date: 22-Oct-2023
https://doi.org/10.1109/SmartCities4.056956.2023.10525233
Bartocci EMariani LNičković DYadav D(2023)Property-Based Mutation Testing2023 IEEE Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST57152.2023.00029(222-233)Online publication date: Apr-2023
https://doi.org/10.1109/ICST57152.2023.00029
El-Kebir HBentsman JOrnik M(2023)Lodestar: An Integrated Embedded Real-Time Control Engine*2023 IEEE Conference on Control Technology and Applications (CCTA)10.1109/CCTA54093.2023.10252952(886-891)Online publication date: 16-Aug-2023
https://doi.org/10.1109/CCTA54093.2023.10252952
Guo SJiang HXu ZLi XRen ZZhou ZChen RRoychoudhury ACadar CKim M(2022)Detecting Simulink compiler bugs via controllable zombie blocks mutationProceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3540250.3549159(1061-1072)Online publication date: 7-Nov-2022
https://dl.acm.org/doi/10.1145/3540250.3549159
Zyubin VRozov AAnureev IGaranina NVyatkin V(2022)poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text LanguageIEEE Access10.1109/ACCESS.2022.315760110(35238-35250)Online publication date: 2022
https://doi.org/10.1109/ACCESS.2022.3157601
Sun QZhang WWang CLiu Z(2022)A Contract-Based Semantics and Refinement for SimulinkDependable Software Engineering. Theories, Tools, and Applications10.1007/978-3-031-21213-0_9(134-148)Online publication date: 11-Dec-2022
https://doi.org/10.1007/978-3-031-21213-0_9
Rajhans AMavrommati AMosterman PValenti R(2021)Specification and Runtime Verification of Temporal Assessments in SimulinkRuntime Verification10.1007/978-3-030-88494-9_17(288-296)Online publication date: 6-Oct-2021
https://doi.org/10.1007/978-3-030-88494-9_17
Chowdhury SShrestha SJohnson TCsallner CRothermel GBae D(2020)SLEMIProceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings10.1145/3377812.3382147(1-4)Online publication date: 27-Jun-2020
https://dl.acm.org/doi/10.1145/3377812.3382147
Chowdhury SShrestha SJohnson TCsallner CRothermel GBae D(2020)SLEMIProceedings of the ACM/IEEE 42nd International Conference on Software Engineering10.1145/3377811.3380381(335-346)Online publication date: 27-Jun-2020
https://dl.acm.org/doi/10.1145/3377811.3380381
Huang LKang E(2019)Work-in-Progress: Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems2019 IEEE Real-Time Systems Symposium (RTSS)10.1109/RTSS46320.2019.00069(580-583)Online publication date: Dec-2019
https://doi.org/10.1109/RTSS46320.2019.00069
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten