Inner approximated reachability analysis
From MaRDI portal
Recommendations
- Forward inner-approximated reachability of non-linear continuous systems
- Determination of inner and outer bounds of reachable sets through subpavings
- Hybrid Systems: Computation and Control
- Reachability computation for polynomial dynamical systems
- Reachability analysis of polynomial systems using linear programming relaxations
Cites work
- A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability
- Computation of piecewise quadratic Lyapunov functions for hybrid systems
- Constrained model predictive control: Stability and optimality
- Convex Analysis
- Linear systems with state and control constraints: the theory and application of maximal output admissible sets
- Lyapunov Functions, Stability and Input-to-State Stability Subtleties for Discrete-Time Discontinuous Systems
- Minkowski terminal cost functions for MPC
- On infinity norms as Lyapunov functions for piecewise affine systems
- Set-theoretic methods in control
- Stability analysis of piecewise discrete-time linear systems
Cited in
(16)- A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains
- Lagrangian reachabililty
- OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations
- Lie symmetries applied to interval integration
- Bracketing the solutions of an ordinary differential equation with uncertain initial conditions
- Monitoring bounded LTL properties using interval analysis
- Flowpipe approximation and clustering in space-time
- A note on definitions of the rank for interval matrices
- Inner and outer reachability for the verification of control systems
- TIRA
- Forward inner-approximated reachability of non-linear continuous systems
- Theoretical Computer Science
- A topological method for finding invariant sets of continuous systems
- A zonotopic framework for functional abstractions
- RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems
- Online inner approximation of reachable sets of nonlinear systems with diminished control authority
This page was built for publication: Inner approximated reachability analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986962)
