Ellipsoidal Toolbox
Ellipsoidal Toolbox for MATLAB. Ellipsoidal Toolbox (ET) is a standalone set of easy-to-use configurable MATLAB routines to perform operations with ellipsoids and hyperplanes of arbitrary dimensions. It computes the external and internal ellipsoidal approximations of geometric (Minkowski) sums and differences of ellipsoids, intersections of ellipsoids and intersections of ellipsoids with halfspaces and polytopes; distances between ellipsoids, between ellipsoids and hyperplanes, between ellipsoids and polytopes; and projections onto given subspaces. Ellipsoidal methods are used to compute forward and backward reach sets of continuous- and discrete-time piecewise affine systems. Forward and backward reach sets can be also computed for piecewise linear systems with disturbances. It can be verified if computed reach sets intersect with given ellipsoids, hyperplanes, or polytopes.
Keywords for this software
References in zbMATH (referenced in 24 articles )
Showing results 1 to 20 of 24.
Sorted by year (- Dreossi, Tommaso; Dang, Thao; Piazza, Carla: Reachability computation for polynomial dynamical systems (2017)
- Goubault, Eric; Putot, Sylvie: Forward inner-approximated reachability of non-linear continuous systems (2017)
- Vinod, Abraham P.; HomChaudhuri, Baisravan; Oishi, Meeko M.K.: Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms (2017)
- Zhai, Shouchao; Wan, Yiming; Ye, Hao: A set-membership approach to integrated trade-off design of robust fault detection system (2017)
- Hamri, H.; Kara, R.; Amari, S.: Model predictive control of P-time event graphs (2016)
- Adzkiya, Dieky; De Schutter, Bart; Abate, Alessandro: Computational techniques for reachability analysis of Max-Plus-Linear systems (2015)
- Iwata, Satoru; Nakatsukasa, Yuji; Takeda, Akiko: Computing the signed distance between overlapping ellipsoids (2015)
- Yan, Yan; Chirikjian, Gregory S.: Closed-form characterization of the Minkowski sum and difference of two ellipsoids (2015)
- Kurzhanski, Alexander B.; Varaiya, Pravin: Dynamics and control of trajectory tubes. Theory and computation (2014)
- Ushakov, V.N.; Matviichuk, A.R.; Parshikov, G.V.: A method for constructing a resolving control in an approach problem based on attraction to the feasibility set (2014)
- Kurzhanskii, A.B.; Tochilin, P.A.: Tracking within a time interval on the basis of data supplied by finite observers (2013)
- Mitchell, Ian M.; Kaynama, Shahab; Chen, Mo; Oishi, Meeko: Safety preserving control synthesis for sampled data systems (2013)
- Johnson, Taylor T.; Green, Jeremy; Mitra, Sayan; Dudley, Rachel; Erwin, Richard Scott: Satellite rendezvous and conjunction avoidance: case studies in verification of nonlinear hybrid systems (2012)
- Kuehn, Christian: Deterministic continuation of stochastic metastable equilibria via Lyapunov equations and ellipsoids (2012)
- Lughofer, Edwin: Flexible evolving fuzzy inference systems from data streams (FLEXFIS++) (2012) ioport
- Sijs, Joris; Lazar, Mircea: State fusion with unknown correlation: ellipsoidal intersection (2012)
- Amigo, Isabel; Vaton, Sandrine; Chonavel, Thierry; Larroca, Federico: Maximum delay computation under traffic matrix uncertainty and its application to interdomain path selection (2011)
- Kurzhanski, A.B.; Varaiya, P.: Optimization of output feedback control under set-membership uncertainty (2011)
- Kurzhanskiy, Alex A.; Varaiya, Pravin: Reach set computation and control synthesis for discrete-time dynamical systems with disturbances (2011)
- Lughofer, Edwin: Evolving fuzzy systems -- methodologies, advanced concepts and applications. (2011)