Level set methods for computing reachable sets of systems with differential algebraic equation dynamics

Most existing algorithms for approximating the reachable sets of continuous systems assume an ordinary differential equation model of system evolution. In this paper we adapt such an existing algorithm-one based on level set methods and the Hamilton-Jacobi partial differential equation-in two distinct ways to work with systems modeled by index one differential algebraic equations (DAEs). The first method works by analytic projection of the dynamics onto the DAE's constraint manifold, while the second works in the full dimensional state space. The two schemes are demonstrated on a nonlinear power system voltage safety problem.

[1]  Ian M. Mitchell,et al.  A Toolbox of Level Set Methods version 1.0 , 2004 .

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

[3]  J. Sethian,et al.  Transport and diffusion of material quantities on propagating interfaces via level set methods , 2003 .

[4]  Lawrence F. Shampine,et al.  Solving Index-1 DAEs in MATLAB and Simulink , 1999, SIAM Rev..

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

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

[7]  S. Osher,et al.  Motion of curves constrained on surfaces using a level-set approach , 2002 .

[8]  Oded Maler,et al.  Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques , 2004, FMCAD.

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

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

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

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

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

[14]  Hongkai Zhao,et al.  An Eulerian Formulation for Solving Partial Differential Equations Along a Moving Interface , 2003, J. Sci. Comput..

[15]  Thao Dang,et al.  d/dt: a verification tool for hybrid systems , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[16]  Ian M. Mitchell,et al.  Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics , 2008, HSCC.

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

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

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