Reliable decentralized supervisory control of discrete event systems with marked language specifications.

Shigemasa Takai, Toshimitsu Ushio

Browse the full SMC paper archive.