Networks of Dissipative Systems Compositional Certification of Stability, Performance, and Safety /

• Κύριοι συγγραφείς: Arcak, Murat (Συγγραφέας), Meissen, Chris (Συγγραφέας), Packard, Andrew (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Έκδοση: 1st ed. 2016.
• Σειρά: SpringerBriefs in Electrical and Computer Engineering,
• Θέματα: Engineering.; Computer communication systems.; System theory.; Control engineering.; Electrical engineering.; Control.; Systems Theory, Control.; Computer Communication Networks.; Communications Engineering, Networks.

This book addresses a major problem for today’s large-scale networked systems: certification of the required stability and performance properties using analytical and computational models. On the basis of illustrative case studies, it demonstrates the applicability of theoretical methods to biologic...