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