Level set methods for computing reachable sets of hybrid systems with differential algebraicequation dynamics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4981 LNCS, Issue , 2008, Pages 630-633

  Mitchell, Ian M ^a   Susuki, Yoshihiko ^b  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

^b KYOTO UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; DROP BREAKUP; HYBRID SYSTEMS; LEVEL MEASUREMENT;

ALGEBRAIC EQUATIONS; HAMILTON-JACOBI; LEVEL SET METHOD; NONLINEAR POWER SYSTEMS; REACHABILITY; REACHABLE SET;

NUMERICAL METHODS;

EID: 70350025759     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78929-1_51     Document Type: Conference Paper

References (6)

1. Mitchell, I.M.: Comparing forward and backward reachability as tools for safety analysis. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.4416, pp. 428-443. Springer, Heidelberg (2007)
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
4. Tomlin, C., Mitchell, I., Bayen, A., Oishi, M.: Computational techniques for the Verification of hybrid systems. Proceedings of the IEEE 91(7), 986-1001 (2003)
5. Venkatasubramanian, V., Schättler, H., Zaborszky, J.: Voltage dynamics: Study of a generator with voltage control, transmission, and matched MW load. IEEE Transactions on Automatic Control 37(11), 1717-1733 (1992)
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)