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 Reachability Problems by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Surveys in Differential-Algebraic Equations II by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Quantum Physics, Fuzzy Sets and Logic by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Nanoscience in Food and Agriculture 1 by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Perspectives on Interrogative Models of Inquiry by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Advances and Trends in Artificial Intelligence. From Theory to Practice by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Global Networking, Communication and Culture: Conflict or Convergence? by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Two-Dimensional Systems by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book You Must Be Very Intelligent by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Creating Target Publics for Welfare Policies by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Computational Linguistics and Intelligent Text Processing by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Interactivity, Collaboration, and Authoring in Social Media by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book The International Conference on Advanced Machine Learning Technologies and Applications (AMLTA2019) by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book A Discipline-Based Teaching and Learning Center by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book The Force of Law Reaffirmed 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