Supervisory Control of Concurrent Systems A Petri Net Structural Approach /

• Κύριοι συγγραφείς: Iordache, Marian V. (Συγγραφέας), Antsaklis, Panos J. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Birkhäuser Boston, 2006.
• Σειρά: Systems and Control: Foundations & Applications
• Θέματα: Engineering.; Computer simulation.; Applied mathematics.; Engineering mathematics.; System theory.; Control engineering.; Industrial engineering.; Production engineering.; Control.; Industrial and Production Engineering.; Appl.Mathematics/Computational Methods of Engineering.; Systems Theory, Control.; Applications of Mathematics.; Simulation and Modeling.

Increasing complexity in engineering projects raises difficult challenges in industry and requires effective tools for correct-by-construction design or design verification. This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specificatio...

Πίνακας περιεχομένων:

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