search for books and compare prices
Tables of Contents for Synthesis and Control of Discrete Event Systems
Chapter/Section Title
Page #
Page Count
List of Figures
ix
List of Tables
xiii
Part I Decentralized Systems and Control
Recent Advances on the Control of Partially-Observed Discrete-Event Systems
Stephane Lafortune Kurt Rohloff and Tae-Sic Yoo
3
16
Introduction
3
2
Centralized Control Under Partial Observation
5
2
Decentralized Control
7
5
Synthesis of Safe Solutions
12
4
Improving on gdec
13
3
Conclusion
16
3
From Global Specifications to Distributed Implementations
Madhavan Mukund
19
18
Introduction
19
1
Distributed transition systems
20
3
The synthesis problem
23
1
Synthesis modulo isomorphism
24
2
Loosely Cooperating systems
24
2
Synchronously communicating systems
26
1
Synthesis modulo language equivalence
26
4
Loosely Cooperating systems
27
1
Synchronously communicating systems
28
2
Synthesis modulo bisimulation
30
2
The synthesis problem for concurrent alphabets
32
2
Discussion
34
3
Problems and Examples of Decentralized Observation and Control
Anuj Puri Stavros Tripakis Pravin Varaiya
37
20
Introduction
38
1
Decentralized Observation and Control Problems
38
2
Study of the Decentralized Observation Problem
40
3
Study of the Decentralized Control Problem
43
2
Illustration: the Alternating Bit Protocol
45
2
Variations: the reliable-transmission problem with one-symbol channels and finite or infinite buffer capacity
47
4
One channel two-symbol, the other channel one-symbol, bounded buffers
47
2
One channel two-symbol, the other channel one-symbol, unbounded buffers
49
1
Both channels one-symbol
50
1
Related work
51
4
Conclusion
55
2
Towards Synthesis of ACMs
Alex Yakovlev and Fei Xia
57
20
Introduction
57
2
Definition of the basic Signal
59
2
State graph specification of a simple Signal
61
4
Petri net synthesis
65
2
Algorithmic Implementation
67
2
Fewer or more slots
69
4
Conclusions
73
4
STCT: An Efficient Algorithm for Supervisory Control Design
Zhonghua Zhang and W.M. Wonham
77
26
Introduction
77
2
Structural predicates and control synthesis
79
3
Synthesis algorithm for simple DES
79
2
Synthesis algorithm for complex DES
81
1
Implementation of supervisory controller by structural predicate
82
1
Algorithm, IDDs, optimization and complexity
82
8
Operations necessary to complete the synthesis
83
2
Ordering of variables
85
2
Incremental computation on buffer sizes
87
1
A conceptual complexity analysis
87
1
Estimate of nodes
87
3
Examples
90
8
Transfer Line
90
5
Workcell
95
2
FMS
97
1
Conclusions
98
5
Part II Modular Design
Towards Modular Synthesis of EN Systems
Luca Bernardinello Carlo Ferigato Lucia Pomello
103
12
Introduction
103
2
An example
105
2
Formal definitions and results
107
5
Conclusion
112
3
Adaptive Supervisory Control
Rene K. Boel
115
10
Introduction
115
2
Timed discrete event models
117
2
Adaptive supervisory control paradigm
119
1
Mode detectors
120
2
Extensions and future work
122
3
Modelling with Petri Modules
Gabriel Juhas Robert Lorenz
125
16
Introduction
125
2
Petri Modules
127
10
Conclusion
137
4
Part III Petri Net Supervision
Optimal Petri Net Monitor Design
Francesco Basile Pasquale Chiacchio Alessandro Giua
141
14
Introduction
141
2
Background
143
2
Petri nets
143
1
Generalized Mutual Exclusion Constraints
144
1
Monitor approach
145
1
Optimal monitor design
146
6
Conclusions
152
3
Live and Maximally Permissive Controller Synthesis Using Theory of Regions
A. Ghaffari N. Rezg X. Xie
155
12
Introduction
155
1
Problem Setting
156
1
The Theory of Regions
157
1
Petri Net Controller Synthesis
158
3
Computing the Controlled Behavior
159
1
Generating Control Places
160
1
Application
161
3
Conclusion
164
3
Design of Observers/Controllers for DES using PNs
Alessandro Giua Carla Seatzu
167
18
Background
171
1
Marking estimation with event observation
172
3
Main idea
172
2
Estimation algorithm
174
1
Elementary properties
175
1
Observability properties
175
2
Control using observers
177
4
Conclusions
181
4
Part IV Nonblocking, Liveness and Concurrency
Implementation Considerations in Supervisory Control
P. Dietrich R. Malik W.M. Wonham B.A. Brandin
185
18
Introduction
186
1
Supervisory Control Theory
186
3
Languages
187
1
Discrete-Event Systems
187
1
Supervisors
188
1
Implementations
189
1
Ensuring Implementation Independence
190
6
Termination
191
1
Confluence
192
1
Nonblocking under Control
193
1
Main result
194
2
A Small Example
196
4
Conclusions
200
3
Liveness Enforcing Supervision for Sequential Resource Allocation Systems
Spyros A. Reveliotis
203
10
Liveness Enforcing Supervision of Sequential RAS: A Supervisory Control-based Characterization and the Complexity of the Resulting Problem
205
1
Polynomial-Kernel Liveness Enforcing Supervisors and a RAS Taxonomy
206
1
Automating the Synthesis of PK-LES for sequential RAS through Petri net-based Structural Analysis
207
1
Conclusions and Remaining Open Issues
208
5
Looking for Diamonds
Marek Bednarczyk Philippe Darondeau
213
1
Nets with self-loops
214
1
Elementary Nets
214
3
Pure Petri nets
217
1
Marked graphs
217
1
Safe marked graphs
218
1
Conclusion
219
<