Thomas A. Henzinger, Howard Wong-Toi  Home/Search
Context Related
| parades.rm.cnr.it/~h...steamHW96.ps.gz 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: parades.rm.cnr.it/~howard/...pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We model a steam-boiler control system using hybrid automata. We provide two abstracted linear models of the nonlinear behavior of the boiler. For each model, we define and verify a controller that maintains safe operation of the boiler. The less abstract model permits the design of a more efficient controller. We also demonstrate how the tool HyTech can be used to automatically synthesize control parameter constraints that guarantee safety of the boiler. 1 Introduction A description... (Update)
Similar documents based on text: More All
0.8: Using HYTECH to Synthesize Control Parameters for a Steam.. - Thomas Henzinger Howard (1996) (Correct)
0.7: Steam injection to displace DNAPLs from fractured media - Keller (Correct)
0.6: Creating A Validated Implementation Of The Steam Boiler Control - Löffler, Serhrouchni (Correct)
Related documents from co-citation: More All
19: Automated analysis of an audio control protocol - Ho, Wong-Toi - 1995
16: Algorithmic analysis of nonlinear hybrid systems - Henzinger, Ho et al. - 1996
15: A user guide to HyTech - Henzinger, Ho et al. - 1995
BibTeX entry: (Update)
Tomas A. Henzinger and Howard Wong-Toi, "Using HYTECH to synthesize control parameters for a steam boiler", in Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, J.-R. Abrial, E. Borger, and H. Langmaack, Eds., number 1165 in LNCS, pp. 265--282. Springer Verlag, 1996. http://citeseer.ist.psu.edu/article/henzinger96using.html More
@inproceedings{ henzinger95using,
author = "Thomas A. Henzinger and Howard Wong-Toi",
title = "Using HyTech to Synthesize Control Parameters for a Steam Boiler",
booktitle = "Formal Methods for Industrial Applications",
pages = "265-282",
year = "1995",
url = "citeseer.ist.psu.edu/article/henzinger96using.html" }
Citations (may not include all citations):815 Abstract interpretation: a unified lattice model for the sta.. (context) - Cousot, Cousot - 1977
399 The algorithmic analysis of hybrid systems - Alur, Courcoubetis et al. - 1995
250 Automatic discovery of linear restraints among variables of .. - Cousot, Halbwachs - 1978
167 Automatic symbolic verification of embedded systems - Alur, Henzinger et al. - 1996
77 Algorithmic analysis of nonlinear hybrid systems - Henzinger, Ho - 1995
75 Parametric real-time reasoning - Alur, Henzinger et al. - 1993
72 HyTech: The Cornell Hybrid Technology Tool - Henzinger, Ho - 1995
53 Automated analysis of an audio control protocol - Ho, Wong-Toi - 1995
35 A note on abstract-interpretation strategies for hybrid auto.. (context) - Henzinger, Ho - 1995
29 Linear phase-portrait approximations for nonlinear hybrid sy.. - Henzinger, Wong-Toi - 1995
25 Steam-boiler control specification problem (context) - Abrial
11 Assertional specification and verification using Pvs of the .. - Vitt, Hooman
11 Proving safety properties of the steam-boiler controller (context) - Leeb, Lynch
9 An object-oriented algebraic steam-boiler control specificat.. (context) - Olveczky, Kosiuczenko et al.
5 Specifying and verifying the steam-boiler problem with Spin (context) - Duval, Cattel
4 Tools and Algorithms for the Construction and Analysis of Sy.. (context) - Henzinger, Ho et al. - 1995
4 Specifying optimal design of a steam-boiler system (context) - Li, Wang
4 Specifying and verifying the steam-boiler control system wit.. (context) - Willig, Schieferdecker
3 The steam-boiler problem in Lustre (context) - Cattel, Duval
3 IEEE Computer Society Press (context) - Henzinger, Ho et al. - 1995
3 Vdm specification of the steam-boiler control using Rsl nota.. - Schinagl
2 A steam-boiler control specification with Statecharts and Z (context) - Buessow, Weber
2 The steam-boiler case study project (context) - Abrial, Borger et al.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.parades.rm.cnr.it/~howard/Publications/pubs.html): More
HyTech: A Model Checker for Hybrid Systems - Henzinger, Ho, Wong-Toi (1997) (Correct)
The Control of Dense Real-Time Discrete Event Systems - Wong-Toi, Hoffmann (1991) (Correct)
The Control of Dense Real-Time Discrete Event Systems - Wong-Toi, Hoffmann (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