Ellipsoidal techniques for reachability analysis
From MaRDI portal
This paper deals with the computation of reachable sets and tubes of linear control systems with time-varying coefficients, and hard bounds on the control. This computation is done using ellipsoidal approximations. The interesting point is that such ellipsoidal approximations may be expressed through ordinary differential equations with coefficients given in explicit analytical form. The authors explain that their method can be used also for reachability problems for hybrid systems. For the entire collection see [Zbl 0934.00029].
Recommendations
- Ellipsoidal techniques for reachability analysis: Internal approximation
- Ellipsoidal Techniques for Reachability Under State Constraints
- On Ellipsoidal Techniques for Reachability Analysis. Part I: External Approximations
- Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems
- scientific article; zbMATH DE number 1799463
- Ellipsoidal approximations in reachability problems with non-ellipsoidal constraints
- Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
- Ellipsoidal approximations in reachability problems with nonellipsoidal constraints: internal ellipsoids
- scientific article; zbMATH DE number 4062016
- Ellipsotopes: Uniting Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection
Cited in
(56)- Convexity of the set of fixed points generated by some control systems
- Ellipsoidal techniques for reachability analysis: Internal approximation
- On reachability and minimum cost optimal control
- Parabolic set simulation for reachability analysis of linear time-invariant systems with integral quadratic constraint
- Robust data-driven predictive control using reachability analysis
- A dimensionality reduction method for computing reachable tubes based on piecewise pseudo-time dependent Hamilton-Jacobi equation
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Set-based control for disturbed piecewise affine systems with state and actuation constraints
- Safety preserving control synthesis for sampled data systems
- Reach set computation and control synthesis for discrete-time dynamical systems with disturbances
- Analysis on reachable set for spacecraft relative motion under low-thrust
- Lagrangian methods for approximating the viability kernel in high-dimensional systems
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- Ellipsoidal approximations in reachability problems with nonellipsoidal constraints: internal ellipsoids
- Hybrid abstractions of affine systems
- Control design for autonomous vehicles: a dynamic optimization perspective
- Alexander Borisovich Kurzhanskiĭ (on the occasion of his 75th birthday)
- An invariant-based approach to the design of hybrid control systems
- Reachability analysis and deterministic global optimization of DAE models
- Hybrid tools for hybrid systems -- proving stability and safety at once
- Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
- scientific article; zbMATH DE number 1799463 (Why is no real title available?)
- Trajectory Based Verification Using Local Finite-Time Invariance
- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
- scientific article; zbMATH DE number 1956649 (Why is no real title available?)
- On Ellipsoidal Techniques for Reachability Analysis. Part I: External Approximations
- Computation of projections of reachability tubes of linear controlled systems based on ellipsoidal calculus techniques
- Smallest Ellipsoid Containing $p$-Sum of Ellipsoids With Application to Reachability Analysis
- From control invariant sets to an inverse optimality perspective on the constrained control design
- Elliptical safety region plots forCpk
- Ellipsoidal Techniques for Reachability Under State Constraints
- Computing reachable states for nonlinear biological models
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
- Hybrid Systems: Computation and Control
- Dynamic optimization for reachability problems.
- A zonotopic framework for functional abstractions
- Properties of the optimal ellipsoids approximating the reachable sets of uncertain systems
- A novel unified framework for solving reachability and invariance problems
- Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
- Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
- Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement
- Inner-outer approximation of robust control invariant sets
- Reachability problem considering running cost
- A computable and compositional semantics for hybrid systems
- Adaptive directions for Bernstein-based polynomial set evolution
- Sparse intersection checking for sparse polynomial zonotopes
- Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement
- Inner and outer approximate quantifier elimination for general reachability problems
- Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes
- Reachability sets of hybrid systems in the presence of successive switchings
- Hybridization methods for the analysis of nonlinear systems
- Change-of-bases abstractions for non-linear hybrid systems
- Understanding deadlock and livelock behaviors in hybrid control systems
- Reachability analysis of linear systems using support functions
- Ellipsoidal state estimation for dynamical systems
This page was built for publication: Ellipsoidal techniques for reachability analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953393)
