Discrete Event Systems : Analysis and Control

Geert Stremersch

ISBN 10: 1461370256 / ISBN 13: 9781461370253

Verlag: Springer US, 2012

Beschreibung

Druck auf Anfrage Neuware - Printed after ordering - 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).

Bestandsnummer des Verkäufers 9781461370253

Bibliografische Details

• Titel: Discrete Event Systems : Analysis and Control
• Verlag: Springer US
• Erscheinungsjahr: 2012
• Sprache: Englisch
• ISBN-10: 1461370256
• ISBN-13: 9781461370253
• Einband: Taschenbuch
• Zustand: Neu

Über diesen Titel

Inhaltsangabe

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