Howard Wong-Toi, Gerard Hoffmann  Home/Search
Context
Related
| parades.rm.cnr.it/~h...cdc91_tech.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 introduce dense real-time into the supervisory control framework for discrete event systems. Supervisory control theory models an autonomous plant and its specification as sets of execution traces. The task of a supervisor is to control the plant by disabling certain events so that the closedloop behavior lies within the specification. We extend this theory to model the real-time aspects of the plant's execution. We give necessary and sufficient conditions for the existence of a... (Update)
Similar documents based on text: More All
0.5: Modular Synthesis of Efficient Schedules in a Timed Discrete.. - Boel, Montoya (2000) (Correct)
0.4: Optimization of Wafer Temperature Uniformity in Rapid.. - Stephen Norman.. (Correct)
0.4: Optimization of Transient Temperature Uniformity in RTP.. - Stephen Norman Information (1992) (Correct)
BibTeX entry: (Update)
@inproceedings{ wongtoi91control,
author = "H. {Wong-Toi} and G. Hoffmann",
title = "The control of dense real-time discrete event systems",
booktitle = "Proc. of 30th Conf. Decision and Control",
address = "Brighton, UK",
pages = "1527--1528",
year = "1991",
url = "citeseer.ist.psu.edu/article/wong-toi95control.html" }
Citations (may not include all citations):308 The control of discrete event systems (context) - Ramadge, Wonham - 1989
299 Model--checking for real--time systems (context) - Alur, Courcoubetis et al. - 1990
234 Supervisory control of a class of discrete event processes (context) - Ramadge, Wonham - 1987
184 Automata for modeling real--time systems (context) - Alur, Dill - 1990
141 Timing assumptions and verification of finite--state concurr.. (context) - Dill - 1989
97 the supremal controllable sublanguage of a given language (context) - Wonham, Ramadge - 1987
71 Techniques for automatic verification of real-time systems (context) - Alur - 1991
38 A logic of concrete time intervals (context) - Lewis - 1990
23 Decidability of bisimulation equivalence for parallel timer .. (context) - Cerans - 1992
15 A framework for real--time discrete event control (context) - Ostroff, Wonham - 1990
15 The input-output control of real-time discrete event systems (context) - Hoffmann, Wong-Toi - 1992
4 Formulation and control of real--time discrete event process.. (context) - Brave, Heymann - 1988
4 Synthesis of controllers for real--time discrete event syste.. (context) - Ostroff - 1989
4 On supervisory control of real--time discrete event systems (context) - Li, Wonham - 1987
3 the control of real--time discrete event systems (context) - Golaszewski, Ramadge - 1989
2 Systematic development of controllers for real--time discret.. (context) - Ostroff - 1991
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)
Using HYTECH to Synthesize Control Parameters for a Steam.. - Henzinger, Wong-Toi (1996) (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