Bracketing backward reach sets of a dynamical system
From MaRDI portal
Publication:3386553
DOI10.1080/00207179.2019.1643910zbMath1454.93023OpenAlexW2957957932WikidataQ127483497 ScholiaQ127483497MaRDI QIDQ3386553
Benoît Zerr, Thomas Le Mézo, Jaulin, Luc
Publication date: 5 January 2021
Published in: International Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207179.2019.1643910
stabilitybasin of attractionconstraint solvingabstract interpretationinterval computationbackward reach set
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Construction of parametric barrier functions for dynamical systems using interval analysis
- Using interval arithmetic to prove that a set is path-connected
- Contractor programming
- Hybridization methods for the analysis of nonlinear systems
- Consistency in networks of relations
- Approximation of the viability kernel
- Aircraft take-off in windshear: A viability approach
- Approximate quantified constraint solving by cylindrical box decomposition
- Set-membership state estimation with fleeting data
- Barriers and potentially safe sets in hybrid systems: pendulum with non-rigid cable
- Bracketing the solutions of an ordinary differential equation with uncertain initial conditions
- Semidefinite programming relaxations and algebraic optimization in control
- Viability Kernels and Capture Basins of Sets Under Differential Inclusions
- Convex Computation of the Region of Attraction of Polynomial Control Systems
- Computing the viability kernel using maximal reachable sets
- Capture basin approximation using interval analysis
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
- Detection of attraction domains of non-linear systems using bifurcation analysis and Lyapunov functions
- On Curves of Minimal Length with a Constraint on Average Curvature, and with Prescribed Initial and Terminal Positions and Tangents
- GloptiPoly 3: moments, optimization and semidefinite programming
- Comparing Forward and Backward Reachability as Tools for Safety Analysis
- Static Analysis of Numerical Algorithms
- Differential Inclusions and Target Problems
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
- Stability analysis and stabilisation of switched nonlinear systems
- Formal Modeling and Analysis of Timed Systems
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Set-valued analysis
This page was built for publication: Bracketing backward reach sets of a dynamical system