Proofs from simulations and modular annotations-Reference-Cited by-同舟云学术

Proofs from simulations and modular annotations

Published:2014-04-15 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 17th international conference on Hybrid systems: computation and control
language:
Short-container-title:

Author:

Huang Zhenqi¹,Mitra Sayan²

Affiliation:

1. University of Illinois at Urbana-Champaign, Champaign, USA

2. University of Illinois at Urbana-Champaign, Champain, USA

Funder

NSA SoS grant

Division of Computer and Network Systems

Publisher

ACM

Link

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

Reference26 articles.

1. Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems

2. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems

3. P. Duggirala S. Mitra and M. Viswanathan "Verification of annotated models from executions " in International Conference on Embedded Software 2013. P. Duggirala S. Mitra and M. Viswanathan "Verification of annotated models from executions " in International Conference on Embedded Software 2013.

4. Z. Huang "On simulation based verification of nonlinear nondeterministic hybrid systems " 2013. Z. Huang "On simulation based verification of nonlinear nondeterministic hybrid systems " 2013.

5. Towards sensitivity analysis of hybrid systems using simulink

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

1. NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks;Automated Technology for Verification and Analysis;2020

2. Simulation‐based verification of bounded‐horizon safety for hybrid systems using dynamic number of simulations;IET Cyber-Physical Systems: Theory & Applications;2019-03-13

3. Simulation-Driven Reachability Using Matrix Measures;ACM Transactions on Embedded Computing Systems;2018-01-31

4. Approximate Partial Order Reduction;Formal Methods;2018

5. Compositional Relational Abstraction for Nonlinear Hybrid Systems;ACM Transactions on Embedded Computing Systems;2017-10-10