Skip to main content
Open Access Publications from the University of California

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.

Main Content
Current View