Cargando…
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 bio...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , , |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
| Edición: | 1st ed. 2016. |
| Colección: | SpringerBriefs in Control, Automation and Robotics,
|
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-29928-0 | ||
| 003 | DE-He213 | ||
| 005 | 20220119021526.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 160301s2016 sz | 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 | |
| 050 | 4 | |a TJ212-225 | |
| 072 | 7 | |a TJFM |2 bicssc | |
| 072 | 7 | |a GPFC |2 bicssc | |
| 072 | 7 | |a TEC004000 |2 bisacsh | |
| 072 | 7 | |a TJFM |2 thema | |
| 082 | 0 | 4 | |a 629.8312 |2 23 |
| 082 | 0 | 4 | |a 003 |2 23 |
| 100 | 1 | |a Arcak, Murat. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 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 Control, Automation and Robotics, |x 2192-6794 | |
| 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 Control engineering. | |
| 650 | 0 | |a System theory. | |
| 650 | 0 | |a Control theory. | |
| 650 | 0 | |a Computer networks . | |
| 650 | 0 | |a Telecommunication. | |
| 650 | 1 | 4 | |a Control and Systems Theory. |
| 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. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 700 | 1 | |a Packard, Andrew. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783319299273 |
| 776 | 0 | 8 | |i Printed edition: |z 9783319299297 |
| 830 | 0 | |a SpringerBriefs in Control, Automation and Robotics, |x 2192-6794 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/978-3-319-29928-0 |z Texto Completo |
| 912 | |a ZDB-2-ENG | ||
| 912 | |a ZDB-2-SXE | ||
| 950 | |a Engineering (SpringerNature-11647) | ||
| 950 | |a Engineering (R0) (SpringerNature-43712) | ||