Enforcing Safety at Runtime for Systems with Disturbances
暂无分享,去创建一个
[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).