Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2-Reference-Cited by-同舟云学术

Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2

Published:2016 Issue: Volume: Page:531-538
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Fan Chuchu,Qi Bolun,Mitra Sayan,Viswanathan Mahesh,Duggirala Parasara Sridhar

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-41528-4_29

Reference22 articles.

1. C2E2 Webpage. http://publish.illinois.edu/c2e2-tool/

2. Computer Assisted Proofs in Dynamic Groups (CAPD). http://capd.ii.uj.edu.pl/index.php

3. Althoff, M.: An introduction to cora 2015. In: ARCH (2015)

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

5. Balluchi, A., Casagrande, A., Collins, P., Ferrari, A., Villa, T., Sangiovanni-Vincentelli, A.L.: Ariadne: a framework for reachability analysis of hybrid automata. In: MTNS. Citeseer (2006)

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

1. Formal Verification of Attitude Control Systems Using Geometric Barrier Functions;2023 62nd IEEE Conference on Decision and Control (CDC);2023-12-13

2. Formal lumping of polynomial differential equations through approximate equivalences;Journal of Logical and Algebraic Methods in Programming;2023-08

3. On the applicability of hybrid systems safety verification tools from the automotive perspective;International Journal on Software Tools for Technology Transfer;2023-06-30

4. On the Trade-Off Between Efficiency and Precision of Neural Abstraction;Quantitative Evaluation of Systems;2023

5. Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios;Computer Aided Verification;2023