Award Received: IEEE Fellow Date Awarded: 2018 Karen Rudie Queen's University Canada Email Citation: for contributions to the supervisory control theory of discrete event systems