Traffic control management strategies have been largely focused on improving vehicular traffic flows on highways and freeways but arterials have not been used properly and pedestrians are mostly ignored. New urban arterial designs encourage modal shifts which gives further impetus to devise novel traffic control strategies to more quickly respond to changing conditions and salient events, while balancing safety and efficiency for all users.
This project is developing a formal methods approach to meet temporal logic specifications in traffic control. Formal methods offer efficient techniques for proving the correct operation of systems, such as computer programs and digital circuits, and for designing systems that are correct by construction. This project is bringing these powerful techniques to bear on traffic networks.
The goal of this project is to create a scalable and robust cyber-physical system (CPS)
framework for the observation and control of the functional interdependencies between bridge
structures (stationary physical systems) and trucks (mobile physical agents). A CPS framework
(Figure 1) is being developed to monitor and control trucks within a single highway corridor to
manage the imposed loads and the consumption of structural life by trucks on highway
infrastructure including bridges. The framework begins with the installation of wireless sensing
