Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems

This paper describes the computation of reach sets for discrete-time linear control systems with time-varying coefficients and ellipsoidal bounds on the controls and initial conditions. The algorithms construct external and internal ellipsoidal approximations that touch the reach set boundary from outside and from inside. Recurrence relations describe the time evolution of these approximations. An essential part of the paper deals with singular discrete-time linear systems

[1]  P. Varaiya,et al.  Dynamic Optimization for Reachability Problems , 2001 .

[2]  Frits W. Vaandrager,et al.  Hybrid Systems: Computation and Control: Second International Workshop, HSCC’99 Berg en Dal, The Netherlands, March 29–31, 1999 Proceedings , 1999, Lecture Notes in Computer Science.

[3]  Pravin Varaiya,et al.  On Ellipsoidal Techniques for Reachability Analysis. Part I: External Approximations , 2002, Optim. Methods Softw..

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

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

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

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

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

[9]  E. K. Kostousovat.  Control synthesis via parallelotopes: optimzation and parallel compuations * , 2001 .

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

[11]  George J. Pappas,et al.  Bounded Model Checking of Hybrid Dynamical Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

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

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

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

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

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

[17]  L. Csanky,et al.  Fast parallel matrix inversion algorithms , 1975, 16th Annual Symposium on Foundations of Computer Science (sfcs 1975).