Verification and runtime assurance for dynamical systems with uncertainty

In this work, we show how controlled robustly forward invariant sets for systems with disturbances are efficiently identified via the application of the mixed monotonicity property. A mixed monotone system can be embedded in a related deterministic embedding system with twice as many states but for which the dynamics are monotone; one can then apply the powerful theory of monotone dynamical systems to the embedding system to conclude useful properties of the initial mixed monotone system. Using this technique, we present a method for verifying state-feedback controllers against safety (set invariance) constraints, and our approach involves evaluating a control barrier function type condition that requires the vector field of the embedding system to point into a certain southeast cone. This approach also facilitates the construction of runtime assurance mechanisms for controlled systems with disturbances, and we study system safety in the presence of state uncertainty as well. The results and findings of this work are demonstrated through two numerical examples where we study (i) the verification of a controlled spacecraft system against a safety constraint, and (ii) the formation of a runtime assurance mechanism that functions in the presence of uncertain state measurements.

[1]  Mitio Nagumo.  Über die Lage der Integralkurven gewöhnlicher Differentialgleichungen , 1942 .

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

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

[4]  Petter Nilsson,et al.  A Scalable Safety Critical Control Framework for Nonlinear Systems , 2020, IEEE Access.

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

[6]  Magnus Egerstedt,et al.  Safe certificate-based maneuvers for teams of quadrotors using differential flatness , 2017, 2017 IEEE International Conference on Robotics and Automation (ICRA).

[7]  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).

[8]  Samuel Coogan,et al.  Enforcing Safety at Runtime for Systems with Disturbances , 2020, 2020 59th IEEE Conference on Decision and Control (CDC).

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

[10]  R. Scott Erwin,et al.  A spacecraft benchmark problem for hybrid control and estimation , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[11]  Dimos V. Dimarogonas,et al.  Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems , 2019, IEEE Transactions on Automatic Control.

[12]  Aaron D. Ames,et al.  Towards a Framework for Realizable Safety Critical Control through Active Set Invariance , 2018, 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).

[13]  Franco Blanchini,et al.  Set-theoretic methods in control , 2007 .

[14]  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).

[15]  Samuel Coogan,et al.  Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations , 2020, 2021 American Control Conference (ACC).

[16]  Adnane Saoud,et al.  Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications* , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

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

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

[19]  W. H. Clohessy,et al.  Terminal Guidance System for Satellite Rendezvous , 2012 .

[20]  Li Wang,et al.  Control Barrier Certificates for Safe Swarm Behavior , 2015, ADHS.

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

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

[23]  Necmiye Ozay,et al.  On Sufficient Conditions for Mixed Monotonicity , 2018, IEEE Transactions on Automatic Control.

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

[25]  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 .

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

[27]  Jean-Pierre Aubin,et al.  Viability theory , 1991 .

[28]  Samuel Coogan,et al.  Mixed Monotonicity for Reachability and Safety in Dynamical Systems , 2020, 2020 59th IEEE Conference on Decision and Control (CDC).