Ashish Tiwari and Gaurav Khanna SRI International, 333 Ravenswood Ave, Menlo...  Home/Search
Context Related
| sri.com/users/tiwari/hscc02.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sri.com/users/tiwari/hscc02 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. (Update)
Similar documents based on text: More All
0.7: Series of Abstractions for Hybrid Automata - Ashish Tiwari And (2002) (Correct)
0.6: Nonlinear Systems: Approximating Reach Sets - Ashish Tiwari And (2004) (Correct)
0.4: Cv - Tiwari (Correct)
BibTeX entry: (Update)
A. Tiwari and G. Khanna. Series of abstractions for hybrid automata. In Proc. 5th International Workshop on Hybrid Systems: Computation and Control (HSCC 2002), volume 2289 of Lecture Notes in Computer Science, Springer, 2002. http://citeseer.ist.psu.edu/tiwari02series.html More
@inproceedings{ tiwari02series,
author = "Ashish Tiwari and Gaurav Khanna",
title = "Series of Abstractions for Hybrid Automata",
booktitle = "{HSCC}",
pages = "465-478",
year = "2002",
url = "citeseer.ist.psu.edu/tiwari02series.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.csl.sri.com/users/tiwari/hscc02.html):
Series of Abstractions for Hybrid Automata - Ashish Tiwari And (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC