Networks of Dissipative Systems

Compositional Certification of Stability, Performance, and Safety

Nonfiction, Science & Nature, Science, Other Sciences, System Theory, Technology, Automation
Cover of the book Networks of Dissipative Systems by Andrew Packard, Chris Meissen, Murat Arcak, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Andrew Packard, Chris Meissen, Murat Arcak ISBN: 9783319299280
Publisher: Springer International Publishing Publication: March 1, 2016
Imprint: Springer Language: English
Author: Andrew Packard, Chris Meissen, Murat Arcak
ISBN: 9783319299280
Publisher: Springer International Publishing
Publication: March 1, 2016
Imprint: Springer
Language: English

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 networks, vehicle fleets, and Internet congestion control. Rather than tackle the network as a whole —an approach that severely limits the ability of existing methods to cope with large numbers of physical components— the book develops a compositional approach that derives network-level guarantees from key structural properties of the components and their interactions. The foundational tool in this approach is the established dissipativity theory, which is reviewed in the first chapter and supplemented with modern computational techniques. The book blends this theory with the authors’ recent research efforts at a level that is accessible to graduate students and practising engineers familiar with only the most basic nonlinear systems concepts. Code associated with the numerical examples can be downloaded at extras.springer.com, allowing readers to reproduce the examples and become acquainted with the relevant software.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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 networks, vehicle fleets, and Internet congestion control. Rather than tackle the network as a whole —an approach that severely limits the ability of existing methods to cope with large numbers of physical components— the book develops a compositional approach that derives network-level guarantees from key structural properties of the components and their interactions. The foundational tool in this approach is the established dissipativity theory, which is reviewed in the first chapter and supplemented with modern computational techniques. The book blends this theory with the authors’ recent research efforts at a level that is accessible to graduate students and practising engineers familiar with only the most basic nonlinear systems concepts. Code associated with the numerical examples can be downloaded at extras.springer.com, allowing readers to reproduce the examples and become acquainted with the relevant software.

More books from Springer International Publishing

Cover of the book Current Trends in Friction Stir Welding (FSW) and Friction Stir Spot Welding (FSSW) by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Quinoxalines by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Martin Davis on Computability, Computational Logic, and Mathematical Foundations by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book The Influence of Human Rights and Basic Rights in Private Law by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Reviews of Environmental Contamination and Toxicology Volume 228 by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book The Non-Reificatory Approach to Belief by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Approximate Solutions of Common Fixed-Point Problems by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Materializing the Web of Linked Data by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Advances in Computational Plasticity by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Augmented Reality Games I by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Speech and Computer by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book China, Hong Kong, and the Long 1970s: Global Perspectives by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Urban Environment, Travel Behavior, Health, and Resident Satisfaction by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Fundamentals of Service Systems by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Graph Transformation by Andrew Packard, Chris Meissen, Murat Arcak
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy