大葉大學圖書館 |

Networks of dissipative systems[electronic resource] :compositional certification of stability, performance, and safety /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	004.6
書名/作者:	Networks of dissipative systems : compositional certification of stability, performance, and safety // by Murat Arcak, Chris Meissen, Andrew Packard.
作者:	Arcak, Murat.
其他作者:	Meissen, Chris.
出版者:	Cham : : Springer International Publishing :, 2016.
面頁冊數:	x, 102 p. : : ill. (some col.), digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Computer networks - Management.
標題:	Automatic control.
標題:	Engineering.
標題:	Control.
標題:	Systems Theory, Control.
標題:	Computer Communication Networks.
標題:	Communications Engineering, Networks.
ISBN:	9783319299280
ISBN:	9783319299273
內容註:	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.
電子資源:	http://dx.doi.org/10.1007/978-3-319-29928-0

Networks of dissipative systems[electronic resource] :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:

339922
Computer networks
--Management.

LC Class. No.: TK5105.5

Dewey Class. No.: 004.6

Networks of dissipative systems[electronic resource] :compositional certification of stability, performance, and safety /
LDR:02554nam a2200325 a 4500 001 446725
003 DE-He213
005 20160919150754.0
006 m d
007 cr nn 008maaau
008 161201s2016 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 639606
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 : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
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 339922
650 0 $a Automatic control. $3 176023
650 1 4 $a Engineering. $3 372756
650 2 4 $a Control. $3 463886
650 2 4 $a Systems Theory, Control. $3 463973
650 2 4 $a Computer Communication Networks. $3 464535
650 2 4 $a Communications Engineering, Networks. $3 463863
700 1 $a Meissen, Chris. $3 639607
700 1 $a Packard, Andrew. $3 639608
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a SpringerBriefs in electrical and computer engineering. $3 463907
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-29928-0
950 $a Engineering (Springer-11647)