Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications

Shigemasa Takai. Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications. IEEE Trans. Automat. Contr., 66(7):3197-3204, 2021. [doi]

Abstract

Abstract is missing.