Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems
暂无分享,去创建一个
[1] Murat Arcak,et al. TIRA: toolbox for interval reachability analysis , 2019, HSCC.
[2] E. D. Sontagc,et al. Nonmonotone systems decomposable into monotone systems with negative feedback , 2005 .
[3] Ali Jadbabaie,et al. Safety Verification of Hybrid Systems Using Barrier Certificates , 2004, HSCC.
[4] Dimos V. Dimarogonas,et al. Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems , 2019, IEEE Transactions on Automatic Control.
[5] Andrew R. Teel,et al. On the topological structure of attraction basins for differential inclusions , 2011, Syst. Control. Lett..
[6] Murat Arcak,et al. Stability of traffic flow networks with a polytree topology , 2016, Autom..
[7] Franco Blanchini,et al. Set invariance in control , 1999, Autom..
[8] Murat Arcak,et al. Efficient finite abstraction of mixed monotone systems , 2015, HSCC.
[9] David Angeli,et al. A small-gain result for orthant-monotone systems under mixed feedback , 2014, Syst. Control. Lett..
[10] Samuel Coogan,et al. Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions , 2019, 2019 IEEE Conference on Control Technology and Applications (CCTA).
[11] H.L. Smith,et al. Global stability for mixed monotone systems , 2008 .
[12] Necmiye Ozay,et al. On Sufficient Conditions for Mixed Monotonicity , 2018, IEEE Transactions on Automatic Control.
[13] David Angeli,et al. Monotone control systems , 2003, IEEE Trans. Autom. Control..
[14] H L Smith,et al. The Discrete Dynamics of Monotonically Decomposable Maps , 2006, Journal of mathematical biology.
[15] Samuel Coogan,et al. Efficient Verification for Stochastic Mixed Monotone Systems , 2018, 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).
[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] Tianguang Chu,et al. Mixed monotone decomposition of dynamical systems with application , 1998 .
[18] 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).