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

DOI10.1109/TAC.2020.3037156OpenAlexW3102416914MaRDI QIDQ5033817

Kiam Tian Seow

Publication date: 24 February 2022

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2020.3037156

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items (1)

On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems

This page was built for publication: Supervisory Control of Fair Discrete-Event Systems: A Canonical Temporal Logic Foundation