Command-Based Supervisory Control of Discrete Event Systems
Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama · Transactions of the Society of Instrument and Control Engineers · 1996
In this paper, we derive a necessary and sufficient condition under which there exists a command-based supervisor for a given closed language under partial observations. The result generalizes the one obtained in the Ramadge-Wonham framework.