Networks of Dissipative Systems: Compositional Certification of Stability, Performance, and Safety

Abstract:

Standard computational tools for control synthesis and verification do not scale well to large-scale, networked systems in emerging applications.  These lectures present a compositional methodology suitable when the subsystems are amenable to analytical and computational methods but the interconnection, taken as a whole, is beyond the reach of these methods. The main idea is to break up the task of certifying stability, performance, or safety for the network into subproblems of manageable size using dissipativity properties of the subsystems. Along the way we will introduce the notions of equilibrium-independent dissipativity as well as dissipativity with dynamic supply rates, and point to computational tools for verifying these properties.  We will illustrate the compositional approach with case studies in multi-agent systems and biological networks.

Short bio:

Murat Arcak is a professor at U.C. Berkeley in the Electrical Engineering and Computer Sciences Department.  He received the B.S. degree in Electrical Engineering from the Bogazici University, Istanbul, Turkey (1996) and the M.S. and Ph.D. degrees from the University of California, Santa Barbara (1997 and 2000). He received a CAREER Award from the National Science Foundation in 2003, 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.