Towards efficient computation of solutions to hybrid systems

Author

Tomlin, Claire J.

Author_Institution

Dept. of Aeronaut. & Astronaut., Stanford Univ., CA, USA

Volume

4

fYear

1999

fDate

6/21/1905 12:00:00 AM

Firstpage

3532

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 1999. Proceedings of the 38th IEEE Conference on

Conference_Location

Phoenix, AZ

ISSN

0191-2216

Print_ISBN

0-7803-5250-5

Type

conf

DOI

10.1109/CDC.1999.827899

Filename

827899