[图书][B] Top-down design for RW supervisory control theory.
B Wang - 1996 - library-archives.canada.ca
In seeking to adapt RW control theory to structured models, this thesis studies a new
architecture for modeling discrete event systems called State Tree Structure (STS), and …
architecture for modeling discrete event systems called State Tree Structure (STS), and …
[图书][B] Control of discrete-event systems of vector and mixed structural type.
SL Chen - 1997 - library-archives.canada.ca
This thesis discusses supervisory control for Vector Discrete-Event Systems (VDES) and
Discrete-Event Systems of Mixed Structural Type, or simply, Mixed Event Systems (MDES) …
Discrete-Event Systems of Mixed Structural Type, or simply, Mixed Event Systems (MDES) …
Input/output discrete event processes and system modeling
S Balemi - Discrete Event Systems: Modeling and Control …, 1993 - Springer
In this paper we present an input/output interpretation of supervisory control theory. As
opposed to the model proposed by Ramadge and Wonham, the plant does not …
opposed to the model proposed by Ramadge and Wonham, the plant does not …
STCT: An efficient algorithm for supervisory control design
Z Zhang, WM Wonham - Synthesis and Control of Discrete Event Systems, 2002 - Springer
This paper introduces a new synthesis approach for the supervisory control of discrete-event
systems (DES). Our algorithm, named S (mart) TCT after our software package CTCT …
systems (DES). Our algorithm, named S (mart) TCT after our software package CTCT …
Computationally efficient supervisor design: Control flow decomposition
L Feng, WM Wonham - 2006 8th International Workshop on …, 2006 - ieeexplore.ieee.org
This paper presents structural criteria for qualitative reasoning and reduction in discrete
event systems. On this basis, the computation of a control synthesis may be considerably …
event systems. On this basis, the computation of a control synthesis may be considerably …
A new modeling formalism and automata model generator for a class of discrete event systems
V Chandra, R Kumar - Proceedings of the 2001 American …, 2001 - ieeexplore.ieee.org
The control of discrete event systems (DES) requires a correct model of the system and of its
control specifications. In this paper we present a new modeling formalism for generating …
control specifications. In this paper we present a new modeling formalism for generating …
[图书][B] Decidability and optimality in pushdown control systems: A new approach to discrete event control
C Griffin - 2007 - search.proquest.com
Abstract Supervisory Control Theory (SCT) was developed by PJ Ramadge and WM
Wonham in the late 80's as a method of understanding control of a wide variety of discrete …
Wonham in the late 80's as a method of understanding control of a wide variety of discrete …
[PDF][PDF] TCT: A computation tool for supervisory control synthesis
L Feng, WM Wonham - 2006 8th international workshop on …, 2006 - researchgate.net
The TCT software package is designed for the synthesis of supervisory controls for untimed
discrete-event systems (DES). It can be downloaded from [6], where two different programs …
discrete-event systems (DES). It can be downloaded from [6], where two different programs …
Supervisory control and reactive synthesis: a comparative introduction
This paper presents an introduction to and a formal connection between synthesis problems
for discrete event systems that have been considered, largely separately, in the two research …
for discrete event systems that have been considered, largely separately, in the two research …
On the complexity of supervisory control design in the RW framework
P Gohari, WM Wonham - IEEE Transactions on Systems, Man …, 2000 - ieeexplore.ieee.org
The time complexity of supervisory control design for a general class of problems is studied.
It is shown to be very unlikely that a polynomial-time algorithm can be found when either (1) …
It is shown to be very unlikely that a polynomial-time algorithm can be found when either (1) …