Supervisory Control of Concurrent Systems A Petri Net Structural Approach /

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Iordache, Marian V. (Συγγραφέας), Antsaklis, Panos J. (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Boston, MA : Birkhäuser Boston, 2006.
Σειρά:Systems and Control: Foundations & Applications
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link

Παρόμοια τεκμήρια