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]
No references recorded for this publication.
No citations of this publication recorded.