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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Arcak, Murat (Συγγραφέας), Meissen, Chris (Συγγραφέας), Packard, Andrew (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
Έκδοση:1st ed. 2016.
Σειρά:SpringerBriefs in Electrical and Computer Engineering,
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03417nam a22005415i 4500
001 978-3-319-29928-0
003 DE-He213
005 20160302151019.0
007 cr nn 008mamaa
008 160301s2016 gw | s |||| 0|eng d
020 |a 9783319299280  |9 978-3-319-29928-0 
024 7 |a 10.1007/978-3-319-29928-0  |2 doi 
040 |d GrThAP 
050 4 |a TJ212-225 
072 7 |a TJFM  |2 bicssc 
072 7 |a TEC004000  |2 bisacsh 
082 0 4 |a 629.8  |2 23 
100 1 |a Arcak, Murat.  |e author. 
245 1 0 |a Networks of Dissipative Systems  |h [electronic resource] :  |b Compositional Certification of Stability, Performance, and Safety /  |c by Murat Arcak, Chris Meissen, Andrew Packard. 
250 |a 1st ed. 2016. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2016. 
300 |a X, 102 p. 19 illus., 6 illus. in color.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a SpringerBriefs in Electrical and Computer Engineering,  |x 2191-8112 
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. 
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. 
650 0 |a Engineering. 
650 0 |a Computer communication systems. 
650 0 |a System theory. 
650 0 |a Control engineering. 
650 0 |a Electrical engineering. 
650 1 4 |a Engineering. 
650 2 4 |a Control. 
650 2 4 |a Systems Theory, Control. 
650 2 4 |a Computer Communication Networks. 
650 2 4 |a Communications Engineering, Networks. 
700 1 |a Meissen, Chris.  |e author. 
700 1 |a Packard, Andrew.  |e author. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783319299273 
830 0 |a SpringerBriefs in Electrical and Computer Engineering,  |x 2191-8112 
856 4 0 |u http://dx.doi.org/10.1007/978-3-319-29928-0  |z Full Text via HEAL-Link 
912 |a ZDB-2-ENG 
950 |a Engineering (Springer-11647)