A new simulation metric to determine safe environments and controllers for systems with unknown dynamics-Reference-Cited by-同舟云学术

A new simulation metric to determine safe environments and controllers for systems with unknown dynamics

Published:2019-04-16 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Ghosh Shromona¹,Bansal Somil¹,Sangiovanni-Vincentelli Alberto¹,Seshia Sanjit A.¹,Tomlin Claire¹

Affiliation:

1. University of California

Funder

Army Research Laboratory

DARPA

NSF

UC-Philippine-California Advanced Research Institute

iCyPhy center

Berkeley Deep Drive

Publisher

ACM

Link

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

Reference39 articles.

1. A contractivity approach for probabilistic bisimulations of diffusion processes

2. C. Baier J. Katoen and K. G. Larsen. 2008. Principles of model checking. MIT press. C. Baier J. Katoen and K. G. Larsen. 2008. Principles of model checking. MIT press.

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

1. A framework to measure the robustness of programs in the unpredictable environment;Logical Methods in Computer Science;2023-07-07

2. Generating Formal Safety Assurances for High-Dimensional Reachability;2023 IEEE International Conference on Robotics and Automation (ICRA);2023-05-29

3. Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach;IEEE Transactions on Automatic Control;2023-05

4. Data-driven controller synthesis for abstract systems with regular language specifications;Automatica;2021-12

5. Reachability problem considering running cost;Asian Journal of Control;2021-10-21