Simulation-Equivalent Reachability of Large Linear Systems with Inputs-Reference-Cited by-同舟云学术

Simulation-Equivalent Reachability of Large Linear Systems with Inputs

Published:2017 Issue: Volume: Page:401-420
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Bak Stanley,Duggirala Parasara Sridhar

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-319-63387-9_20

Reference21 articles.

1. Althoff, M., Bak, S., Cattaruzza, D., Chen, X., Frehse, G., Ray, R., Schupp, S.: ARCH-COMP category report: continuous and hybrid systems with linear continuous dynamics. In: 4th Applied Verification for Continuous and Hybrid Systems Workshop (ARCH) (2017)

2. Althoff, M., Stursberg, O., Buss, M.: Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes. Nonlinear Anal. Hybrid Syst. 4(2), 233–249 (2010)

3. Lecture Notes in Computer Science;Y Annpureddy,2011

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

5. Bak, S., Duggirala, P.S.: HyLAA: a tool for computing simulation-equivalent reachability for linear systems. In: Proceedings of 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017 (2017)

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

1. A computable and compositional semantics for hybrid systems;Information and Computation;2024-10

2. PyBDR: Set-Boundary Based Reachability Analysis Toolkit in Python;Lecture Notes in Computer Science;2024-09-13

3. A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks;Lecture Notes in Computer Science;2024-09-11

4. NeVer2: learning and verification of neural networks;Soft Computing;2024-07-31

5. Falsification using Reachability of Surrogate Koopman Models;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14