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

Proceedings of the American Control Conference

Volumn , Issue , 2008, Pages 2260-2265

  Cross, Elizabeth Ann ^a   Mitchell, Ian M ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; DIFFERENTIAL EQUATIONS; DIFFERENTIATION (CALCULUS); DROP BREAKUP; DYNAMICS; ELECTRIC POWER SYSTEMS; KETONES; LEVEL MEASUREMENT; MATRIX ALGEBRA; ORDINARY DIFFERENTIAL EQUATIONS; PARTIAL DIFFERENTIAL EQUATIONS; SET THEORY; STATE SPACE METHODS;

CONSTRAINT MANIFOLD; CONTINUOUS SYSTEMS; DIFFERENTIAL EQUATION MODEL; DIFFERENTIAL-ALGEBRAIC EQUATION; DIFFERENTIAL-ALGEBRAIC EQUATIONS; HAMILTON-JACOBI; LEVEL SET METHODS; PARTIAL DIFFERENTIAL; POWER SYSTEMS; REACHABLE SETS; SAFETY PROBLEMS; STATE SPACES; SYSTEM EVOLUTION;

DIFFERENCE EQUATIONS;

EID: 52449133763     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.2008.4586828     Document Type: Conference Paper

References (15)

1. I. M. Mitchell, "Comparing forward and backward reachability as tools for safety analysis," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science, A. Bemporad, A. Bicchi, and G. Buttazzo, Eds. Springer Verlag, 2007, no. 4416, pp. 428-443.
2. I. M. Mitchell, A. M. Bayen, and C. J. Tomlin, "A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games," IEEE Transactions on Automatic Control, vol. 50, no. 7, pp. 947-957, 2005.
3. I. M. Mitchell and J. A. Templeton, "A toolbox of Hamilton-Jacobi solvers for analysis of nondeterministic continuous and hybrid systems," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science, M. Morari and L. Thiele, Eds. Springer Verlag, 2005, no. 3414, pp. 480-494.
4. [Online]. Available: http://www.cs.ubc.ca/~mitchell/ToolboxLS
5. U. M. Ascher and L. R. Petzold, Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations. Philadelphia: Society for Industrial and Applied Mathematics, 1998.
6. L. F. Shampine, M. W. Reichelt, and J. A. Kierzenka, "Solving index-1 DAEs in MATLAB and Simulink," SIAM Review, vol. 41, no. 3, pp. 538-552, 1999.
7. T. Dang, A. Donzé, and O. Maler, "Verification of analog and mixed-signal circuits using hybrid system techniques," in Formal Methods in Computer-Aided Design, ser. Lecture Notes in Computer Science, A. J. Hu and A. K. Martin, Eds. Springer Verlag, 2004, no. 3312, pp. 21-36.
8. E. Asarin, T. Dang, and O. Maler, "d/dt: A verification tool for hybrid systems," in Proceedings of the IEEE Conference on Decision and Control, Orlando, FL, 2001, pp. 2893-2898.
9. P. Saint-Pierre, "Approximation of the viability kernel," Applied Mathematics and Optimization, vol. 29, pp. 187-209, 1994.
10. S. J. Ruuth and B. Merriman, "A simple embedding method for solving partial differential equations on surfaces," Journal of Computational Physics, vol. 227, pp. 1943-1961, 2008.
11. E. A. Cross, "Solving reachable sets on a manifold," Master's thesis, Department of Computer Science, University of British Columbia, August 2007.
12. V. Venkatasubramanian, H. Schättler, and J. Zaborszky, "Voltage dynamics: Study of a generator with voltage control, transmission, and matched MW load," IEEE Transactions on Automatic Control, vol. 37, no. 11, pp. 1717-1733, November 1992.
13. Y. Susuki and T. Hikihara, "Predicting voltage instability of power system via hybrid system reachability analysis," in Proceedings of the American Control Conference, New York, NY, 2007, pp. 4166-4171.
14. D. Adalsteinsson and J. A. Sethian, "The fast construction of extension velocities in level set methods," Journal of Computational Physics, vol. 148, pp. 2-22, 1999.
15. I. M. Mitchell and Y. Susuki, "Level set methods for computing reachable sets of hybrid systems with differential algebraic equation dynamics," to appear in Hybrid Systems Computation and Control 2008, 4 pages.