Enforcing Safety at Runtime for Systems with Disturbances

An assured controller is one that enforces safety online by filtering a desired control input at runtime, and control barrier functions (CBFs) provide an assured controller that renders a safe subset of the statespace forward invariant. In this work, we present a problem formulation for CBF-based runtime assurance for systems with disturbances, and controllers that solve this problem must, in some way, incorporate the online computation of reachable sets. In general, computing reachable sets in the presence of disturbances is computationally costly and cannot be directly incorporated in a CBF framework. To that end, we present a particular solution to the problem, whereby reachable sets are approximated via the mixed-monotonicity property. Efficient algorithms exist for over-approximating reachable sets for mixed-monotone systems with hyperrectangles, and we show that such approximations are suitable for incorporating into a CBF-based runtime assurance framework.

[1]  Murat Arcak,et al.  Stability of traffic flow networks with a polytree topology , 2016, Autom..

[2]  Aaron D. Ames,et al.  A Scalable Controlled Set Invariance Framework with Practical Safety Guarantees , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

[3]  Lui Sha,et al.  The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety , 2009, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium.

[4]  Tom Schouwenaars,et al.  Safe Trajectory Planning of Autonomous Vehicles , 2006 .

[5]  Samuel Coogan,et al.  Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems With Disturbances , 2020, IEEE Control Systems Letters.

[6]  Paulo Tabuada,et al.  Control Barrier Function Based Quadratic Programs for Safety Critical Systems , 2016, IEEE Transactions on Automatic Control.

[7]  William Hogan,et al.  Directional Derivatives for Extremal-Value Functions with Applications to the Completely Convex Case , 1973, Oper. Res..

[8]  Paulo Tabuada,et al.  Control Barrier Functions: Theory and Applications , 2019, 2019 18th European Control Conference (ECC).

[9]  Murat Arcak,et al.  TIRA: toolbox for interval reachability analysis , 2019, HSCC.

[10]  Aaron D. Ames,et al.  An Online Approach to Active Set Invariance , 2018, 2018 IEEE Conference on Decision and Control (CDC).

[11]  David Angeli,et al.  Monotone control systems , 2003, IEEE Trans. Autom. Control..

[12]  E. D. Sontagc,et al.  Nonmonotone systems decomposable into monotone systems with negative feedback , 2005 .

[13]  H L Smith,et al.  The Discrete Dynamics of Monotonically Decomposable Maps , 2006, Journal of mathematical biology.

[14]  Samuel Coogan,et al.  Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems , 2020, 2020 59th IEEE Conference on Decision and Control (CDC).

[15]  Paulo Tabuada,et al.  Control barrier function based quadratic programs with application to adaptive cruise control , 2014, 53rd IEEE Conference on Decision and Control.

[16]  Hal L. Smith,et al.  Monotone Dynamical Systems: An Introduction To The Theory Of Competitive And Cooperative Systems (Mathematical Surveys And Monographs) By Hal L. Smith , 1995 .

[17]  Alex A. Kurzhanskiy,et al.  Mixed monotonicity of partial first-in-first-out traffic flow models , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[18]  Eric Feron,et al.  Monitor-Based Runtime Assurance for Temporal Logic Specifications , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).