Closed-loop incremental stability for efficient symbolic control of non-linear systems

[1]  Gunther Reissig,et al.  Computing Abstractions of Nonlinear Systems , 2009, IEEE Transactions on Automatic Control.

[2]  Vladimir Sinyakov,et al.  Abstraction of Monotone Systems Based on Feedback Controllers , 2020, IFAC-PapersOnLine.

[3]  Jun Liu,et al.  Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach , 2018, IEEE Transactions on Automatic Control.

[4]  Majid Zamani,et al.  SCOTS: A Tool for the Synthesis of Symbolic Controllers , 2016, HSCC.

[5]  Antoine Girard,et al.  Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs , 2006, HSCC.

[6]  Necmiye Ozay,et al.  Abstraction, discretization, and robustness in temporal logic control of dynamical systems , 2014, HSCC.

[7]  Antoine Girard,et al.  CoSyMA: a tool for controller synthesis using multi-scale abstractions , 2013, HSCC '13.

[8]  Oded Maler,et al.  Accurate hybridization of nonlinear systems , 2010, HSCC '10.

[9]  Majid Zamani,et al.  Accurate reachability analysis of uncertain nonlinear systems , 2018, HSCC.

[10]  Calin Belta,et al.  Temporal Logic Control of Discrete-Time Piecewise Affine Systems , 2012, IEEE Transactions on Automatic Control.

[11]  Matthias Althoff,et al.  Guaranteeing Constraints of Disturbed Nonlinear Systems Using Set-Based Optimal Control in Generator Space , 2017 .

[12]  Yinan Li,et al.  ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems , 2018, HSCC.

[13]  Paulo Tabuada.  Symbolic control of linear systems based on symbolic subsystems , 2006, IEEE Transactions on Automatic Control.

[14]  Matthias Althoff,et al.  Reachability Analysis of Nonlinear Differential-Algebraic Systems , 2014, IEEE Transactions on Automatic Control.