Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow-Reference-Cited by-同舟云学术

Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow

Published:2018-04-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
language:
Short-container-title:

Author:

Rajhans Akshay¹,Avadhanula Srinath¹,Chutinan Alongkrit¹,Mosterman Pieter J.¹,Zhang Fu¹

Affiliation:

1. MathWorks, Natick, MA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3178126.3178152

Reference17 articles.

1. Building a clutch lock-up model. http://www.mathworks.com/help/simulink/examples/building-a-clutch-lock-up-model.html. 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. 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. 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. 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. State decomposition in stateflow. https://www.mathworks.com/help/stateflow/ug/state-decomposition.html.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Real-Time Control of a Rescue Drone for Efficient Firefighting Operations: Embedded Systems and StateFlow Integration;2023 2nd International Conference on Smart Cities 4.0;2023-10-22

2. A contract-based semantics and refinement for hybrid Simulink block diagrams;Journal of Systems Architecture;2023-10

3. Lodestar: An Integrated Embedded Real-Time Control Engine*;2023 IEEE Conference on Control Technology and Applications (CCTA);2023-08-16

4. Property-Based Mutation Testing;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04

5. Detecting Simulink compiler bugs via controllable zombie blocks mutation;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07