Skip to main content
SpringerLink
Log in

Discrete Event Systems

Analysis and Control

  • Book
  • © 2000

Overview

Editors:
  1. R. Boel

    1. Ghent University, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. G. Stremersch

    1. Ghent University, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: The Springer International Series in Engineering and Computer Science (SECS, volume 569)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (55 chapters)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Mini Course

    1. Front Matter

      Pages 1-1
      Download chapter 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
      Download chapter 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
Back to top

Keywords

About this book

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

Editors and Affiliations

  • Ghent University, Belgium

    R. Boel, G. Stremersch

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation