DocumentCode
337136
Title
On controller synthesis for nonlinear hybrid systems
Author
Lygeros, John ; Tomlin, Claire ; Sastry, Shankar
Author_Institution
Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
Volume
2
fYear
1998
fDate
16-18 Dec 1998
Firstpage
2101
Abstract
We present a methodology for synthesizing controllers for hybrid systems to satisfy safety specifications. Motivated by an application to conflict resolution for aircraft, we present a conceptual algorithm that extends game theoretic methodologies developed for controller synthesis for finite automata and continuous systems to the hybrid setting. We conclude with a brief discussion of computational issues that need to be resolved to effectively implement this algorithm
Keywords
aircraft control; continuous time systems; control system synthesis; finite automata; nonlinear control systems; safety; aircraft control; continuous time systems; controller synthesis; finite automata; game theory; hybrid systems; nonlinear control systems; safety specifications; Automata; Automatic control; Continuous time systems; Control system synthesis; Control systems; Cost accounting; Game theory; Military aircraft; Nonlinear control systems; Road safety;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 1998. Proceedings of the 37th IEEE Conference on
Conference_Location
Tampa, FL
ISSN
0191-2216
Print_ISBN
0-7803-4394-8
Type
conf
DOI
10.1109/CDC.1998.758644
Filename
758644
Link To Document