Supervisory Control of Fair Discrete-Event Systems: A Canonical Temporal Logic Foundation

Kiam Tian Seow. Supervisory Control of Fair Discrete-Event Systems: A Canonical Temporal Logic Foundation. IEEE Trans. Automat. Contr., 66(11):5269-5282, 2021. [doi]

Abstract

Abstract is missing.