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 Aquifer Characterization Techniques by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Mind, Brain and Technology by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Personal Identity as a Principle of Biomedical Ethics by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Religion, Disability, and Interpersonal Violence by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Zoological Collections of Germany by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Thyroid Nodules by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Why We Live in Hierarchies? by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Teaching and Learning in Maths Classrooms by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Enterprise and Organizational Modeling and Simulation by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Functional Verification of Dynamically Reconfigurable FPGA-based Systems by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Contracts of Adhesion Between Law and Economics by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Computational Musicology in Hindustani Music by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Manipulation of Allelopathic Crops for Weed Control by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book European Autonomy in Space by Andrew Packard, Chris Meissen, Murat Arcak
Cover of the book Computational Tapered and Cylinder Roller Bearings 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