Discrete Event Systems: Analysis and Control
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.
Other editions - View all
Abstract algebra allocation analysis application approach automata automaton behavior bisimulation Boolean bounded called coalgebra computation condition consider constraints control places control subnet controllable transitions corresponding defined Definition denote discrete event systems eigenvalue eigenvector enabled enforces liveness environment equation example execution exists Figure finite firing formal function given grafcet graph IEEE initial marking input integer Keywords labeled language Lemma linear Lipschitz continuous logic controller machine Manufacturing Systems Markov chain matrix method modular module node observer operation optimal output paper performance perturbed Petri net Petri net model plant polynomial power algorithm predicate problem Programmable Logic Controllers properties queue Rabin automaton Ramadge reachable marking resource scheduling semantics sequence sequential function charts solution specification step structure subset supervisory control synchronous synthesis temporal logic Theorem tion trajectory uncontrollable variables vector verification weak derivative Wonham