000 | 03480nam a22005535i 4500 | ||
---|---|---|---|
001 | 978-3-319-29928-0 | ||
003 | DE-He213 | ||
005 | 20180206183038.0 | ||
007 | cr nn 008mamaa | ||
008 | 160301s2016 gw | s |||| 0|eng d | ||
020 |
_a9783319299280 _9978-3-319-29928-0 |
||
050 | 4 | _aTJ212-225 | |
072 | 7 |
_aTJFM _2bicssc |
|
072 | 7 |
_aTEC004000 _2bisacsh |
|
082 | 0 | 4 |
_a629.8 _223 |
100 | 1 |
_aArcak, Murat. _eauthor. |
|
245 | 1 | 0 |
_aNetworks of Dissipative Systems _h[recurso electrónico] : _bCompositional Certification of Stability, Performance, and Safety / _cby Murat Arcak, Chris Meissen, Andrew Packard. |
250 | _a1st ed. 2016. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2016. |
|
300 |
_aX, 102 p. 19 illus., 6 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aSpringerBriefs in Electrical and Computer Engineering, _x2191-8112 |
|
505 | 0 | _aBrief 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 | _aThis 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 | _aEngineering. | |
650 | 0 | _aComputer communication systems. | |
650 | 0 | _aSystem theory. | |
650 | 0 | _aControl engineering. | |
650 | 0 | _aElectrical engineering. | |
650 | 1 | 4 | _aEngineering. |
650 | 2 | 4 | _aControl. |
650 | 2 | 4 | _aSystems Theory, Control. |
650 | 2 | 4 | _aComputer Communication Networks. |
650 | 2 | 4 | _aCommunications Engineering, Networks. |
700 | 1 |
_aMeissen, Chris. _eauthor. |
|
700 | 1 |
_aPackard, Andrew. _eauthor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783319299273 |
830 | 0 |
_aSpringerBriefs in Electrical and Computer Engineering, _x2191-8112 |
|
856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=http://dx.doi.org/10.1007/978-3-319-29928-0 |
912 | _aZDB-2-ENG | ||
942 | _cLIBRO_ELEC | ||
999 |
_c226707 _d226707 |