Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach

Xiang Yin. Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach. IEEE Trans. Automat. Contr., 62(5):2576-2581, 2017. [doi]

Abstract

Abstract is missing.