Modular Composition of Synchronous Programs: Applications to Traffic Signal Control

Abstract: 

This paper describes a modular compilation scheme for distributed synchronous programming. The approach is first described mathematically and then implemented as a library to distribute Simulink (59). Application of the scheme is illustrated by developing a control system to coordinate traffic signals.

Author: 
Zennaro, Marco
Sengupta, Raja
Publication date: 
June 1, 2006
Publication type: 
Journal Article
Citation: 
Zennaro, M., & Sengupta, R. (2006). Modular Composition of Synchronous Programs: Applications to Traffic Signal Control. https://escholarship.org/uc/item/84n1q2h2