上一条： An improved approach for verifying delayed detectability of discrete-event systems
下一条： Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem
