C2E2: A Verification Tool for Stateflow Models-Reference-Cited by-同舟云学术

C2E2: A Verification Tool for Stateflow Models

Published:2015 Issue: Volume: Page:68-82
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Duggirala Parasara Sridhar,Mitra Sayan,Viswanathan Mahesh,Potok Matthew

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-46681-0_5

Reference20 articles.

1. Angeli, D.: A lyapunov approach to incremental stability properties. IEEE Transactions on Automatic Control (2000)

2. Lecture Notes in Computer Science;E. Asarin,2002

3. Balluchi, A., Casagrande, A., Collins, P., Ferrari, A., Villa, T., Sangiovanni-Vincentelli, A.: Ariadne: a framework for reachability analysis of hybrid automata. In: International Symposium on Mathematical Theory of Networks and Systems, MNTS (2006)

4. CAPD. Computer assisted proofs in dynamic groups, http://capd.ii.uj.edu.pl/index.php .

5. Lecture Notes in Computer Science;X. Chen,2013

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

1. Reachability analysis of FMI models using data-driven dynamic sensitivity;SIMULATION;2024-07-25

2. Guaranteed Safe Satellite Guidance and Navigation Using Reachability Based Switching Controllers;2024 American Control Conference (ACC);2024-07-10

3. Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks;2024 IEEE Security and Privacy Workshops (SPW);2024-05-23

4. Safe and Scalable Real-Time Trajectory Planning Framework for Urban Air Mobility;Journal of Aerospace Information Systems;2024-04-17

5. Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model;Logical Methods in Computer Science;2024-01-11