Anuj Puri and Pravin Varaiya Department of Electrical Engineering and...  Home/Search
Context Related
| berkeley.edu/~varaiya...abstractions.ps 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: berkeley.edu/~varaiya/hybrid (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ions ? Anuj Puri and Pravin Varaiya Department of Electrical Engineering and Computer Science, University of California, Berkeley, CA 94720 Abstract. A hybrid system models both discrete event and continuous dynamics. We present a modeling formalism and a verification methodology for hybrid systems. The verification methodology is based on abstracting the continuous dynamics in the hybrid system by simpler continuous dynamics. We present two methods for doing this: in the first method, a... (Update)
Context of citations to this paper: More
.... a lot of significant results that have been reported in the literature, hybrid systems are modeled by more general hybrid automata [46, 68, 29]. A hybrid automaton is linear if its flow conditions, invariants and transition relations can be defined by linear expressions over...
...in [WON 97] The procedure has been implemented, and tested on the synthesis for various models of a steam boiler. Puri and Varaiya [PUR 95] present two methods for verification of hybrid systems. The modelling formalism used is that of hybrid automata. Verification is based...
Cited by: More
Institut National Polytechnique De Grenoble - These Pour Obtenir (Correct)
An Interface between Continuous Discrete-Event Controllers.. - John Lygeros And (Correct)
On Hybrid Control of Complex Systems: A Survey - Antsaklis, Koutsoukos, Zaytoon (1998) (Correct)
Active bibliography (related documents): More All
0.0: Discrete Abstractions of Hybrid Systems - Alur, Henzinger, Lafferriere.. (2000) (Correct)
0.0: Rectangular Automata - Nilim, Lygeros (1999) (Correct)
0.0: A Design Framework for Hierarchical, Hybrid Control - Lygeros, Godbole, Sastry (Correct)
Similar documents based on text: More All
0.2: A Wireless Token Ring Protocol for Ad-Hoc Networks - Lee, Puri, Varaiya, Attias, al. (2002) (Correct)
0.1: The Rabin Index and Chain automata, with.. - Krishnan, Puri.. (Correct)
0.1: Discretization of Timed Automata - Göllü, Puri, Varaiya (1994) (Correct)
Related documents from co-citation: More All
8: The algorithmic analysis of hybrid systems - Alur, Coucoubetis et al. - 1995
6: What's decidable about hybrid automata - Henzinger, Kopke et al. - 1995
5: Multiple agent hybrid control architecture (context) - Nerode, Kohn - 1993
BibTeX entry: (Update)
A. Puri and P. Varaiya. Verification of hybrid systems using abstractions. In Hybrid Systems Workshop, number 818 in Lecture Notes in Computer Science. Springer--Verlag, Oct. 1994. http://citeseer.ist.psu.edu/puri94verification.html More
@inproceedings{ puri94verification,
author = "Anuj Puri and Pravin Varaiya",
title = "Verification of Hybrid Systems Using Abstractions",
booktitle = "Hybrid Systems",
pages = "359-369",
year = "1994",
url = "citeseer.ist.psu.edu/puri94verification.html" }
Citations (may not include all citations):232 Hybrid automata: an algorithmic approach to the specificatio.. - Alur, Courcoubetis et al.
184 Automata for modeling real-time systems (context) - Alur, Dill - 1990
168 What's Decidable About Hybrid Automata - Kopke, Henzinger et al. - 1995
140 Smart Cars on Smart Roads: Problems of Control (context) - Varaiya - 1993
80 An Approach to the Description and Analysis of Hybrid System.. - Nicollin, Olivero et al. - 1993
58 Decidability of Hybrid Systems with Rectangular Differential.. - Puri, Varaiya - 1994
47 Timing Verification by Successive Approximation - Alur, Itai et al. - 1992
43 Springer-Verlag (context) - Grossman, Hybrid et al. - 1993
20 Driving Safely in Smart Cars (context) - Puri, Varaiya - 1995
18 ffl-Approximation of Differential Inclusions - Puri, Borkar et al.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.path.berkeley.edu/~varaiya/hybrid.html): More
Reach Set Computation Using Optimal Control - Varaiya (1997) (Correct)
Executive Summary - Automation Of (Correct)
What's Decidable about Hybrid Automata? - Henzinger, Kopke, Puri, Varaiya (1995) (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