Ellipsoidal Toolbox
From MaRDI portal
Software:22780
swMATH10826MaRDI QIDQ22780FDOQ22780
Author name not available (Why is that?)
Cited In (37)
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
- Dynamics and control of trajectory tubes. Theory and computation
- Applications of convex geometry to Minkowski sums of m ellipsoids in ℝN: Closed-form parametric equations and volume bounds
- Maximum Delay Computation under Traffic Matrix Uncertainty and Its Application to Interdomain Path Selection
- 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
- Computing the Signed Distance Between Overlapping Ellipsoids
- Verification of Hybrid Systems
- Computational techniques for reachability analysis of Max-Plus-Linear systems
- TIRA
- Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
- Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms
- Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems
- Forward Inner-Approximated Reachability of Non-Linear Continuous Systems
- A unified framework for passive–active fault-tolerant control systems considering actuator saturation and L∞ disturbances
- 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
- 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
- Closed-form characterization of the Minkowski sum and difference of two ellipsoids
- Evolving fuzzy systems -- methodologies, advanced concepts and applications.
- Tracking within a time interval on the basis of data supplied by finite observers
- Optimization of output feedback control under set-membership uncertainty
- Reachability computation for polynomial dynamical systems
This page was built for software: Ellipsoidal Toolbox