Formal Control of Traffic Systems via Network Decomposition

Kemal Cagri Bardakci, Ebru Aydin Gol. Formal Control of Traffic Systems via Network Decomposition. In 2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018. pages 756-761, IEEE, 2018. [doi]

Abstract

Abstract is missing.