Cited in
(56)- Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms
- Forward inner-approximated reachability of non-linear continuous systems
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
- Dynamics and control of trajectory tubes. Theory and computation
- Satellite rendezvous and conjunction avoidance: case studies in verification of nonlinear hybrid systems
- Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices
- Computing the signed distance between overlapping ellipsoids
- A smoothing filter based on an analogue of a Kalman filter for a guaranteed estimation of the state of dynamical systems
- An obstacle avoidance model predictive control scheme for mobile robots subject to nonholonomic constraints: a sum-of-squares approach
- State fusion with unknown correlation: ellipsoidal intersection
- Varying zonotopic tube RMPC with switching logic for lateral path tracking of autonomous vehicle
- Model-invariant viability kernel approximation
- Lagrangian methods for approximating the viability kernel in high-dimensional systems
- Safety preserving control synthesis for sampled data systems
- On the damping of a ladder-type vibration system subjected to uncertain perturbations
- Smoothing algorithms for computing the projection onto a Minkowski sum of convex sets
- Deterministic continuation of stochastic metastable equilibria via Lyapunov equations and ellipsoids
- A set-membership approach to integrated trade-off design of robust fault detection system
- MARCO
- SMV
- Benchmarks
- MPT
- ToolboxLS
- chemCal
- pyHybrid Analysis
- SpaceEx
- na25
- BACH
- opaal
- SparseFIS
- VeriSIMPL
- XSpeed
- FITBOX
- JuliaReach
- Expokit.jl
- TIRA
- Verification of Hybrid Systems
- Computational techniques for reachability analysis of Max-Plus-Linear systems
- Applications of convex geometry to Minkowski sums of \(m\) ellipsoids in \(\mathbb{R}^N\): Closed-form parametric equations and volume bounds
- TIRA
- On the problem of impulse measurement feedback control
- A method for constructing a resolving control in an approach problem based on attraction to the feasibility set
- A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains
- Numerical investigation of attainability sets of nonlinear controlled differential systems
- Self-triggered and event-triggered set-valued observers
- Lazysets.jl
- Model predictive control of P-time event graphs
- Modeling, inference and optimization of regulatory networks based on time series data
- Reach set computation and control synthesis for discrete-time dynamical systems with disturbances
- Evolving fuzzy systems -- methodologies, advanced concepts and applications.
- Closed-form characterization of the Minkowski sum and difference of two ellipsoids
- Tracking within a time interval on the basis of data supplied by finite observers
- Maximum delay computation under traffic matrix uncertainty and its application to interdomain path selection
- Optimization of output feedback control under set-membership uncertainty
- A unified framework for passive-active fault-tolerant control systems considering actuator saturation and \(\mathrm{L}_\infty\) disturbances
- Reachability computation for polynomial dynamical systems
This page was built for software: Ellipsoidal Toolbox
