Control of Uncertain Nonlinear Systems Using Ellipsoidal Reachability Calculus

Abstract This paper proposes an approach to algorithmically synthesize control strategies for discrete-time nonlinear uncertain systems based on reachable set computations using the ellipsoidal calculus. For given ellipsoidal initial sets and bounded ellipsoidal disturbances, the proposed algorithm iterates over conservatively approximating and LMI-constrained optimization problems to compute stabilizing controllers. The method uses first-order Taylor approximation of the nonlinear dynamics and a conservative approximation of the Lagrange remainder. An example for illustration is included.

[1]  Thao Dang.  Approximate Reachability Computation for Polynomial Systems , 2006, HSCC.

[2]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[3]  A. Nemirovski.  Advances in convex optimization : conic programming , 2005 .

[4]  A. Girard,et al.  Efficient reachability analysis for linear systems using support functions , 2008 .

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

[6]  M. Lazar.  Flexible control Lyapunov functions , 2009, 2009 American Control Conference.

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

[8]  Matthias Althoff,et al.  Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars , 2010 .

[9]  Daniel J. Scheeres,et al.  Reachability Results for Nonlinear Systems with Ellipsoidal Initial Sets , 2012, IEEE Transactions on Aerospace and Electronic Systems.

[10]  David Q. Mayne,et al.  Reachability analysis of discrete-time systems with disturbances , 2006, IEEE Transactions on Automatic Control.

[11]  Mark Campbell,et al.  A nonlinear set‐membership filter for on‐line applications , 2003 .

[12]  Eric C. Kerrigan,et al.  Optimization over state feedback policies for robust control with constraints , 2006, Autom..

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

[14]  Matthias Althoff,et al.  Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization , 2008, 2008 47th IEEE Conference on Decision and Control.

[15]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[16]  Pravin Varaiya,et al.  Reach set computation and control synthesis for discrete-time dynamical systems with disturbances , 2011, Autom..

[17]  Fuwen Yang,et al.  Set-Membership Fuzzy Filtering for Nonlinear Discrete-Time Systems , 2010, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

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

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

[20]  John B. Shoven,et al.  I , Edinburgh Medical and Surgical Journal.

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