Olaf Müller, THOMAS STAUNER  Home/Search
Context Related
| www4.informatik.tumuenc...MMOS98.ps.gz 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: www4.informatik.tu...publications (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 AG as a 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)
Cited by: More
Systems Biology and Automata - Mishra And Policriti (Correct)
Modeling Cellular Behavior with Hybrid - Automata Bisimulation And (Correct)
Model Based Testing for Real: The Inhouse Card Case Study - Pretschner, Slotosch.. (2001) (Correct)
Similar documents (at the sentence level):
18.2%: 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 (1996) (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.4: Discrete-Time Refinement of Hybrid Automata - Stauner (Correct)
0.1: A Modular Visual Model for Hybrid Systems - Grosu, Stauner, Broy (1998) (Correct)
0.1: Visual Description Of Hybrid Systems - Grosu, Stauner (1998) (Correct)
Related documents from co-citation: More All
4: Hybrid automata: an algorithmic approach to the specification and analysis of hy.. - Alur, Courcoubetis et al. - 1992
4: Nucleic Acids Research (context) - Karp, Riley et al. - 1997
3: The theory of hybrid automata - Henzinger - 1996
BibTeX entry: (Update)
O. Muller and T. Stauner. Modelling and Verification using Linear Hybrid Automata. Mathematical and Computer Modelling of Dynamical Systems, 6(1):71--89, 2000. http://citeseer.ist.psu.edu/article/muller98modelling.html More
@misc{ muller00modelling,
author = "O. Muller and T. Stauner",
title = "Modelling and Verification using Linear Hybrid Automata",
text = "O. Muller and T. Stauner. Modelling and Verification using Linear Hybrid
Automata. Mathematical and Computer Modelling of Dynamical Systems, 6(1):71--89,
2000.",
year = "2000",
url = "citeseer.ist.psu.edu/article/muller98modelling.html" }
Citations (may not include all citations):1174 Statecharts: A visual formalism for complex systems - Harel - 1987
399 The algorithmic analysis of hybrid systems - Alur, Courcoubetis et al. - 1995
110 A user guide to hytech - Henzinger, Ho et al.
77 Algorithmic analysis of nonlinear hybrid systems - Henzinger, Ho - 1995
67 Modularity for timed and hybrid systems - Alur, Henzinger - 1997
53 Automated analysis of an audio control protocol - Ho, Wong-Toi - 1995
40 A Comparison of Statecharts Variants (context) - von der Beeck - 1994
38 Lecture Notes in Computer Science (context) - Alur, Henzinger et al. - 1996
36 Using hytech to verify an automotive control system - Stauner, Muller et al. - 1997
29 Using hytech to synthesize control parameters for a steam bo.. - Henzinger, Wong-Toi - 1996
29 Linear phase-portrait approximations for nonlinear hybrid sy.. - Henzinger, Wong-Toi - 1996
10 Comparing timed and hybrid automata as approximations of con.. - Stursberg, Kowalewski et al. - 1997
9 Specification and Verification of an Electronic Height Contr.. (context) - Stauner - 1997
Documents on the same site (http://www4.informatik.tu-muenchen.de/~mueller/publications.html): More
Treating Partiality in a Logic of Total Functions - Olaf Müller, Konrad Slind (1997) (Correct)
Holcf = Hol + Lcf - Müller, Nipkow, von Oheimb, Slotosch (1998) (Correct)
A Complete Formalization of the `Generalized Railroad.. - Grobauer, Müller (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