Ellipsoidal Toolbox (ET)

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2006, Pages 1498-1503

  Kurzhanskiy, Alex A ^a   Varaiya, Pravin ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GEOMETRY; CONTINUOUS TIME SYSTEMS; DISCRETE TIME CONTROL SYSTEMS; LINEAR CONTROL SYSTEMS;

ELLIPSOIDAL CALCULUS; ELLIPSOIDAL TOOLBOX (ET); HYPERLANES; POLYHEDRA;

MATLAB;

EID: 39649113531     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/cdc.2006.377036     Document Type: Conference Paper

References (24)

1. Ellipsoidal Toolbox homepage: www.eecs.berkeley.edu/~akurzhan/ ellipsoids
2. A.A.Kurzhanskiy, P.Varaiya (2006). Ellipsoidal Toolbox. Technical Report EECS-2006-46, EECS Department, UC Berkeley.
3. A.B.Kurzhanski, I.Vályi (1997). Ellipsoidal Calculus for Estimation and Control. Birkháuser, Boston, ser. SCFA.
4. A.B.Kurzhanski, P.Varaiya (2000). On ellipsoidal techniques for reachability analysis. In: Optimization Methods and Software, Vol.17, pp.177-237, Taylor & Francis.
5. A.B.Kurzhanski, P.Varaiya (2001). Reachability analysis for uncertain systems - the ellipsoidal technique. In: Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications and Algorithms, Vol.9, pp.347-367.
6. A.A.Kurzhanskiy, P.Varaiya (2005). Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems. Submitted to IEEE Transactions on Automatic Control.
7. P.Varaiya (1998). Reach set computation using optimal control. In: Proc. of KIT Workshop on Verification on Hybrid Systems. Verimag, Grenoble.
8. M.Kvasnica, P.Grieder, M.Baotić, M.Morari (2004). Multi-Parametric Toolbox (MPT). In R.Alur and G.J.Pappas, editors, Hybrid Systems: Computation and Control, Vol.2993 of Lecture Notes in Computer Science, pp.448-462. Springer-Verlag.
9. Multi-Parametric Toolbox homepage: control.ee.ethz.ch/~mpt
10. J. Löfberg (2004). A Toolbox for Modeling and Optimization in MATLAB. In: Proceedings of CACSD Conference, Taipei, Taiwan.
11. YALMIP homepage: control.ee.ethz.ch/~joloef/yalmip.php.
12. SeDuMi homepage: sedumi.mcmaster.ca
13. I.Mitchell, C.Tomlin (2000). Level set methods for computation in hybrid systems, In N.Lynch and B.H.Krogh, editors, Hybrid Systems: Computation and Control, Vol.1790 of Lecture Notes in Computer Science. Springer-Verlag.
14. Level Set Toolbox homepage: www.cs.ubc.ca/~mitchell/ToolboxLS
15. O.Stursberg, B.H.Krogh (2003). Efficient representation and computation of reachable sets for hybrid systems, In O.Maler and A.Pnueli, editors, Hybrid Systems: Computation and Control, Vol.2623 of Lecture Notes in Computer Science, pp.482-497. Springer-Verlag.
16. CheckMate homepage: www.ece.cmu.edu/~webk/checkmate
17. E.Asarin, O.Bournez, T.Dang, O.Maler (2000). Approximate reachability analysis of piecewise linear dynamical systems, In N.Lynch and B.H.Krogh, editors, Hybrid Systems: Computation and Control, Vol.1790 of Lecture Notes in Computer Science, pp.21-31. Springer-Verlag.
18. d/dt homepage: www-verimag.imag.fr/~tdang/ddt.html
19. A.Girard (2005). Reachability of uncertain linear systems using zonotopes. In Hybrid Systems: Computation and Control, Lecture Notes in Computer Science. Springer-Verlag.
20. MATIS SE homepage : www. seas, upenn. edu/~agirard/Software/MATISSE
21. G.Lafferriere, G.J.Pappas, S.Yovine (2001). Symbolic Reachability Computation for Families of Linear Vector Fields. In: Journal of Symbolic Computation No.32, pp.231-253, Academic Press.
22. Requiem homepage: www.seas.upenn.edu/~hybrid/requiem/requiem.html
23. L.Muñoz, X.Sun, R.Horowitz, L.Alvarez (2003). Traffic density estimation with the cell transmission model, In: Proceedings of the American Control Conference, Denver, Colorado, USA, pp.3750-3755.
24. S.Boyd, L.Vandenberghe (2004). Convex Optimization. Cambridge University Press.