Parameterized supervisor synthesis for a modular class of discrete event systems.

Belhassen Zouari, Kamel Barkaoui

Browse the full SMC paper archive.