scientific article; zbMATH DE number 1444352
From MaRDI portal
Publication:4953393
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
(51)- On Ellipsoidal Techniques for Reachability Analysis. Part I: External Approximations
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
- Alexander Borisovich Kurzhanskiĭ (on the occasion of his 75th birthday)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- Reachability analysis and deterministic global optimization of DAE models
- Ellipsoidal Techniques for Reachability Under State Constraints
- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
- 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)
- An invariant-based approach to the design of hybrid control systems
- Analysis on reachable set for spacecraft relative motion under low-thrust
- scientific article; zbMATH DE number 1799463 (Why is no real title available?)
- Parabolic set simulation for reachability analysis of linear time-invariant systems with integral quadratic constraint
- Properties of the optimal ellipsoids approximating the reachable sets of uncertain systems
- Reachability problem considering running cost
- Ellipsoidal state estimation for dynamical systems
- Reachability analysis of linear systems using support functions
- Dynamic optimization for reachability problems.
- A zonotopic framework for functional abstractions
- scientific article; zbMATH DE number 1956649 (Why is no real title available?)
- Trajectory Based Verification Using Local Finite-Time Invariance
- Convexity of the set of fixed points generated by some control systems
- Elliptical safety region plots forCpk
- Smallest Ellipsoid Containing $p$-Sum of Ellipsoids With Application to Reachability Analysis
- Lagrangian methods for approximating the viability kernel in high-dimensional systems
- On reachability and minimum cost optimal control
- Hybridization methods for the analysis of nonlinear systems
- Ellipsoidal techniques for reachability analysis: Internal approximation
- Safety preserving control synthesis for sampled data systems
- Reachability sets of hybrid systems in the presence of successive switchings
- A computable and compositional semantics for hybrid systems
- Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
- Control design for autonomous vehicles: a dynamic optimization perspective
- Adaptive directions for Bernstein-based polynomial set evolution
- Hybrid abstractions of affine systems
- Change-of-bases abstractions for non-linear hybrid systems
- Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
- Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
- Hybrid Systems: Computation and Control
- Understanding deadlock and livelock behaviors in hybrid control systems
- Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement
- Computing reachable states for nonlinear biological models
- A novel unified framework for solving reachability and invariance problems
- Set-based control for disturbed piecewise affine systems with state and actuation constraints
- Hybrid tools for hybrid systems -- proving stability and safety at once
- Ellipsoidal approximations in reachability problems with nonellipsoidal constraints: internal ellipsoids
- Reach set computation and control synthesis for discrete-time dynamical systems with disturbances
- Robust data-driven predictive control using reachability analysis
- From control invariant sets to an inverse optimality perspective on the constrained control design
- Inner-outer approximation of robust control invariant sets
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953393)
