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.

Autorentext

Murat Arcak is a professor at U.C. Berkeley in the Electrical Engineering and Computer Sciences Department. His research is in dynamical systems and control theory with applications to synthetic biology, multi-agent systems, and transportation. He received the Donald P. Eckman Award from the American Automatic Control Council in 2006, the Control and Systems Theory Prize from the Society for Industrial and Applied Mathematics (SIAM) in 2007, and the Antonio Ruberti Young Researcher Prize from the IEEE Control Systems Society in 2014. He is a member of SIAM and a fellow of IEEE.

Chris Meissen is a Ph.D. candidate in Mechanical Engineering at U.C. Berkeley, under the supervision of Dr. Andrew Packard and Dr. Murat Arcak. His research interests include nonlinear dynamical system analysis, robust and nonlinear control theory, and large-scale optimization. Prior to starting the Ph.D. program he worked in automotive industry and software development. Andrew Packard isa professor at U.C. Berkeley in the Mechanical Engineering Department. His research covers robust control, quantitative nonlinear systems analysis, and optimization. He is an author of the Robust Control toolbox distributed by Mathworks. The Meyer sound X-10 loudspeaker utilizes novel feedback control circuitry developed by his research group. He is a recipient of the campus Distinguished Teaching Award, the 1995 Eckman Award, the 2005 IEEE Control System Technology Award, and a 2007 IEEE Fellow.

Inhalt
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.