上一条： A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems
下一条： Synthesis of maximally permissive supervisors for partially observed discrete event systems
