Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics

In previous work we demonstrated that reachability algorithms using level set methods and based on the Hamilton-Jacobi PDE can be adapted to systems whose dynamics are described by differential algebraic equations. Here we extend those results to hybrid systems. The only significant addition required is a mechanism for handling the state reset that occurs during discrete jumps between modes. We demonstrate the technique on a nonlinear power system voltage safety problem.

[1]  Alexandre M. Bayen,et al.  A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games , 2005, IEEE Transactions on Automatic Control.

[2]  T. Hikihara,et al.  Predicting Voltage Instability of Power System via Hybrid System Reachability Analysis , 2007, 2007 American Control Conference.

[3]  Steven J. Ruuth,et al.  A simple embedding method for solving partial differential equations on surfaces , 2008, J. Comput. Phys..

[4]  H. Schättler,et al.  Voltage dynamics: study of a generator with voltage control, transmission, and matched MW load , 1992 .

[5]  Ian M. Mitchell,et al.  A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems , 2005, HSCC.

[6]  Uri M. Ascher,et al.  Computer methods for ordinary differential equations and differential-algebraic equations , 1998 .

[7]  Ian M. Mitchell,et al.  Level set methods for computing reachable sets of systems with differential algebraic equation dynamics , 2008, 2008 American Control Conference.

[8]  P. Saint-Pierre.  Approximation of the viability kernel , 1994 .

[9]  Elizabeth Ann Cross.  Solving reachable sets on a manifold , 2007 .

[10]  James A. Sethian,et al.  The Fast Construction of Extension Velocities in Level Set Methods , 1999 .

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

[12]  Ian M. Mitchell.  Comparing Forward and Backward Reachability as Tools for Safety Analysis , 2007, HSCC.