W
W. M. Wonham
Researcher at University of Toronto
Publications - 230
Citations - 28034
W. M. Wonham is an academic researcher from University of Toronto. The author has contributed to research in topics: Supervisory control & Supervisor. The author has an hindex of 66, co-authored 230 publications receiving 26840 citations. Previous affiliations of W. M. Wonham include Purdue University & Electronics Research Center.
Papers
More filters
Proceedings ArticleDOI
Computationally efficient supervisor design: abstraction and modularity
Lei Feng,W. M. Wonham +1 more
TL;DR: A flexible modular and hierarchical structure is presented to reduce computational effort in designing optimal nonblocking supervisors for discrete-event systems (DES) and demonstrates the computational advantage of this approach.
Journal ArticleDOI
Supervisory control of discrete-event systems: A brief history
W. M. Wonham,Kai Cai,Karen Rudie +2 more
TL;DR: Overall, the trend has been from centralized or ‘monolithic’ control to more structured architectures, and from ‘naive’ to symbolic computation.
Journal ArticleDOI
On the Computation of Natural Observers in Discrete-Event Systems
Lei Feng,W. M. Wonham +1 more
TL;DR: This paper presents an algorithm to verify the observer property of a natural projection, and proposes a polynomial-time algorithm that always finds an acceptable extension.
Proceedings ArticleDOI
Supervisory control of probabilistic discrete event systems
Mark Lawford,W. M. Wonham +1 more
TL;DR: In this paper, the Supervisory Control Problem (SCP) for discrete event systems (DES) is generalized to a class of probabilistic discrete event system (PDES) and necessary and sufficient conditions for the existence of a solution for a nonterminating PDES are developed.
Journal ArticleDOI
Multitasking Supervisory Control of Discrete-Event Systems
TL;DR: The colored marking generator (CMG), a special type of Moore automaton, is introduced as a model that distinguishes classes of tasks in DES, allowing the synthesis of minimally restrictive supervisors, which respect the safety specifications and ensure coreachability of multiple control objectives.