The Verification and Control of Interacting Similar Discrete-Event Systems

@article{Rohloff2006TheVA,
  title={The Verification and Control of Interacting Similar Discrete-Event Systems},
  author={Kurt Rohloff and St{\'e}phane Lafortune},
  journal={SIAM J. Control and Optimization},
  year={2006},
  volume={45},
  pages={634-667}
}
This paper explore issues related to the control and verification of similar module systems in the discrete-event systems framework. Similar module systems are distributed systems comprised of subsystem modules that exhibit isomorphic local behavior coordinated on global event occurrences. When given a global model of these systems, it is shown how to decompose the global model into the component subsystems in polynomial time. It is also shown how to perform various verification tasks for these… CONTINUE READING