Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities
From MaRDI portal
Publication:2307740
DOI10.1007/s00498-020-00254-yzbMath1436.93014OpenAlexW3007353783MaRDI QIDQ2307740
Publication date: 25 March 2020
Published in: MCSS. Mathematics of Control, Signals, and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00498-020-00254-y
invariant setsdifferential inequalitiesinterval methodsreachability analysisuncertainty quantification
Attainable sets, reachability (93B03) Control/observation systems governed by ordinary differential equations (93C15)
Related Items
Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities, Extended McCormick relaxation rules for handling empty arguments representing infeasibility
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- SUNDIALS
- Efficient polyhedral enclosures for the reachable set of nonlinear control systems
- Constrained zonotopes: a new tool for set-based estimation and fault detection
- Closed-loop input design for guaranteed fault diagnosis using set-valued observers
- Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis
- Interval bounds on the solutions of semi-explicit index-one DAEs. II: Computation
- Branch-and-lift algorithm for deterministic global optimization in nonlinear optimal control
- Robust MPC via min-max differential inequalities
- Set membership state and parameter estimation for systems described by nonlinear differential equations
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- Near optimal interval observers bundle for uncertain bioreactors
- Validated solutions of initial value problems for ordinary differential equations
- Bounds on the reachable sets of nonlinear control systems
- Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs
- Global optimization with nonlinear ordinary differential equations
- Validated solutions of initial value problems for parametric ODEs
- Reachability Analysis and Deterministic Global Optimization of DAE Models
- Ordinary Differential Equations and Dynamical Systems
- Reachability Analysis of Nonlinear Systems Using Matrix Measures
- Hamiltonian techniques for the problem of set-membership state estimation
- Stable Set-Valued Integration of Nonlinear Dynamic Systems using Affine Set-Parameterizations
- Trajectory Based Verification Using Local Finite-Time Invariance
- Bounds on reachable sets using ordinary differential equations with linear programs embedded
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
