Cargando…

Networks of dissipative systems: compositional certification of stability, performance, and safety

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

Descripción completa

Detalles Bibliográficos
Autores principales: Arcak, Murat, Meissen, Chris, Packard, Andrew
Lenguaje:eng
Publicado: Springer 2016
Materias:
Acceso en línea:https://dx.doi.org/10.1007/978-3-319-29928-0
http://cds.cern.ch/record/2143510