Symbolic Synthesis and Verification of Hierarchical Interface-based...  Home/Search
Context
Related
| cas.mcmaster.ca/~l...songMASCthesis.pdf 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: cas.mcmaster.ca/~leduc/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Hierarchical Interface-based Supervisory Control (HISC) is a method to alleviate the state-explosion problem when verifying the controllable and nonblocking properties of a large discrete event system. By decomposing a system as a number of subsystems according to the HISC method, we can verify the subsystems separately and the global system controllability and nonblocking property are guaranteed, so that potentially great computation e#ort is saved. In this thesis, we first present a... (Update)
Active bibliography (related documents): More All
4.7: Hierarchical Interface-based Supervisory Control -.. - Leduc, Brandin.. (2001) (Correct)
2.6: Hierarchical Interface-based Supervisory Control: AIP.. - Leduc, Lawford, Wonham (2001) (Correct)
2.1: Hierarchical Interface-based Supervisory Control Part II: .. - Leduc, Lawford, Wonham (2001) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ and-symbolic,
author = "Symbolic Synthesis And",
title = "Symbolic Hierarchical Interface-based Supervisory Control",
url = "citeseer.ist.psu.edu/739374.html" }
Citations (may not include all citations):1726 Graph-Based algorithm for boolean function manipulation - Bryant - 1986
1174 Statecharts: A visual formalism for complex systems - Harel - 1987
828 Model Checking - Clarke, Grumberg et al. - 2000
509 Introduction to Lattices and Order (context) - Davey, Priestley - 1990
275 Dynamic variable ordering for ordered binary decision diagra.. (context) - Rudell - 1993
258 A lattice-theoretical fixpoint theorem and its applications (context) - Tarski - 1955
234 Supervisory control of a class of discreteevent processes (context) - Ramadge, Wonham - 1987
108 Verification of synchronous sequential machines based on sym.. (context) - Coudert, Berthet et al. - 1989
97 the supremal controllable sublanguage of a given language (context) - Wonham, Ramadge - 1987
90 Improving the Variable Ordering of OBDDs is NPComplete (context) - Bollig, Wegener - 1996
51 Modular feedback logic for discrete event systems (context) - Ramadge, Wonham - 1987
36 Logic in Computer Science: Modelling and Reasoning about Sys.. - Huth, Ryan - 1999
30 Control of vector discrete-event systems: II- controller syn.. (context) - Li, Wonham - 1994
29 Control of vector discrete-event systems: I - the base model (context) - Li, Wonham - 1993
27 Decentralized control and coordination of discreteevent syst.. (context) - Lin, Wonham - 1990
25 Hierarchical control of discrete-event systems (context) - Wong, Wonham - 1996
23 Hierarchical interface-based supervisory control: Bi-level s.. - Leduc, Wonham et al. - 2001
23 Hierarchical interface-based supervisory control of a flexib.. - Leduc, Lawford et al. - 2005
23 Hierarchical interface-based supervisory control: Command-pa.. - Leduc - 2003
23 Hierarchical interfacebased supervisory control - Leduc, Lawford et al. - 2005
23 Hierarchical interface-based supervisory control of flexible.. - Leduc, Lawford - 2004
23 Hierarchical interface-based supervisory control - Leduc, Brandin et al. - 2005
23 Hierarchical Interface-based Supervisory Control - Leduc - 2002
20 Modular supervisory control of discrete event systems (context) - Wonham, Ramadge - 1988
20 Supervisory Control of Discrete Event Systems using Petri Ne.. (context) - Moody, Antsaklis - 1998
16 Decentralized supervisory control of discrete event systems .. - Wong, van Schuppen - 1996
9 PLC implementation of a DES supervisor for a manufacturing t.. (context) - Leduc - 1996
7 A general architecture for decentralized supervisory control.. (context) - Yoo, Lafortune - 2000
7 Decentralized supervisory control with communicating control.. (context) - Barrett, Lafortune - 2000
7 A bibliography of quantifier elimination for real closed fie.. (context) - Arnon - 1988
5 Top-down design for RW supervisory control theory (context) - Wang - 1995
4 The supervisory control of the automated manufacturing syste.. (context) - Brandin, Charbonnier - 1994
3 Commande par supervision des systemes a evenements discrets:.. (context) - Charbonnier - 1994
3 Modular supervisory control of large scale discrete event sy.. (context) - Queiroz, Cury - 2000
3 cient algorithm for supervisory control design (context) - Zhang, STCT - 2001
2 An optimal deadlock prevention policy for flexible manufactu.. (context) - Uzam - 2002
2 Modeling and control of discrete-event systems with hierarch.. - Pu - 2000
2 Control and monitoring of large discrete event systems: a ge.. (context) - Courvoisier, Combacau et al. - 1993
2 Existence and design of supervisors for vector discrete even.. (context) - Chen - 1992
2 Model aggregation for hierarchical control synthesis of disc.. - Chen, Hanisch - 2000
2 Supervisory Control of Discrete-Event Systems (context) - Wonham - 2005
1 Hierarchical supervisory control of discrete-event systems b.. (context) - Torrico, Cury - 2002
1 Synthesis method for hierarchical interface-based supervisor.. (context) - Dai
1 Dynamic consistency in hierarchical supervisory control (context) - Hubbard, Caines - 2002
1 Nonblocking Supervisory Control of State Tree Structures (context) - Ma - 2004
1 Symbolic Methods and Tools for Discrete Dynamic Systems (context) - Gunnarsson - 1997
1 IEEE Transactions on Automatic Control (context) - Rudie, Wonham et al. - 1992
1 the consistency of hiearchical supervision in discrete-event.. (context) - Zhong, Wonham - 1990
1 Control of Discrete-Event Systems of Vector and Mixed Struct.. (context) - Chen - 1996
1 Petri-net-based Supervisory Control of Discrete Event System.. (context) - Uzam - 1998
1 Hierachical interface-based supervisory control of a bottlin.. (context) - Richter, Wenck - 2005
http://www.itu.dk/people/hra
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