Myopically Verifiable Probabilistic Certificates for Safe Control and Learning

arXiv:2404.16883v1 Announce Type: cross
Abstract: This paper addresses the design of safety certificates for stochastic systems, with a focus on ensuring long-term safety through fast real-time control. In stochastic environments, set invariance-based methods that restrict the probability of risk events in infinitesimal time intervals may exhibit significant long-term risks due to cumulative uncertainties/risks. On the other hand, reachability-based approaches that account for the long-term future may require prohibitive computation in real-time decision making. To overcome this challenge involving stringent long-term …

abstract arxiv control cs.lg cs.sy design eess.sy environments events focus long-term paper probability real-time risk risks safe safety set stochastic systems through type