Hierarchical Control for Cyber-Physical Systems and Applications to Traffic Management

Abstract: Control of cyber-physical systems is invariably organized in a hierarchical structure that consists of multiple layers of feedback; e.g, network, road link, and vehicle control layers in vehicle traffic management. Using traffic management as a running example, this talk will present an integrated approach to designing these layers, thereby enabling a rigorous framework to provide system-level guarantees for the whole control stack. An example of this approach is symbolic control, which generates supervisory control actions to fulfill complex requirements expressed in temporal logic. In traffic management, symbolic control enables us to depart from steady state signal timing plans, and to develop reactive signaling schemes by first expressing finite horizon goals, such as dissipating queues and avoiding saturation, in temporal logic. Moving up to the network layer we will next present a game theoretic analysis for routing, which takes into account the nonequilibrium dynamics resulting from the drivers' continual revisions of their routes. We will introduce tools to deal with such dynamics and illustrate them on mixed-autonomy traffic.

 

Bio: Murat Arcak is a Professor at UC Berkeley in Electrical Engineering and Computer Sciences. He received his B.S degree from Bogazici University (1996), and M.S. and Ph.D. degrees from the University of California, Santa Barbara (1997, 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 fellow of IEEE and the International Federation of Automatic Control (IFAC).