A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata-Reference-Cited by-同舟云学术

A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata

Published:2019-10-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design
language:
Short-container-title:

Author:

Ro Jin Woo¹,Malik Avinash¹,Roop Partha¹

Affiliation:

1. The University of Auckland, Auckland, New Zealand

Publisher

ACM

Link

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

Reference22 articles.

1. Reachability Analysis of Nonlinear Differential-Algebraic Systems

2. Assume-guarantee verification of nonlinear hybrid systems with Ariadne

3. A Synchronous Look at the Simulink Standard Library

4. Costello Brennon and Elliott Joshua. 2013. Hybrid Systems. Tufts University Course EE194 Lecture. http://www.eecs.tufts.edu/~khan/Courses/Spring2013/EE194/Lecs/Hybrid_Systems_Presentation_Elliott_Costello.pdf. Costello Brennon and Elliott Joshua. 2013. Hybrid Systems. Tufts University Course EE194 Lecture. http://www.eecs.tufts.edu/~khan/Courses/Spring2013/EE194/Lecs/Hybrid_Systems_Presentation_Elliott_Costello.pdf.

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

1. A semantic model for interacting cyber-physical systems;Journal of Logical and Algebraic Methods in Programming;2022-11

2. A novel approach to Real-time contract based reasoning for Hybrid Systems;2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE);2022-10-13

3. Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems;2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE);2022-10-13

4. A Semantic Model for Interacting Cyber-Physical Systems;Electronic Proceedings in Theoretical Computer Science;2021-10-02