A barrier function approach to finite-time stochastic system verification and control

We study the problem of synthesizing a control strategy to enforce safety of affine-in-control stochastic dynamical systems over finite time horizons. We use stochastic control barrier functions to quantify the probability that a system exits a given safe region of the state space in finite-time and...

Full description

Saved in:
Bibliographic Details
Published in:Automatica (Oxford) 2021-03, Vol.125, p.109439, Article 109439
Main Authors: Santoyo, Cesar, Dutreix, Maxence, Coogan, Samuel
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We study the problem of synthesizing a control strategy to enforce safety of affine-in-control stochastic dynamical systems over finite time horizons. We use stochastic control barrier functions to quantify the probability that a system exits a given safe region of the state space in finite-time and consider both continuous-time and discrete-time systems. A barrier certificate condition that bounds the expected value of the barrier function over the time horizon is recast as a sum-of-squares optimization problem for efficient numerical computation. Unlike prior works, the proposed certificate condition includes a state-dependent upper bound on the evolution of the expectation, allowing for tighter probability bounds. Two examples are presented.
ISSN:0005-1098
1873-2836
DOI:10.1016/j.automatica.2020.109439