Networks of Dissipative Systems

Compositional Certification of Stability, Performance, and Safety

  • Murat Arcak
  • Chris Meissen
  • Andrew Packard

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

Also part of the SpringerBriefs in Control, Automation and Robotics book sub series (BRIEFSCONTROL)

Table of contents

  1. Front Matter
    Pages i-x
  2. Murat Arcak, Chris Meissen, Andrew Packard
    Pages 1-11
  3. Murat Arcak, Chris Meissen, Andrew Packard
    Pages 13-21
  4. Murat Arcak, Chris Meissen, Andrew Packard
    Pages 23-28
  5. Murat Arcak, Chris Meissen, Andrew Packard
    Pages 29-39
  6. Murat Arcak, Chris Meissen, Andrew Packard
    Pages 41-48
  7. Murat Arcak, Chris Meissen, Andrew Packard
    Pages 49-53
  8. Murat Arcak, Chris Meissen, Andrew Packard
    Pages 55-62
  9. Murat Arcak, Chris Meissen, Andrew Packard
    Pages 63-72
  10. Murat Arcak, Chris Meissen, Andrew Packard
    Pages 73-81
  11. Back Matter
    Pages 83-102

About this book

Introduction

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.

Keywords

Interconnected Dynamical Systems Dissipativity Theory Stability and Performance Semidefinite Programming Distributed Optimization

Authors and affiliations

  • Murat Arcak
    • 1
  • Chris Meissen
    • 2
  • Andrew Packard
    • 3
  1. 1.Dept. of Electrical Engineering and CompUniversity of California, BerkeleyBerkeleyUSA
  2. 2.Department of Mechanical EngineeringUniversity of California, BerkeleyBerkeleyUSA
  3. 3.Department of Mechanical EngineeringUniversity of California, BerkeleyBerkeleyUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-29928-0
  • Copyright Information The Author(s) 2016
  • Publisher Name Springer, Cham
  • eBook Packages Engineering
  • Print ISBN 978-3-319-29927-3
  • Online ISBN 978-3-319-29928-0
  • Series Print ISSN 2191-8112
  • Series Online ISSN 2191-8120
  • About this book
Industry Sectors
Automotive
Chemical Manufacturing
Electronics
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering