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 33 articles )
Showing results 1 to 20 of 33.
Sorted by year (- Khatibi, Mahmood; Haeri, Mohammad: A unified framework for passive-active fault-tolerant control systems considering actuator saturation and (\mathrmL_\infty) disturbances (2019)
- Meyer, Pierre-Jean; Devonport, Alex; Arcak, Murat: TIRA: toolbox for interval reachability analysis (2019)
- Yousefi, Mahdi; van Heusden, Klaske; Mitchell, Ian M.; Dumont, Guy A.: Model-invariant viability kernel approximation (2019)
- Bogomolov, Sergiy; Forets, Marcelo; Frehse, Goran; Viry, Frédéric; Podelski, Andreas; Schilling, Christian: Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices (2018)
- Doyen, Laurent; Frehse, Goran; Pappas, George J.; Platzer, André: Verification of hybrid systems (2018)
- 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)
- Franzè, G.; Lucia, W.: An obstacle avoidance model predictive control scheme for mobile robots subject to nonholonomic constraints: a sum-of-squares approach (2015)
- Iwata, Satoru; Nakatsukasa, Yuji; Takeda, Akiko: Computing the signed distance between overlapping ellipsoids (2015)
- Shmatkov, A. M.: A smoothing filter based on an analogue of a Kalman filter for a guaranteed estimation of the state of dynamical systems (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)
- Maidens, John N.; Kaynama, Shahab; Mitchell, Ian M.; Oishi, Meeko M. K.; Dumont, Guy A.: Lagrangian methods for approximating the viability kernel in high-dimensional systems (2013)
- Mitchell, Ian M.; Kaynama, Shahab; Chen, Mo; Oishi, Meeko: Safety preserving control synthesis for sampled data systems (2013)