ELLIPSOIDAL TOOLBOX 1 Manual

[1]  Mato Baotic,et al.  Multi-Parametric Toolbox (MPT) , 2004, HSCC.

[2]  Raimund Seidel,et al.  How Good Are Convex Hull Algorithms? , 1997, Comput. Geom..

[3]  Ian M. Mitchell,et al.  Level Set Methods for Computation in Hybrid Systems , 2000, HSCC.

[4]  Stephen P. Boyd,et al.  Linear Matrix Inequalities in Systems and Control Theory , 1994 .

[5]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[6]  R. Horowitz,et al.  Traffic density estimation with the cell transmission model , 2003, Proceedings of the 2003 American Control Conference, 2003..

[7]  Federico Thomas,et al.  An ellipsoidal calculus based on propagation and fusion , 2002, IEEE Trans. Syst. Man Cybern. Part B.

[8]  Gene H. Golub,et al.  Matrix computations (3rd ed.) , 1996 .

[9]  Frantisek Turnovec.  The double description method for basic solutions with orthogonality property , 1971 .

[10]  David Avis,et al.  How good are convex hull algorithms? , 1995, SCG '95.

[11]  H. Raiffa,et al.  3. The Double Description Method , 1953 .

[12]  Pravin Varaiya,et al.  Reach Set Computation Using Optimal Control , 2000 .

[13]  A. Kurzhanski,et al.  Ellipsoidal Calculus for Estimation and Control , 1996 .

[14]  Vladimir A. Yakubovich,et al.  Linear Matrix Inequalities in System and Control Theory (S. Boyd, L. E. Ghaoui, E. Feron, and V. Balakrishnan) , 1995, SIAM Rev..

[15]  Pravin Varaiya,et al.  On Reachability Under Uncertainty , 2002, SIAM J. Control. Optim..

[16]  Pravin Varaiya,et al.  Ellipsoidal Techniques for Reachability Analysis , 2000, HSCC.

[17]  Olaf Stursberg,et al.  Efficient Representation and Computation of Reachable Sets for Hybrid Systems , 2003, HSCC.

[18]  Olivier Bournez,et al.  Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems , 2000, HSCC.

[19]  Jos F. Sturm,et al.  A Matlab toolbox for optimization over symmetric cones , 1999 .

[20]  Antoine Girard,et al.  Reachability of Uncertain Linear Systems Using Zonotopes , 2005, HSCC.

[21]  Pravin Varaiya,et al.  Lecture Notes on Optimization , 1972 .

[22]  Gerardo Lafferriere,et al.  Symbolic Reachability Computation for Families of Linear Vector Fields , 2001, J. Symb. Comput..

[23]  Pravin Varaiya,et al.  Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems , 2007, IEEE Transactions on Automatic Control.