Discrete Event Systems

1. Front Matter

   Pages i-xi

   PDF

2. Mini Course

   1. Front Matter

      Pages 1-1

      PDF

   2. A Course on Sensitivity Analysis for Gradient Estimation of Des Performance Measures

      • Felisa J. Vázquez-Abad

      Pages 3-28

3. Contributed Papers

   1. Front Matter

      Pages 29-29

      PDF

   2. Coalgebra, Concurrency, and Control

      • J. J. M. M. Rutten

      Pages 31-38

   3. Symbolic Abstractions of Automata

      • S. Pinchinat, H. Marchand

      Pages 39-48

   4. Efficient Computation and Representation of Large Reachability Sets for Composed Automata

      • Peter Buchholz, Peter Kemper

      Pages 49-56

   5. Equivalent Existence Structures for Temporal-Safety Control

      • Kiam-Tian Seow

      Pages 57-66

   6. Heaps of Pieces with a Continuum of Resources

      • R. J. van Egmond

      Pages 67-73

   7. Eigenvalues of Interconnected Bipartite (min, max, +)-Systems

      • Subiono, Jacob van der Woude

      Pages 75-82

   8. A (Max,+) Approach for Time in Message Sequence Charts

      • Pierre Le Maigat, Loïc Hélouët

      Pages 83-92

   9. Analysis of Periodic Discrete Event Systems in (Max,+) Algebra

      • S. Lahaye, J. L. Boimond, L. Hardouin

      Pages 93-102

   10. Modular Supervisory Control of Large Scale Discrete Event Systems

       • Max H. de Queiroz, José E. R. Cury

       Pages 103-110

   11. A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems

       • Tae-Sic Yoo, Stéphane Lafortune

       Pages 111-118

   12. Reduced Supervisors for Timed Discrete-Event Systems

       • Peyman Gohari, W. M. Wonham

       Pages 119-130

   13. Synthesis of Reliable Decentralized Supervisors for Discrete Event Systems

       • Shigemasa Takai, Toshimitsu Ushio

       Pages 131-138

   14. An Iterative Method for Deadlock Prevention in FMS

       • F. Tricas, F. García-Vallés, J. M. Colom, J. Ezpeleta

       Pages 139-148

   15. Avoiding Deadlocks in Flexible Manufacturing Systems

       • Michael Seidl, Günther Schmidt

       Pages 149-158

   16. On Partially Controlled Free Choice Petri Nets

       • Ramavarapu S. Sreenivas

       Pages 159-168

   17. Closed-Loop Live Petri Net Supervisors for GMEC

       • F. Basile, P. Chiacchio, L. Recalde, M. Silva

       Pages 169-180

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).

• Analysis
• Model Predictive Control
• algorithms
• automata
• automata theory
• logic
• modeling
• optimization
• system
• verification

• Ghent University, Belgium

  R. Boel, G. Stremersch

Policies and ethics