Convex computation of the reachable set for controlled polynomial hybrid systems

This paper presents an approach to computing the time-limited backwards reachable set (BRS) of a semialgebraic target set for controlled polynomial hybrid systems with semialgebraic state and input constraints. By relying on the notion of occupation measures, the computation of the BRS of a target set that may be distributed across distinct subsystems of the hybrid system, is posed as an infinite dimensional linear program (LP). Computationally tractable approximations to this LP are constructed via a sequence of semidefinite programs each of which is proven to construct an outer approximation of the true BRS with asymptotically vanishing conservatism. In contrast to traditional Lyapunov based approaches, the presented approach is convex and does not require any form of initialization. The performance of the presented algorithm is illustrated on 2 nonlinear controlled hybrid systems.

[1]  V. Arnold.  Mathematical Methods of Classical Mechanics , 1974 .

[2]  Gerald B. Folland,et al.  Real Analysis: Modern Techniques and Their Applications , 1984 .

[3]  E. Anderson,et al.  Linear programming in infinite-dimensional spaces : theory and applications , 1987 .

[4]  J. Aubin.  Set-valued analysis , 1990 .

[5]  P. Parrilo.  Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization , 2000 .

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

[7]  Ashish Tiwari.  Approximate Reachability for Linear Systems , 2003, HSCC.

[8]  Alexandre M. Bayen,et al.  Computational techniques for the verification of hybrid systems , 2003, Proc. IEEE.

[9]  Johan Löfberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004 .

[10]  Ali Jadbabaie,et al.  Safety Verification of Hybrid Systems Using Barrier Certificates , 2004, HSCC.

[11]  Rajesh Rajamani,et al.  Vehicle dynamics and control , 2005 .

[12]  J. Lasserre.  Moments, Positive Polynomials And Their Applications , 2009 .

[13]  I. Manchester.  Transverse Dynamics and Regions of Stability for Nonlinear Hybrid Limit Cycles , 2010, 1010.2241.

[14]  F. Borrelli,et al.  AVEC 10 A Robust Lateral Vehicle Dynamics Control , 2010 .

[15]  Ian R. Manchester,et al.  LQR-trees: Feedback Motion Planning via Sums-of-Squares Verification , 2010, Int. J. Robotics Res..

[16]  Didier Henrion,et al.  Convex Computation of the Region of Attraction of Polynomial Control Systems , 2012, IEEE Transactions on Automatic Control.

[17]  Russ Tedrake,et al.  Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares , 2013, HSCC '13.

[18]  Russ Tedrake,et al.  Convex optimization of nonlinear feedback controllers via occupation measures , 2013, Int. J. Robotics Res..

[19]  Colin Neil Jones,et al.  Inner Approximations of the Region of Attraction for Polynomial Dynamical Systems , 2012, NOLCOS.

[20]  S. Shankar Sastry,et al.  Metrization and Simulation of Controlled Hybrid Systems , 2013, IEEE Transactions on Automatic Control.