Control of Discrete-Event Systems: Automata and Petri Net Perspectives

By Carla Seatzu

From the Contents: Part I Modeling of Engineering Phenomena by Finite Automata.- Languages, decidability and Complexity. Languages, Decidability and Complexity.- Supervisory Control with Complete Observation. Supervisory Control with Partial Observation.- Observers with Automata.- Part II Introduction to Petri Nets.- Control of Petri Nets with Language Specifications.- Diagnosis of Petri Nets.- Diagnosis with Unfolding.- Structural Methods for the Control of Discrete-event Systems: The Case of the Resource Allocation Problem.- Timed and Time Nets.- Diagnosis of Petri Nets with Time.

• Format: Paperback
• Language: English
• ISBN: 1447142756
• ISBN13: 9781447142751
• Release Date: July 2012
• Publisher: Springer
• Length: 480 Pages
• Weight: 1.60 lbs.
• Dimensions: 1.1" x 6.0" x 9.0"