Networks of Dissipative Systems: Compositional Certification of Stability, Performance, and Safety
Networks of Dissipative Systems: Compositional Certification of Stability, Performance, and Safety
复制标题
耗散系统网络：稳定性、性能和安全性的成分认证
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
A. Packard
中科院分区：
文献类型：
--
作者：
M. Arcak;Chris Meissen;A. Packard
这本书解决了当今大规模网络系统的一个主要问题：使用分析和计算模型验证所需的稳定性和性能属性。在实例研究的基础上，论证了理论方法在生物网络、车队和互联网拥塞控制中的适用性。这本书没有把网络作为一个整体来处理，这种方法严重限制了现有方法处理大量物理组件的能力，而是开发了一种组合方法，它从组件及其交互的关键结构属性中获得网络级的保证。这种方法的基本工具是已建立的耗散性理论，该理论在第一章中进行了回顾，并辅之以现代计算技术。本书将这一理论与作者最近的研究成果结合在一起，达到了研究生和实习工程师只熟悉最基本的非线性系统概念的水平。与数字例子相关的代码可以从Extras.springer.com下载，读者可以复制这些例子并熟悉相关软件。
This book addresses a major problem for todays 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.