Ralf Huuck, Ben Lukoschus, et al.  Home/Search
Context
Related
| informatik.unikiel.de/...EJC2001.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: informatik.unikiel.de/~...public (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We thoroughly examine the experimental batch plant in its two major operation modes: a normal operation mode and a failure operation mode. In order to do so, we use discrete condition/event system as well as timed automata for the specification and the model checking tools SMV, Kronos and HyTech for verification. (Update)
Similar documents (at the sentence level):
17.9%: An Abstract Model of VHS Case Study 1 (Experimental Batch Plant) - Lukoschus (1999) (Correct)
11.6%: Verifying Timing Aspects of VHS Case Study 1 - Huuck (1999) (Correct)
Active bibliography (related documents): More All
0.8: Integrating Timed Condition/Event Systems And.. - Huuck, Lakhnech.. (1998) (Correct)
0.6: Combining a Computer Science and Control Theory.. - Huuck, Lakhnech.. (Correct)
0.6: Comparing Timed C/E Systems with Timed Automata - Engell, Huuck, Kowalewski.. (1996) (Correct)
Similar documents based on text: More All
0.5: Verification of Sequential Function Charts Using SMV - Bornot, Huuck, Lukoschus.. (2000) (Correct)
0.3: Utilizing Static Analysis for Programmable Logic.. - Bornot, Huuck.. (2000) (Correct)
0.3: A Model-Checking Approach to Safe SFCs - Huuck, Lukoschus, Bauer (2003) (Correct)
BibTeX entry: (Update)
@misc{ huuck-verifying,
author = "Ralf Huuck and Ben Lukoschus and et al.",
title = "Verifying Untimed and Timed Aspects of the Experimental Batch Plant",
url = "citeseer.ist.psu.edu/huuck01verifying.html" }
Citations (may not include all citations):1097 Automatic verification of finite state concurrent systems us.. (context) - Clarke, Emerson et al. - 1983
666 Theoretical Computer Science (context) - Alur, Dill et al. - 1994
603 Kluwer Academic Publishers (context) - McMillan, Checking - 1993
404 Symbolic Model Checking for Real--Time Systems - Henzinger, Nicollin et al. - 1994
299 Model Checking for Real--Time Systems (context) - Alur, Courcoubetis et al. - 1990
221 Specification and verification of concurrent systems in CESA.. (context) - Queille, Sifakis - 1982
122 Synthesis of synchronization skeletons for branching time te.. (context) - Clarke, Emerson - 1981
103 the synthesis of discrete controllers for timed systems (context) - Maler, Pnueli et al. - 1995
97 HyTech: The Next Generation - Henzinger, Ho et al. - 1995
88 The Benefits of Relaxing Punctuality - Alur, Feder et al. - 1996
72 HyTech: The Cornell Hybrid Technology Tool - Henzinger, Ho - 1995
36 Controller synthesis for timed automata - Asarin, Maler et al. - 1998
31 Guided synthesis of control programs using Uppaal - Hune, Larsen et al. - 2000
29 Using HyTech to synthesize control parameters for a steam bo.. - Henzinger, Wong-Toi - 1996
15 KRONOS: A Tool for Verifying Real-Time Systems (context) - Olivero, Yovine - 1993
14 timed automata: Expressiveness and decidability (context) - Bouajjani, Lakhnech - 1995
13 Model checking for extended timed temporal logics - Bouajjani, Lakhnech et al. - 1996
10 Modular Hierarchical Models of Hybrid Systems (context) - Engell, Ho - 1996
7 Time Measures and State Maintainability for a Class of Compo.. - Holloway - 1996
7 conditionevent system with discrete state realization (context) - Krogh, event et al. - 1991
6 Programmable Controllers -- Programming Languages (context) - Commission, No - 1998
5 Specification and Verification of Hybrid and Real-Time Syste.. (context) - Lakhnech - 1996
5 Synthesi Supervisory Controller Based Novel Representation C.. (context) - Rausch, Supervisory et al. - 1995
4 Draft version describing SMV revision (context) - McMillan, system et al. - 1992
3 fly controller synthesis for discrete and dense time systems - Tripakis, Altisen - 1999
1 An experimental batch plant as a test case for the verificat.. (context) - Kowalewski, Stursberg et al. - 2001
Documents on the same site (http://www.informatik.uni-kiel.de/~rhu/public.html): More
Software Verification for Embedded Systems - Huuck (2002) (Correct)
Software Verification for Programmable Logic Controllers - Huuck (2003) (Correct)
Towards Automatic Verification of Embedded Control Software - Bauer, Huuck (2001) (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