Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications

DOI10.1109/TAC.2021.3093618MaRDI QIDQ5092184

Roberto Cordone, Francesco Basile, Luigi Piroddi

Publication date: 28 July 2022

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

Mathematics Subject Classification ID

93-XX: Systems theory; control