Reach set computation and control synthesis for discrete-time dynamical systems with disturbances

The paper is devoted to the formulation of the reachability problem for discrete-time dynamical systems with disturbances. The concept of maxmin and minmax forward and backward reach sets is addressed. Invariance of the backward reach set is discussed. The emphasis of the paper is on discrete-time linear systems, for which the ellipsoidal computational method is described. The synthesis of maxmin and minmax closed-loop control for steering the system to a given target set using ellipsoidal backward reach set approximations is explained. The ellipsoidal method covered in the paper is implemented in the Ellipsoidal Toolbox for MATLAB, a popular collection of ellipsoidal calculus routines freely available online.

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

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

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

[4]  Zvi Artstein,et al.  Feedback and invariance under uncertainty via set-iterates , 2008, Autom..

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

[6]  Gary M. Sandquist,et al.  Dynamical Systems and Microphysics , 1980 .

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

[8]  Franco Blanchini,et al.  Set invariance in control , 1999, Autom..

[9]  David W. Lewis,et al.  Matrix theory , 1991 .

[10]  Pravin Varaiya,et al.  Decidability of Hybrid Systems with Rectangular Differential Inclusion , 1994, CAV.

[11]  E. Yaz.  Linear Matrix Inequalities In System And Control Theory , 1998, Proceedings of the IEEE.

[12]  John Lygeros,et al.  Controllers for reachability specifications for hybrid systems , 1999, Autom..

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

[14]  E B Lee,et al.  Foundations of optimal control theory , 1967 .

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

[16]  Bo Lincoln,et al.  Relaxing dynamic programming , 2006, IEEE Transactions on Automatic Control.

[17]  A. Kurzhanski.  Set-valued calculus and dynamic programming in problems of feedback control , 1998 .

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

[19]  S. Prajna.  Barrier certificates for nonlinear model validation , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[20]  Antoine Girard,et al.  Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs , 2006, HSCC.

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

[22]  L. Ghaoui,et al.  History of linear matrix inequalities in control theory , 1994, Proceedings of 1994 American Control Conference - ACC '94.

[23]  Felix L. Chernousko,et al.  Properties of the Optimal Ellipsoids Approximating the Reachable Sets of Uncertain Systems , 2004 .

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

[25]  A.N. Daryin,et al.  Reachability Approaches and Ellipsoidal Techniques for Closed-Loop Control of Oscillating Systems under Uncertainty , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[26]  P. Varaiya,et al.  On Verification of Controlled Hybrid Dynamics through Ellipsoidal Techniques , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

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

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

[29]  George Leitmann.  OPTIMALITY AND REACHABILITY WITH FEEDBACK CONTROL , 1982 .

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

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

[32]  K Fan,et al.  Minimax Theorems. , 1953, Proceedings of the National Academy of Sciences of the United States of America.

[33]  F.L. Chernousko.  Properties of optimal ellipsoids approximating reachable sets of uncertain systems , 2005 .

[34]  Fred C. Schweppe,et al.  Uncertain dynamic systems , 1973 .