Control of a City Road Network: Distributed Exact Verification of Traffic Safety

DOI10.1109/TAC.2017.2676464zbMath1390.93566MaRDI QIDQ4566844

Gabriel Rodrigues de Campos, Fabio Della Rossa, Alessandro Colombo

Publication date: 27 June 2018

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Discrete event control/observation systems (93C65) Traffic problems in operations research (90B20) Agent technology and artificial intelligence (68T42)

This page was built for publication: Control of a City Road Network: Distributed Exact Verification of Traffic Safety