Modular Composition of Synchronous Programs: Applications to Traffic Signal Control
- Author(s): Zennaro, Marco
- Sengupta, Raja
- et al.
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.