14 citations · 56 across the 22 of their papers we have counts for
3 papers · 1 filter
Throughput Optimal Distributed Traffic Signal Control
Tichakorn Wongpiromsarn, Tawit Uthaicharoenpong, Emilio Frazzoli +2
We propose a distributed algorithm for controlling traffic signals, allowing constraints such as periodic switching sequences of phases and minimum and maximum green time to be inc…
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems
Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew Lamperski
We consider temporal logic verification of (possibly nonlinear) dynamical systems evolving over continuous state spaces. Our approach combines automata-based verification and the u…
Back-pressure traffic signal control with unknown routing rates
Jean Gregoire, Emilio Frazzoli, Arnaud de La Fortelle +1
The control of a network of signalized intersections is considered. Previous works proposed a feedback control belonging to the family of the so-called back-pressure controls that…