|
Showing 1 - 4 of
4 matches in All Departments
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).
Supervision of Petri Nets presents supervisory control theory for
Petri nets with a legal set as the control goal. Petri nets model
discrete event systems - dynamic systems whose evolution is
completely determined by the occurrence of discrete events. Control
laws, which guarantee that the system meets a set of specifications
in the presence of uncontrollable and unobservable events, are
studied and constructed, using application areas such as automated
manufacturing and transportation systems. Supervision of Petri Nets
introduces a new and mathematically sound approach to the subject.
Existing results are unified by proposing a general mathematical
language that makes extensive use of order theoretical ideas, and
numerous new results are described, including ready-to-use
algorithms that construct supervisory control laws for Petri nets.
Supervision of Petri Nets is an excellent reference for
researchers, and may also be used as a supplementary text for
advanced courses on control theory.
Supervision of Petri Nets presents supervisory control theory for
Petri nets with a legal set as the control goal. Petri nets model
discrete event systems - dynamic systems whose evolution is
completely determined by the occurrence of discrete events. Control
laws, which guarantee that the system meets a set of specifications
in the presence of uncontrollable and unobservable events, are
studied and constructed, using application areas such as automated
manufacturing and transportation systems. Supervision of Petri Nets
introduces a new and mathematically sound approach to the subject.
Existing results are unified by proposing a general mathematical
language that makes extensive use of order theoretical ideas, and
numerous new results are described, including ready-to-use
algorithms that construct supervisory control laws for Petri nets.
Supervision of Petri Nets is an excellent reference for
researchers, and may also be used as a supplementary text for
advanced courses on control theory.
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).
|
|