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.
展开▼