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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Seatzu, Carla (Επιμελητής έκδοσης), Silva, Manuel (Επιμελητής έκδοσης), van Schuppen, Jan H. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London : Imprint: Springer, 2013.
• Σειρά: Lecture Notes in Control and Information Sciences, 433
• Θέματα: Engineering.; Computer communication systems.; System theory.; Control engineering.; Control.; Computer Communication Networks.; Systems Theory, Control.

Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic notions and definitions of discrete-event sys...

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

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