Advertisement

Discrete Event Systems

Analysis and Control

  • R. Boel
  • G. Stremersch

Table of contents

  1. Front Matter
    Pages i-xi
  2. Mini Course

  3. Contributed Papers

    1. Front Matter
      Pages 29-29
    2. J. J. M. M. Rutten
      Pages 31-38
    3. S. Pinchinat, H. Marchand
      Pages 39-48
    4. R. J. van Egmond
      Pages 67-73
    5. Subiono, Jacob van der Woude
      Pages 75-82
    6. Pierre Le Maigat, Loïc Hélouët
      Pages 83-92
    7. S. Lahaye, J. L. Boimond, L. Hardouin
      Pages 93-102
    8. Max H. de Queiroz, José E. R. Cury
      Pages 103-110
    9. Peyman Gohari, W. M. Wonham
      Pages 119-130
    10. Shigemasa Takai, Toshimitsu Ushio
      Pages 131-138
    11. F. Tricas, F. García-Vallés, J. M. Colom, J. Ezpeleta
      Pages 139-148
    12. Michael Seidl, Günther Schmidt
      Pages 149-158
    13. Ramavarapu S. Sreenivas
      Pages 159-168
    14. F. Basile, P. Chiacchio, L. Recalde, M. Silva
      Pages 169-180
    15. G. Soto y Koelemeijer
      Pages 193-200
    16. Bart De Schutter, Ton van den Boom
      Pages 201-208
    17. Alessandro Giua, Aldo Piccaluga, Carla Seatzu
      Pages 209-218
    18. Bruno Gaujal, Stefan Haar
      Pages 219-226
    19. Behzad Bordbar, Luisa Giacomini, David J. Holding
      Pages 227-237
    20. S. Lampérière-Couffin, J.-J. Lesage
      Pages 247-254
    21. Sébastien Bornot, Ralf Huuck, Yassine Lakhnech, Ben Lukoschus
      Pages 255-264
    22. Monika Heiner, Thomas Menzel
      Pages 275-282
    23. Heinz Treseler, Nanette Bauer, Stefan Kowalewski
      Pages 283-290
    24. A. Zimmermann, D. Rodríguez, M. Silva
      Pages 291-298
    25. Emmanuel Grolleau, Annie Choquet-Geniet
      Pages 309-316
    26. Yu Gong, Lawrence E. Holloway
      Pages 327-336
    27. Shigemasa Takai, Toshimitsu Ushio, Yasunobu Furukawa
      Pages 337-344
    28. Hsu-Chun Yen
      Pages 355-362
    29. Éric Grégoire, David Ansart
      Pages 363-370
    30. Adriana B. Noronha, Rafael Santos-Mendes
      Pages 371-382
    31. S. Bulach, A. Brauchle, H.-J. Pfleiderer, Z. Kucerovsky
      Pages 383-390
    32. Nidhal Rezg, Xiaolan Xie, Asma Ghaffari
      Pages 391-398
    33. Aristotle Arapostathis, Ratnesh Kumar, Sekhar Tangirala
      Pages 421-428
    34. F. García-Vallés, F. Tricas, J. Ezpeleta, J. M. Colom
      Pages 441-448

About this book

Introduction

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

Keywords

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

Editors and affiliations

  • R. Boel
    • 1
  • G. Stremersch
    • 1
  1. 1.Ghent UniversityBelgium

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4615-4493-7
  • Copyright Information Kluwer Academic Publishers 2000
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4613-7025-3
  • Online ISBN 978-1-4615-4493-7
  • Series Print ISSN 0893-3405
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
Electronics
Engineering