"Traffic Networks as Mixed Monotone Systems: Dynamical Properties and Finite State Abstraction"

Sam Coogan, ECE, UC Berkeley

February 23rd (Monday), 10:00am
Harold Frank Hall (HFH), Room 4164

Control of transportation networks remains a challenging problem despite recent advances in the engineering of cyber-physical systems. A common feature of these systems is the propagation of nonlinear dynamics over interconnected network components. As a result, these systems exhibit complex global behavior such as large-scale congestion in traffic flow networks. The ongoing advancements in automated vehicles and infrastructure operations will further influence traffic flow dynamics and alter the global network behavior. Motivated by these challenges, this talk will focus on a class of analysis and control synthesis techniques for transportation networks.

First, intrinsic properties of traffic flow dynamics will be exploited to derive a new structural property for transportation networks. This “mixed monotonicity” property is viewed as an extension of the classical notion of monotonicity in dynamical systems. Second, it will be shown that mixed monotonicity enables efficient finite state abstraction of traffic flow dynamics, which allows for correct-by-construction synthesis of control strategies. Third, an approach to analyze the dynamical behavior of large-scale transportation networks will be presented. This approach relies on the embedding of mixed monotone dynamics into a higher dimensional system. Finally, future directions for the engineering of cyber-physical systems in transportation networks will be discussed.

About Sam Coogan:

photo of sam coogan Sam Coogan is a Ph.D. candidate in Electrical Engineering and Computer Sciences at the University of California, Berkeley. He received his B.S. in Electrical Engineering from Georgia Tech in 2010 and his M.S. in Electrical Engineering from UC Berkeley in 2012. His research develops techniques for verification and synthesis of networked cyber-physical systems by drawing on tools from control theory, nonlinear and hybrid systems theory, and formal methods. He is particularly interested in applying these techniques for the control and design of transportation systems. He received an NSF Graduate Research Fellowship in 2010 and the Leon O. Chua Award for outstanding achievement in nonlinear science from UC Berkeley in 2014.

Hosted by: Professor Andrew Teel