Title :
Towards efficient computation of solutions to hybrid systems
Author :
Tomlin, Claire J.
Author_Institution :
Dept. of Aeronaut. & Astronaut., Stanford Univ., CA, USA
fDate :
6/21/1905 12:00:00 AM
Abstract :
We present our algorithm for computing reachable sets for hybrid systems, which is based on solving a pair of coupled Hamilton-Jacobi partial differential equations. The algorithm allows for complex nonlinear continuous dynamics, yet the numerical difficulty in computing solutions increases greatly with the order and complexity of these dynamics. We review a level set technique by Osher and Sethian (1988) for numerically solving Hamilton-Jacobi equations, and discuss its adaptation to performing reachability analysis of hybrid systems
Keywords :
Jacobian matrices; computational complexity; control system synthesis; nonlinear control systems; nonlinear dynamical systems; partial differential equations; reachability analysis; Hamilton-Jacobi equations; complex nonlinear continuous dynamics; control system synthesis; coupled Hamilton-Jacobi partial differential equations; efficient computation; hybrid system solutions; level set technique; nonlinear control systems; numerical solution; reachability analysis; reachable set computation; Aerodynamics; Aerospace safety; Air safety; Aircraft; Automata; Automatic control; Control system synthesis; Equations; Level set; Reachability analysis;
Conference_Titel :
Decision and Control, 1999. Proceedings of the 38th IEEE Conference on
Conference_Location :
Phoenix, AZ
Print_ISBN :
0-7803-5250-5
DOI :
10.1109/CDC.1999.827899
