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

Control of vehicle traffic management cyber-physical systems is invariably organized in a hierarchical structure that consists of multiple layers of feedback such as network, road link, and vehicle control. 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.
Be the first to comment