上一条： A general approach for optimizing dynamic sensor activation for discrete event systems
下一条： Synthesis of Maximally-Permissive Non-blocking Supervisors for the Lower-Bound Containment Problem
