search for books and compare prices
Tables of Contents for Synthesis and Control of Discrete Event Systems
List of Figuresix
List of Tablesxiii
Part I Decentralized Systems and Control
Recent Advances on the Control of Partially-Observed Discrete-Event Systems
Stephane Lafortune Kurt Rohloff and
Tae-Sic Yoo3
16
Centralized Control Under Partial Observation
5
2
Synthesis of Safe Solutions
12
4
Improving on gdec13
3
From Global Specifications to Distributed Implementations
Madhavan Mukund19
18
Distributed transition systems
20
3
Synthesis modulo isomorphism
24
2
Loosely Cooperating systems24
2
Synchronously communicating systems26
1
Synthesis modulo language equivalence
26
4
Loosely Cooperating systems27
1
Synchronously communicating systems28
2
Synthesis modulo bisimulation
30
2
The synthesis problem for concurrent alphabets
32
2
Problems and Examples of Decentralized Observation and Control
Anuj Puri Stavros Tripakis Pravin Varaiya37
20
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 buffers47
2
One channel two-symbol, the other channel one-symbol, unbounded buffers49
1
Both channels one-symbol50
1
Towards Synthesis of ACMs
Alex Yakovlev and
Fei Xia57
20
Definition of the basic Signal
59
2
State graph specification of a simple Signal
61
4
Algorithmic Implementation
67
2
STCT: An Efficient Algorithm for Supervisory Control Design
Zhonghua Zhang and
W.M. Wonham77
26
Structural predicates and control synthesis
79
3
Synthesis algorithm for simple DES79
2
Synthesis algorithm for complex DES81
1
Implementation of supervisory controller by structural predicate82
1
Algorithm, IDDs, optimization and complexity
82
8
Operations necessary to complete the synthesis83
2
Ordering of variables85
2
Incremental computation on buffer sizes87
1
A conceptual complexity analysis87
1
Estimate of nodes87
3
Transfer Line90
5
Workcell95
2
FMS97
1
Towards Modular Synthesis of EN Systems
Luca Bernardinello Carlo Ferigato Lucia Pomello103
12
Formal definitions and results
107
5
Adaptive Supervisory Control
Rene K. Boel115
10
Timed discrete event models
117
2
Adaptive supervisory control paradigm
119
1
Extensions and future work
122
3
Modelling with Petri Modules
Gabriel Juhas Robert Lorenz125
16
Part III Petri Net Supervision
Optimal Petri Net Monitor Design
Francesco Basile Pasquale Chiacchio Alessandro Giua141
14
Petri nets143
1
Generalized Mutual Exclusion Constraints144
1
Optimal monitor design
146
6
Live and Maximally Permissive Controller Synthesis Using Theory of Regions
A. Ghaffari N. Rezg X. Xie155
12
The Theory of Regions
157
1
Petri Net Controller Synthesis
158
3
Computing the Controlled Behavior159
1
Generating Control Places160
1
Design of Observers/Controllers for DES using PNs
Alessandro Giua Carla Seatzu167
18
Marking estimation with event observation
172
3
Main idea172
2
Estimation algorithm174
1
Elementary properties175
1
Observability properties
175
2
Control using observers
177
4
Part IV Nonblocking, Liveness and Concurrency
Implementation Considerations in Supervisory Control
P. Dietrich R. Malik W.M. Wonham B.A. Brandin185
18
Supervisory Control Theory
186
3
Languages187
1
Discrete-Event Systems187
1
Supervisors188
1
Ensuring Implementation Independence
190
6
Termination191
1
Confluence192
1
Nonblocking under Control193
1
Main result194
2
Liveness Enforcing Supervision for Sequential Resource Allocation Systems
Spyros A. Reveliotis203
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 Darondeau213
1
<