Efficiency through uncertainty-Reference-Cited by-同舟云学术

Efficiency through uncertainty

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:

Cauchi Nathalie¹,Laurenti Luca¹,Lahijanian Morteza²,Abate Alessandro¹,Kwiatkowska Marta¹,Cardelli Luca³

Affiliation:

1. University of Oxford, Oxford, UK

2. University of Colorado Boulder

3. University of Oxford, Cambridge, UK

Funder

Engineering and Physical Sciences Research Council

Royal Scientific Society

Publisher

ACM

Link

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

Reference23 articles.

1. Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems

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

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

4. Dimitri P Bertsekas. 2014. Constrained optimization and Lagrange multiplier methods. Academic press. Dimitri P Bertsekas. 2014. Constrained optimization and Lagrange multiplier methods. Academic press.

5. H.A.P. Blom and J. Lygeros (Eds.). 2006 . Stochastic Hybrid Systems: Theory and Safety Critical Applications. Number 337 in Lecture Notes in Control and Information Sciences . Springer Verlag Berlin Heidelberg. H.A.P. Blom and J. Lygeros (Eds.). 2006. Stochastic Hybrid Systems: Theory and Safety Critical Applications. Number 337 in Lecture Notes in Control and Information Sciences. Springer Verlag Berlin Heidelberg.

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

1. Probabilistic reach-avoid for Bayesian neural networks;Artificial Intelligence;2024-09

2. Stochastic Lyapunov-Barrier Functions for Robust Probabilistic Reach-Avoid-Stay Specifications;IEEE Transactions on Automatic Control;2024-08

3. Population-induced phase transitions and the verification of chemical reaction networks;NAT COMPUT;2024

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

5. Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions;Electronic Proceedings in Theoretical Computer Science;2023-11-15