We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Optimization and Control

Title: Safe Control in the Presence of Stochastic Uncertainties

Abstract: Accurate quantification of safety is essential for the design of autonomous systems. In this paper, we present a methodology to characterize the exact probabilities associated with invariance and recovery in safe control. We consider a stochastic control system where control barrier functions, gradient-based methods, and barrier certificates are used to constrain control actions and validate safety. We derive the probability distributions of the minimum and maximum barrier function values during any time interval and the first entry and exit times to and from any super level sets of the barrier function. These distributions are characterized by deterministic convection-diffusion equations, and the approach used is generalizable to other safe control methods based on barrier functions. These distributions can be used to characterize various quantities associated with invariance and recovery, such as the safety margin, the probability of entering and recovering from safe and unsafe regions, and the mean and tail distributions of failure and recovery times.
Subjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)
Cite as: arXiv:2104.01259 [math.OC]
  (or arXiv:2104.01259v2 [math.OC] for this version)

Submission history

From: Yorie Nakahira [view email]
[v1] Fri, 2 Apr 2021 22:17:16 GMT (276kb)
[v2] Wed, 21 Apr 2021 13:36:54 GMT (276kb)

Link back to: arXiv, form interface, contact.