國立虎尾科技大學 |

Networks of dissipative systems = compositional certification of stability, performance, and safety /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Networks of dissipative systems/ by Murat Arcak, Chris Meissen, Andrew Packard.
Reminder of title:	compositional certification of stability, performance, and safety /
Author:	Arcak, Murat.
other author:	Meissen, Chris.
Published:	Cham :Springer International Publishing : : 2016.,
Description:	x, 102 p. :ill. (some col.), digital ; : 24 cm.;
Contained By:	Springer eBooks
Subject:	Computer networks - Management. -
Online resource:	http://dx.doi.org/10.1007/978-3-319-29928-0
ISBN:	9783319299280

Networks of dissipative systems = compositional certification of stability, performance, and safety /
Arcak, Murat.

Networks of dissipative systemscompositional certification of stability, performance, and safety /[electronic resource] :by Murat Arcak, Chris Meissen, Andrew Packard. - Cham :Springer International Publishing :2016. - x, 102 p. :ill. (some col.), digital ;24 cm. - SpringerBriefs in electrical and computer engineering,2191-8112. - SpringerBriefs in electrical and computer engineering..

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.

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.

ISBN: 9783319299280

Standard No.: 10.1007/978-3-319-29928-0doiSubjects--Topical Terms:

591401
Computer networks
--Management.

LC Class. No.: TK5105.5

Dewey Class. No.: 004.6

Networks of dissipative systems = compositional certification of stability, performance, and safety /
LDR:02554nam a2200325 a 4500 001 863117
003 DE-He213
005 20160919150754.0
006 m d
007 cr nn 008maaau
008 170720s2016 gw s 0 eng d
020 $a 9783319299280 $q (electronic bk.)
020 $a 9783319299273 $q (paper)
024 7 $a 10.1007/978-3-319-29928-0 $2 doi
035 $a 978-3-319-29928-0
040 $a GP $c GP
041 0 $a eng
050 4 $a TK5105.5
072 7 $a TJFM $2 bicssc
072 7 $a TEC004000 $2 bisacsh
082 0 4 $a 004.6 $2 23
090 $a TK5105.5 $b .A668 2016
100 1 $a Arcak, Murat. $3 787321
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.
260 $a Cham : $c 2016. $b Springer International Publishing : $b Imprint: Springer,
300 $a x, 102 p. : $b ill. (some col.), digital ; $c 24 cm.
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 Computer networks $x Management. $3 591401
650 0 $a Automatic control. $3 528275
650 1 4 $a Engineering. $3 561152
650 2 4 $a Control. $3 782232
650 2 4 $a Systems Theory, Control. $3 669337
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Communications Engineering, Networks. $3 669809
700 1 $a Meissen, Chris. $3 1106895
700 1 $a Packard, Andrew. $3 1106896
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a SpringerBriefs in electrical and computer engineering. $3 883975
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-29928-0
950 $a Engineering (Springer-11647)