Inner approximated reachability analysis
From MaRDI portal
Publication:2986962
DOI10.1145/2562059.2562113zbMath1362.93016OpenAlexW1969710845MaRDI QIDQ2986962
Michel Kieffer, Olivier Mullier, Eric Goubault, Sylvie Putot
Publication date: 16 May 2017
Published in: Proceedings of the 17th international conference on Hybrid systems: computation and control (Search for Journal in Brave)
Full work available at URL: https://hal-supelec.archives-ouvertes.fr/hal-01073731/file/hscc09-goubaultA.pdf
Related Items (7)
Lie symmetries applied to interval integration ⋮ Bracketing the solutions of an ordinary differential equation with uncertain initial conditions ⋮ A topological method for finding invariant sets of continuous systems ⋮ A zonotopic framework for functional abstractions ⋮ A NOTE ON DEFINITIONS OF THE RANK FOR INTERVAL MATRICES ⋮ Monitoring bounded LTL properties using interval analysis ⋮ A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains
Uses Software
Cites Work
- Minkowski terminal cost functions for MPC
- A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability
- Constrained model predictive control: Stability and optimality
- On infinity norms as Lyapunov functions for piecewise affine systems
- Linear systems with state and control constraints: the theory and application of maximal output admissible sets
- Computation of piecewise quadratic Lyapunov functions for hybrid systems
- Lyapunov Functions, Stability and Input-to-State Stability Subtleties for Discrete-Time Discontinuous Systems
- Stability analysis of piecewise discrete-time linear systems
- Convex Analysis
- Set-theoretic methods in control
This page was built for publication: Inner approximated reachability analysis
