Hybrid Systems: Computation and Control
Volume 1386 of the series Lecture Notes in Computer Science pp 360373
Date:
Synthesizing controllers for nonlinear hybrid systems
 Claire TomlinAffiliated withDepartment of Electrical Engineering and Computer Sciences, University of California
 , John LygerosAffiliated withDepartment of Electrical Engineering and Computer Sciences, University of California
 , Shankar SastryAffiliated withDepartment of Electrical Engineering and Computer Sciences, University of California
Abstract
Motivated by an example from aircraft conflict resolution we seek a methodology for synthesizing controllers for nonlinear hybrid automata. We first show how game theoretic methodologies developed for this purpose for finite automata and continuous systems can be cast in a unified framework. We then present a conceptual algorithm for extending them to the hybrid setting. We conclude with a discussion of computational issues.
 Title
 Synthesizing controllers for nonlinear hybrid systems
 Book Title
 Hybrid Systems: Computation and Control
 Book Subtitle
 First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings
 Pages
 pp 360373
 Copyright
 1998
 DOI
 10.1007/3540643583_51
 Print ISBN
 9783540643586
 Online ISBN
 9783540697541
 Series Title
 Lecture Notes in Computer Science
 Series Volume
 1386
 Series ISSN
 03029743
 Publisher
 Springer Berlin Heidelberg
 Copyright Holder
 SpringerVerlag
 Additional Links
 Topics
 Industry Sectors
 eBook Packages
 Editors
 Authors

 Claire Tomlin ^{(1)}
 John Lygeros ^{(1)}
 Shankar Sastry ^{(1)}
 Author Affiliations

 1. Department of Electrical Engineering and Computer Sciences, University of California, 94720, Berkelev, CA
Continue reading...
To view the rest of this content please follow the download PDF link above.