Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications
From MaRDI portal
Publication:5092184
DOI10.1109/TAC.2021.3093618MaRDI QIDQ5092184
Francesco Basile, Roberto Cordone, Luigi Piroddi
Publication date: 28 July 2022
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
93-XX: Systems theory; control