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.
KeywordsHybrid System Hybrid Automaton Reachability Analysis Route Failure Discrete Jump
Unable to display preview. Download preview PDF.
- 2.Cross, E.A., Mitchell, I.M.: Level set methods for computing reachable sets of systems with differential algebraic equation dynamics. In: Proceedings of the American Control Conference, Seattle, WA (2008), http://www.cs.ubc.ca/~mitchell/Papers/submittedReachDAE.pdf
- 3.[Online], http://www.cs.ubc.ca/~mitchell/ToolboxLS
- 6.Susuki, Y., Hikihara, T.: Predicting voltage instability of power system via hybrid system reachability analysis. In: Proceedings of the American Control Conference, New York, NY, pp. 4166–4171 (2007)Google Scholar