Skip to main content

Networks of Dissipative Systems

Compositional Certification of Stability, Performance, and Safety

  • Book
  • © 2016

Overview

  • Proposes a pioneering new approach to certifying stability and performance in large-scale networked systems with a pedagogical and concise summary
  • Demonstrates the applicability of theoretical methods using illustrative case studies
  • Enables readers to learn from and reproduce mathematical examples by providing the necessary code
  • Includes supplementary material: sn.pub/extras

Part of the book series: SpringerBriefs in Electrical and Computer Engineering (BRIEFSELECTRIC)

Part of the book sub series: SpringerBriefs in Control, Automation and Robotics (BRIEFSCONTROL)

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

Keywords

About this book

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.

Authors and Affiliations

  • Dept. of Electrical Engineering and Comp, University of California, Berkeley, Berkeley, USA

    Murat Arcak

  • Department of Mechanical Engineering, University of California, Berkeley, Berkeley, USA

    Chris Meissen, Andrew Packard

About the authors

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.

Bibliographic Information

Publish with us