上一条： Supervisor synthesis for mealy automata with output functions: A model transformation approach
下一条： A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems
