Ellipsoidal Toolbox

swMATH10826MaRDI QIDQ22780FDOQ22780

Author name not available (Why is that?)

Official website: https://code.google.com/p/ellipsoids/

Cited In (56)

• Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
• Satellite rendezvous and conjunction avoidance: case studies in verification of nonlinear hybrid systems
• Dynamics and control of trajectory tubes. Theory and computation
• 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
• Verification of Hybrid Systems
• MARCO
• SMV
• Benchmarks
• MPT
• ToolboxLS
• Applications of convex geometry to Minkowski sums of \(m\) ellipsoids in \(\mathbb{R}^N\): Closed-form parametric equations and volume bounds
• Computational techniques for reachability analysis of Max-Plus-Linear systems
• chemCal
• pyHybrid Analysis
• SpaceEx
• na25
• BACH
• opaal
• SparseFIS
• VeriSIMPL
• XSpeed
• FITBOX
• JuliaReach
• Expokit.jl
• TIRA
• 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
• Model predictive control of P-time event graphs
• Lazysets.jl
• 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
• Maximum delay computation under traffic matrix uncertainty and its application to interdomain path selection
• A unified framework for passive-active fault-tolerant control systems considering actuator saturation and \(\mathrm{L}_\infty\) disturbances
• Optimization of output feedback control under set-membership uncertainty
• Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms
• Forward inner-approximated reachability of non-linear continuous systems
• Reachability computation for polynomial dynamical systems

This page was built for software: Ellipsoidal Toolbox