Paul Hubbard, Peter E. Caines  Home/Search
Context
Related
| cim.mcgill.ca/pub/...hubbieeeac99.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: cim.mcgill.ca/~phubbard/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a hierarchical control theory for supervisory automata based on state aggregation. Conditions are determined on state partitions which ensure that the control of transitions between blocks in a high-level (i.e. aggregated) model, combined with local state - dependent controls, is effective in the sense of achieving specifications given either for the high-level model or for the lowlevel system. A design methodology is proposed for the construction of the necessary partitions. We show ... (Update)
Similar documents (at the sentence level):
6.7%: A State Aggregation Approach To Hierarchical Supervisory.. - Paul Hubbard (1998) (Correct)
Active bibliography (related documents): More All
0.9: On the Application of Hierarchically Accelerated Dynamic.. - Shen, Caines (Correct)
0.6: State Aggregation and Hierarchical Supervisory Control - Caines, Hubbard, Shen (1997) (Correct)
0.5: HIERARCHICALLY ACCELERATED DYNAMIC PROGRAMMING WITH.. - Peter Caines Department (1999) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.2: Smart TCT: An Efficient Algorithm for Supervisory Control Design - Zhang (2001) (Correct)
0.0: Database Requirements for CIM Applications - Kappel, Vieweg (1994) (Correct)
0.0: Hybrid Partition Machines with Disturbances - Lemch, Caines (Correct)
BibTeX entry: (Update)
@misc{ hubbard-tracedc,
author = "Paul Hubbard and Peter E. Caines",
title = "Trace-DC Hierarchical Supervisory Control",
url = "citeseer.ist.psu.edu/230758.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
308 The control of discrete event systems (context) - Ramadge, Wonham - 1989
60 Algebraic Structure Theory of Sequential Machines (context) - Hartmanis, Stearns - 1966
29 Hierarchical hybrid control systems: A lattice theoretic for.. (context) - Caines, Wei - 1998
28 the consistency of hierarchical supervision in discrete-even.. (context) - Zhong, Wonham - 1990
25 Hierarchical control of discrete-event systems (context) - Wong, Wonham - 1996
22 Structural Models: An introduction to the Theory of Directed.. (context) - Harary, Norman et al. - 1965
21 Active diagnosis of discrete-event systems (context) - Sampath, Lafortune et al. - 1998
20 Supervisory control of a class of discrete event systems (context) - Ramadge, Wonham - 1987
20 A method for stepwise refinement and abstraction of petri ne.. (context) - Suzuki, Murata - 1983
17 Predicates and predicate transformers for supervisory contro.. - Kumar, Garg et al. - 1993
16 The hierarchical lattices of a finite machine - Caines, Wei - 1995
15 Applications of Petri Nets in Manufacturing Systems (context) - Desrochers, Al-Jaar - 1995
10 Controllability and observability in the state-feedback cont.. (context) - Li, Wonham - 1988
8 On supervisor reduction in discrete-event systems (context) - Vaz, Wonham - 1986
8 The hierarchical control of ST-finite state machines - Caines, Gupta et al. - 1997
8 On supervisory policies that enforce liveness in a class of .. - Sreenivas - 1999
7 Hierarchical hybrid control systems - Caines, Wei - 1996
4 Trace-dc hierarchical supervisory control with applications .. (context) - Hubbard, Caines - 1998
3 A state aggregation approach to hierarchical supervisory con.. - Hubbard, Caines - 1998
2 Initial investigations of hierarchical supervisory control f.. (context) - Hubbard, Caines - 1999
2 Resolving feature interaction using modular supervisory cont.. (context) - Chen, Lafortune - 1997
1 the application of hadp to multi-agent networks (context) - Shen, Caines - 1999
1 State aggregation and hierarchical supervisory control - Caines, Hubbard et al. - 1997
1 Multi-agent products for finite state systems (context) - Caines, Hubbard et al. - 1999
1 Deptartment of Engineering and Computer Science (context) - Alur, Henzinger et al. - 1996
Documents on the same site (http://www.cim.mcgill.ca/~phubbard/papers.html): More
Macro Control Languages And Actions For Cocolog - Martínez-Mascarua, CAINES (1996) (Correct)
Logic Control via Automatic Theorem Proving: COCOLOG.. - Caines Mackling (1993) (Correct)
PC<, EPC<, And The Equality Predicate And .. - T. Mackling (1997) (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