Hello,
I am pleased to
announce a new publication:
Supervisory Control
of Concurrent Systems
A Petri Net Structural Approach
A Petri Net Structural Approach
Marian V. Iordache,
LeTourneau University, Longview, TX, USA
Panos J. Antsaklis, University of Notre Dame, Notre Dame, IN, USA
Panos J. Antsaklis, University of Notre Dame, Notre Dame, IN, USA
June 2006 / Approx.
304 pp. / 100 illus. / Hardcover / $79.95 / ISBN: 0-8176-4357-5 /
Birkhaeuser
Series - Systems and Control: Foundations and Applications
Series - Systems and Control: Foundations and Applications
This book addresses the design of effective tools
for correct-by-construction synthesis of supervisors for systems and
specifications represented in the discrete-event framework. The approach
employed uses Petri nets as discrete-event models and structural methods for the
synthesis of supervisors, and may lead to significant computational
benefits.
Highlighting recent progress in the design of
effective supervisors by structural methods, the book represents a novel
contribution to the field. One of the main features of the presentation is the
demonstration that structural methods can address a variety of supervisor
specifications under diverse supervision settings. Many of the presented methods
have been realized in software as functions of a MATLAB toolbox, which have been
used to solve many of the examples of the book.
Table of Contents:
Preface * Symbols * Introduction * An Introduction
to Petri Nets * The Supervision of Petri Nets * Enforcing General Specifications
* Decentralized Supervision of Petri Nets * Deadlock and Liveness Properties of
Petri Nets * Liveness Enforcement in Petri Nets: A Structural Approach.
Part I * Liveness Enforcement in Petri Nets * A Structural Approach.
Part II * DES Control of Concurrent Hybrid Systems * Hybrid System Level
Control * References * Index
For a full description of the book and ordering
information, please visit: http://www.springer.com/0-8176-4357-5.
---
Regina Gorenshteyn
Assistant Editor
Computational Sciences and
Engineering
Birkhauser Boston
617-876-2333 ext. 341
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
