Strategy synthesis for partially-known switched stochastic systems-Reference-Cited by-同舟云学术

Strategy synthesis for partially-known switched stochastic systems

Published:2021-05-19 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Jackson John¹,Laurenti Luca²,Frew Eric¹,Lahijanian Morteza¹

Affiliation:

1. University of Colorado Boulder

2. Delft University of Technology, Delft, Netherlands

Funder

NSF (National Science Foundation)

Publisher

ACM

Link

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

Reference35 articles.

1. On the effect of perturbation of conditional probabilities in total variation

2. Safety assessemt based on physically-viable data-driven models

3. Reachability-based safe learning with Gaussian processes

4. Christel Baier Joost-Pieter Katoen etal 2008. Principles of model checking. MIT press Cambridge. Christel Baier Joost-Pieter Katoen et al. 2008. Principles of model checking. MIT press Cambridge.

5. Felix Berkenkamp Matteo Turchetta Angela Schoellig and Andreas Krause. 2017. Safe model-based reinforcement learning with stability guarantees. In Advances in neural information processing systems. 908--918. Felix Berkenkamp Matteo Turchetta Angela Schoellig and Andreas Krause. 2017. Safe model-based reinforcement learning with stability guarantees. In Advances in neural information processing systems. 908--918.

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

1. Local-Global Interval MDPs for Efficient Motion Planning with Learnable Uncertainty;2024 American Control Conference (ACC);2024-07-10

2. Inner Approximations of Stochastic Programs for Data-Driven Stochastic Barrier Function Design;2023 62nd IEEE Conference on Decision and Control (CDC);2023-12-13

3. Data-driven heuristic symbolic models and application to limit-cycle detection;2023 American Control Conference (ACC);2023-05-31

4. Distributionally Robust Strategy Synthesis for Switched Stochastic Systems;Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control;2023-05-09

5. Interval Markov Decision Processes with Continuous Action-Spaces;Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control;2023-05-09