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 |
Παρόμοια τεκμήρια
-
Constrained Control and Estimation An Optimisation Approach /
ανά: Goodwin, Graham C., κ.ά.
Έκδοση: (2005) -
Simulation of ODE/PDE Models with MATLAB®, OCTAVE and SCILAB Scientific and Engineering Applications /
ανά: Vande Wouwer, Alain, κ.ά.
Έκδοση: (2014) -
Mathematical Methods for Robust and Nonlinear Control EPSRC Summer School /
Έκδοση: (2007) -
Fault Diagnosis and Fault-Tolerant Control Based on Adaptive Control Approach
ανά: Shen, Qikun, κ.ά.
Έκδοση: (2017) -
Mono- and Multivariable Control and Estimation Linear, Quadratic and LMI Methods /
ανά: Ostertag, Eric
Έκδοση: (2011)