Systematic Simulation Using Sensitivity Analysis-Reference-Cited by-同舟云学术

Systematic Simulation Using Sensitivity Analysis

Published: Issue: Volume: Page:174-189
ISSN:
Container-title:Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Donzé Alexandre,Maler Oded

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-71493-4_16.pdf

Reference18 articles.

1. Alur, R., et al.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138, 3–34 (1995)

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

3. Branicky, M.S., et al.: Sampling-based reachability algorithms for control and verification of complex systems. In: Proc. Thirteenth Yale Workshop on Adaptive and Learning Systems (June 2005)

4. Branicky, M.S., et al.: Sampling-based planning, control and verification of hybrid systems. IEE Proceedings Control Theory and Applications 153, 575–590 (2006)

5. Lecture Notes in Computer Science;A. Bhatia,2004

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

1. Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets;IEEE Transactions on Automatic Control;2023-12

2. Data-Driven Reachability Analysis From Noisy Data;IEEE Transactions on Automatic Control;2023-05

3. Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems;Computer;2022-10

4. Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information;2022 International Conference on Robotics and Automation (ICRA);2022-05-23

5. Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis;2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS);2022-05