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
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;
Conference_Titel :
Decision and Control, 1998. Proceedings of the 37th IEEE Conference on
Conference_Location :
Tampa, FL
Print_ISBN :
0-7803-4394-8
DOI :
10.1109/CDC.1998.758644
