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

Full description

Bibliographic Details
Main Authors: Arcak, Murat, Meissen, Chris (Author), Packard, Andrew (Author)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2016, 2016
Edition:1st ed. 2016
Series:SpringerBriefs in Control, Automation and Robotics
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02874nmm a2200397 u 4500
001 EB001189857
003 EBX01000000000000000861994
005 00000000000000.0
007 cr|||||||||||||||||||||
008 160406 ||| eng
020 |a 9783319299280 
100 1 |a Arcak, Murat 
245 0 0 |a Networks of Dissipative Systems  |h Elektronische Ressource  |b Compositional Certification of Stability, Performance, and Safety  |c by Murat Arcak, Chris Meissen, Andrew Packard 
250 |a 1st ed. 2016 
260 |a Cham  |b Springer International Publishing  |c 2016, 2016 
300 |a X, 102 p. 19 illus., 6 illus. in color  |b online resource 
505 0 |a Brief Review of Dissipativity Theory -- Stability of Interconnected Systems -- Equilibrium Independent Stability Certification -- Case Studies -- From Stability to Performance and Safety -- Appendix: Sum of Squares Programming 
653 |a Computer Communication Networks 
653 |a Control and Systems Theory 
653 |a Control theory 
653 |a Systems Theory, Control 
653 |a Computer networks  
653 |a System theory 
653 |a Control engineering 
653 |a Telecommunication 
653 |a Communications Engineering, Networks 
700 1 |a Meissen, Chris  |e [author] 
700 1 |a Packard, Andrew  |e [author] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a SpringerBriefs in Control, Automation and Robotics 
028 5 0 |a 10.1007/978-3-319-29928-0 
856 4 0 |u https://doi.org/10.1007/978-3-319-29928-0?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 6,298,312 
082 0 |a 3 
520 |a 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