Discrete Event Systems: Analysis and Control

Front Cover
R. Boel, Geert Stremersch
Springer Science & Business Media, Jul 31, 2000 - Science - 484 pages
Discrete Event Systems: Analysis and Control is the proceedings of WODES2000 (the 5th Workshop on Discrete Event Systems, held in Ghent, Belgium, on August 21-23, 2000). This book provides a survey of the current state of the art in the field of modeling, analysis and control synthesis of discrete event systems, lecture notes for a mini course on sensitivity analysis for performance evaluation of timed discrete event systems, and 48 carefully selected papers covering all areas of discrete event theory and the most important applications domains. Topics include automata theory and supervisory control (12); Petri net based models for discrete event systems, and their control synthesis (11); (max,+) and timed automata models (9); applications papers related to scheduling, failure detection, and implementation of supervisory controllers (7); formal description of PLCs (6); and finally, stochastic models of discrete event systems (3).
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

II
3
III
31
IV
39
V
49
VI
57
VII
67
VIII
75
IX
83
XXX
283
XXXI
291
XXXII
309
XXXIII
317
XXXIV
327
XXXV
337
XXXVI
345
XXXVII
355

X
93
XI
103
XII
111
XIII
119
XIV
131
XV
139
XVI
149
XVII
159
XVIII
169
XIX
181
XX
193
XXI
201
XXII
209
XXIII
219
XXIV
227
XXV
239
XXVI
247
XXVII
255
XXVIII
265
XXIX
275
XXXVIII
363
XXXIX
371
XL
383
XLI
391
XLII
399
XLIII
409
XLIV
421
XLV
429
XLVI
433
XLVII
441
XLVIII
449
XLIX
459
L
469
LI
471
LII
473
LIII
477
LIV
479
LV
481
LVI
483
Copyright

Other editions - View all

Common terms and phrases