Olaf Müller, Thomas Stauner  Home/Search
Context
Related
| www4.in.tum.de/pub...ellerStauner00.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: www4.in.tum.de/publ/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper discusses the use of hybrid automata to specify and verify embedded distributed systems, that consist of both discrete and continuous components. The basis of the evaluation is an automotive control system, which controls the height of an automobile by pneumatic suspension. It has been proposed by BMW AGasa case study taken from a current industrial development. Essential parts of the system have been modelled as hybrid automata and for appropiate abstractions several safety... (Update)
Similar documents (at the sentence level):
18.4%: Using HyTech to Verify an Automotive Control System - Stauner, Müller, Fuchs (1997) (Correct)
Active bibliography (related documents): More All
0.4: Modelling and Verification using Linear Hybrid Automata - a.. - Müller, STAUNER (1998) (Correct)
0.1: Beyond HyTech: Hybrid Systems Analysis Using Interval.. - Henzinger, Horowitz.. (1999) (Correct)
0.1: Automotive Control Revisited - Linear Inequalities as.. - Fehnker (Correct)
Similar documents based on text: More All
0.2: Transfer Function Models for Multidimensional Systems with.. - Rabenstein (1998) (Correct)
0.2: Modelling Unit Processes Using Formal Language Description and.. - Wasbĝ, Foss (1996) (Correct)
0.2: Mathematical Modeling and Optimal Control of Solar Dryers - Gallestey, Paice (Correct)
BibTeX entry: (Update)
@misc{ ller-modelling,
author = "Olaf Müller and Thomas Stauner",
title = "Modelling and Verification using Linear Hybrid Automata - a Case Study",
url = "citeseer.ist.psu.edu/663819.html" }
Citations (may not include all citations):1174 Statecharts: A visual formalism for complex systems - Harel
399 The algorithmic analysis of hybrid systems - Alur, Courcoubetis et al. ACM DBLP
110 A user guide to hytech - Henzinger, Ho et al. ACM DBLP
77 Algorithmic analysis of nonlinear hybrid systems - Henzinger, Ho - 1995 ACM DBLP
67 Modularity for timed and hybrid systems - Alur, Henzinger ACM DBLP
53 Automated analysis of an audio control protocol - Ho, Wong-Toi - 1995 ACM DBLP
38 Lecture Notes in Computer Science (context) - Henzinger, Sontag et al. - 1996
36 Using hytech to verify an automotive control system - Stauner, Muller et al.
29 Linear phase-portrait approximations for nonlinear hybrid sy.. - Henzinger, Wong-Toi - 1996 ACM DBLP
29 Using hytech to synthesize control parameters for a steam bo.. - Henzinger, Wong-Toi ACM DBLP
10 Comparing timed and hybrid automata as approximations of con.. - Stursberg, Kowalewski et al. ACM DBLP
9 Specification and Verification of an Electronic Height Contr.. (context) - Stauner - 1997
Documents on the same site (http://www4.in.tum.de/publ/papers/): More
The Amsterdam Manifesto on OCL - Cook, Kleppe, Mitchell, Rumpe.. (1999) (Correct)
Structured Specifications and Implementation of.. - Walicki, Broy (1995) (Correct)
Modeling Dynamic Component Interfaces - Huber, Rausch, Rumpe (1998) (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