Compositional Certification of Stability, Performance, and Safety
by
Andrew Packard, Chris Meissen, Murat Arcak
Language: English
Release Date: March 1, 2016
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 biological...