Bracketing backward reach sets of a dynamical system

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

zbMATH Keywords

stabilitybasin of attractionconstraint solvingabstract interpretationinterval computationbackward reach set

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Networked control (93B70)

Related Items (1)

Actions of the hyperoctahedral group to compute minimal contractors

Uses Software

• GloptiPoly
• AQCS
• Acumen

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