上一条: Synthesis of Maximally-Permissive Non-blocking Supervisors for the Lower-Bound Containment Problem
下一条: Trajectory detectability of discrete-event systems