Clark School Home UMD

ISR Events Calendar

Event Information

UTRC CDS Lecture: Murat Arcak, "Compositional Control Synthesis and Verification for Networks"
Friday, October 9, 2015
2:00 p.m.
1146 A V Williams Bldg
For More Information:
Regina King
301 405 6576
rking12@umd.edu

UTRC Control and Dynamical Systems Invited Lecture

Compositional Control Synthesis and Verification for Networks

Murat Arcak
Electrical Engineering and Computer Sciences
University of California, Berkeley

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

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

This Event is For: Graduate • Undergraduate • Faculty • Post-Docs • Alumni

Browse Events By Calendar

Calendar Home

« Previous Month    Next Month »

September 2017
SU M TU W TH F SA
1 2 w
3 4 5 6 7 8 9 w
10 11 12 13 14 15 16 w
17 18 19 20 21 22 23 w
24 25 26 27 28 29 30 w

Search Events


ISR lecture and seminar series

Distinguished Lecturer Series
Intelligent Automation Inc. Colloquia Series
Microsystems Seminar Series
Lockheed Martin Robotics Seminar Series
Advanced Networks Colloquia Series
Model-Based Systems Engineering Colloquia Series

Submit an event to the ISR calendar Click here

News links

Current news
Search news
News archives