A compact and uniform approach for synthesizing state-based property-enforcing supervisors for discrete-event systems
-
Published:2021
Issue:
Volume:
Page:1-1
-
ISSN:0018-9286
-
Container-title:IEEE Transactions on Automatic Control
-
language:
-
Short-container-title:IEEE Trans. Automat. Contr.
Author:
Meira-Goes Romulo,Weitze Jack,Lafortune Stephane
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Science Applications,Control and Systems Engineering