Hybrid Systems: Computation and Control
Volume 2289 of the series Lecture Notes in Computer Science pp 465478
Series of Abstractions for Hybrid Automata
 Ashish TiwariAffiliated withSRI International
 , Gaurav KhannaAffiliated withTheoretical and Computational Studies Group, Long Island University, Southampton
Abstract
We present a technique based on the use of the quantifier elimination decision procedure for real closed fields and simple theorem proving to construct a series of successively finer qualitative abstractions of hybrid automata. The resulting abstractions are always discrete transition systems which can then be used by any traditional analysis tool. The constructed abstractions are conservative and can be used to establish safety properties of the original system. Our technique works on linear and nonlinear polynomial hybrid systems, that is, the guards on discrete transitions and the continuous flows in all modes can be specified using arbitrary polynomial expressions over the continuous variables. We have a prototype tool in the SAL environment [13] which is built over the theorem prover PVS [19]. The technique promises to scale well to large and complex hybrid systems.
 Title
 Series of Abstractions for Hybrid Automata
 Book Title
 Hybrid Systems: Computation and Control
 Book Subtitle
 5th International Workshop, HSCC 2002 Stanford, CA, USA, March 25–27, 2002 Proceedings
 Pages
 pp 465478
 Copyright
 2002
 DOI
 10.1007/3540458735_36
 Print ISBN
 9783540433217
 Online ISBN
 9783540458739
 Series Title
 Lecture Notes in Computer Science
 Series Volume
 2289
 Series ISSN
 03029743
 Publisher
 Springer Berlin Heidelberg
 Copyright Holder
 SpringerVerlag Berlin Heidelberg
 Additional Links
 Topics
 Industry Sectors
 eBook Packages
 Editors

 Claire J. Tomlin ^{(4)}
 Mark R. Greenstreet ^{(5)}
 Editor Affiliations

 4. Department of Aeronautics and Astronautics, Stanford University
 5. Department of Computer Science, University of British Columbia
 Authors

 Ashish Tiwari ^{(6)}
 Gaurav Khanna ^{(7)}
 Author Affiliations

 6. SRI International, 333 Ravenswood Ave, Menlo Park, CA, USA
 7. Theoretical and Computational Studies Group, Long Island University, Southampton, 11968, Southampton, NY
Continue reading...
To view the rest of this content please follow the download PDF link above.