Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems With Disturbances
暂无分享,去创建一个
[1] Murat Arcak,et al. Stability of traffic flow networks with a polytree topology , 2016, Autom..
[2] H.L. Smith,et al. Global stability for mixed monotone systems , 2008 .
[3] Samuel Coogan,et al. Specification-Guided Verification and Abstraction Refinement of Mixed-Monotone Stochastic Systems , 2019 .
[4] Samuel Coogan,et al. Efficient Verification for Stochastic Mixed Monotone Systems , 2018, 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).
[5] Necmiye Ozay,et al. On Sufficient Conditions for Mixed Monotonicity , 2018, IEEE Transactions on Automatic Control.
[6] Murat Arcak,et al. TIRA: toolbox for interval reachability analysis , 2019, HSCC.
[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] David Angeli,et al. Monotone control systems , 2003, IEEE Trans. Autom. Control..
[9] S. Smale. On the differential equations of species in competition , 1976, Journal of mathematical biology.
[10] E. D. Sontagc,et al. Nonmonotone systems decomposable into monotone systems with negative feedback , 2005 .
[11] Orlando Merino,et al. A global attractivity result for maps with invariant boxes , 2005 .
[12] Murat Arcak,et al. Efficient finite abstraction of mixed monotone systems , 2015, HSCC.
[13] Necmiye Ozay,et al. Tight decomposition functions for mixed monotonicity , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).
[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] Dimos V. Dimarogonas,et al. Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems , 2019, IEEE Transactions on Automatic Control.
[16] Chris Cosner,et al. Book Review: Monotone dynamical systems: An introduction to the theory of competitive and cooperative systems , 1996 .