Download:
|
by Zhonghua Zhang, Zhonghua Zhang
http://control.toronto.edu/people/profs/wonham/thesis.ps
Add To MetaCart
Abstract:
This thesis discusses a new synthesis approach to the supervisory control for Discrete Event Systems (DES). The new approach, named S(mart)TCT after the old CTCT, is much more ecient than the existing synthesis approaches. Using STCT, many practical systems can be synthesized using a personal computer. Besides, it is shown that the number of nodes in the Integer Decision Diagram (IDD) representing a DES can be a better measurement of the complexity of the DES than the number of states. The structural information in a given DES is exploited to help STCT achieve e-cient performance. The algorithm is based on one common feature of most practical systems { a large system is almost always built up by synchronizing many small components. In the synthesis process, no synchronization product is computed explicitly and thus there is no need to list the entire state space. The success of our new approach is illustrated with very large versions of existing (small) examples taken from the literature. i
Citations
|
2315
|
Graph-based algorithms for boolean function manipulation
– Bryant
- 1986
|
|
313
|
Supervisory control of a class of discrete-event processes
– Ramadge, Wonham
- 1987
|
|
84
|
Notes on Control of Discrete-Event Systems
– Wonham
- 2003
|
|
33
|
Petri Net Synthesis for Discrete Event Control of Manufacturing Systems
– Zhou, DiCesare
- 1993
|
|
23
|
Control of Vector Discrete-Event Systems II - Controller Synthesis
– Li, Wonham
- 1994
|
|
19
|
Control of Vector Discrete-Event Systems I - The Base Model
– Li, Wonham
- 1993
|
|
16
|
Functional testing with binary decision diagrams
– Akers
- 1978
|
|
15
|
Controlled Petri Nets and Maximally Permissive Feedback Logic
– Krogh
- 1987
|
|
14
|
Modeling, Simulation, and Control of Flexible Manufacturing Systems: A
– Zhou
- 1999
|
|
13
|
Symbolic methods and tools for discrete event dynamic systems
– Gunnarsson
- 1997
|
|
10
|
Control of Vector Discrete-Event Systems
– Li
- 1991
|
|
6
|
Antsaklis, Supervisory Control of Discrete Event Systems using Petri Nets
– Moody, J
- 1998
|
|
3
|
On the existence of Petri net supervisors
– Giua, DiCesare
- 1992
|
|
2
|
A Petri net approach to discrete event control
– Denham
- 1989
|
|
2
|
Avoiding deadlocks in manufacturing systems
– Seidl, Schmidt
- 2000
|
|
2
|
State feedback and modular control synthesis in controlled Petri nets
– Ushio, Matsumoto
- 1988
|
|
1
|
Supervisory control of vector discrete-event systems
– Huang
- 1991
|
|
1
|
Composition and modular state-feedback control of vector discrete-event systems
– Li, Wonham
- 1989
|
