Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics

DOI10.1007/978-3-540-78929-1_51zbMath1144.93326OpenAlexW1637407644MaRDI QIDQ3523147

Yoshihiko Susuki, Ian M. Mitchell

Publication date: 2 September 2008

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2433/73441

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Uses Software

• Simulink

Cites Work

• Comparing Forward and Backward Reachability as Tools for Safety Analysis
• Voltage dynamics: study of a generator with voltage control, transmission, and matched MW load

This page was built for publication: Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics