Synthesis of Over-Approximating Inference-based Decentralized Supervisors for Discrete Event Systems.

Shigemasa Takai, Ratnesh Kumar

Browse the full ACC paper archive.