UTRC CDS Lecture: Murat Arcak, "Compositional Control Synthesis and Verification for Networks"
Friday, October 9, 2015
1146 A V Williams Bldg
301 405 6576
UTRC Control and Dynamical Systems Invited Lecture
Compositional Control Synthesis and Verification for Networks
Electrical Engineering and Computer Sciences
University of California, Berkeley
Control synthesis and performance verification techniques are severely limited in their scalability to large networks of interconnected components. We address this problem with a compositional approach that derives network-level guarantees from structural properties of the components and their interconnection. In the first part of the talk we will present a large-scale optimization technique that verifies a network performance criterion from dissipativity properties of the components. In the second part we will pursue control synthesis and verification using formal methods which rely on finite state abstractions of dynamical models. We will show that the abstraction task is greatly simplified by exploiting an interconnection property that we term “mixed monotonicity.” We will illustrate the results with examples from multi-agent systems and traffic networks. In doing so, we will expose useful structural properties inherent in these networks.
Murat Arcak is a professor at U.C. Berkeley in the Electrical Engineering and Computer Sciences Department. He received the B.S. degree 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). His research is in dynamical systems and control theory with applications to synthetic biology, multi-agent systems, and transportation. 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.