TIRA: toolbox for interval reachability analysis
暂无分享,去创建一个
[1] Tomasz Kapela,et al. A Lohner-type algorithm for control systems and ordinary differential inclusions , 2007, 0712.0910.
[2] Alex M. Andrew,et al. Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics , 2002 .
[3] Matthias Althoff,et al. An Introduction to CORA 2015 , 2015, ARCH@CPSWeek.
[4] Majid Zamani,et al. SCOTS: A Tool for the Synthesis of Symbolic Controllers , 2016, HSCC.
[5] P. Varaiya,et al. Ellipsoidal Toolbox (ET) , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.
[6] M. Arcak,et al. Sampled-Data Reachability Analysis Using Sensitivity and Mixed-Monotonicity , 2018, IEEE Control Systems Letters.
[7] Matthias Althoff,et al. Reachability analysis of linear systems with uncertain parameters and inputs , 2007, 2007 46th IEEE Conference on Decision and Control.
[8] Murat Arcak,et al. A Benchmark Problem in Transportation Networks , 2018, ArXiv.
[9] Murat Arcak,et al. Efficient finite abstraction of mixed monotone systems , 2015, HSCC.
[10] Julien Alexandre Dit Sandretto,et al. Validated Explicit and Implicit Runge-Kutta Methods , 2016 .
[11] Ian M. Mitchell,et al. A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems , 2005, HSCC.
[12] Jürgen Garloff,et al. A Survey of Classes of Matrices Possessing the Interval Property and Related Properties , 2016 .
[13] Bai Xue,et al. Just scratching the surface: Partial exploration of initial values in reach-set computation , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).
[14] Antoine Girard,et al. SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.
[15] Jörg Raisch,et al. Abstraction based supervisory controller synthesis for high order monotone continuous systems , 2002 .
[16] Gunther Reissig,et al. Feedback Refinement Relations for the Synthesis of Symbolic Controllers , 2015, IEEE Transactions on Automatic Control.
[17] Dimos V. Dimarogonas,et al. Hierarchical decomposition of LTL synthesis problem for mixed-monotone control systems. , 2017 .
[18] Xin Chen,et al. Flow*: An Analyzer for Non-linear Hybrid Systems , 2013, CAV.
[19] Tianguang Chu,et al. Mixed monotone decomposition of dynamical systems with application , 1998 .
[20] John N. Maidens,et al. Simulation-based reachability analysis for nonlinear systems using componentwise contraction properties , 2017, Principles of Modeling.
[21] Dimos V. Dimarogonas,et al. Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems , 2019, IEEE Transactions on Automatic Control.
[22] Manuel Mazo,et al. PESSOA: A Tool for Embedded Controller Synthesis , 2010, CAV.
[23] Morris W. Hirsch,et al. Monotone maps: A review , 2005 .
[24] David Angeli,et al. Monotone control systems , 2003, IEEE Trans. Autom. Control..
[25] Luc Jaulin,et al. Contractor programming , 2009, Artif. Intell..
[26] Tommaso Dreossi,et al. Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems , 2016, HSCC.
[27] 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).
[28] Necmiye Ozay,et al. On Sufficient Conditions for Mixed Monotonicity , 2018, IEEE Transactions on Automatic Control.