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
Journal ArticleDOI
Supervisor localization of discrete-event systems based on State Tree Structures
Kai Cai,W. M. Wonham +1 more
TL;DR: A counterpart supervisor localization theory in the framework of State Tree Structures is established, proving that the collective localized control behavior is identical to the monolithic optimal and nonblocking controlled behavior.
Proceedings ArticleDOI
Blocking detection in discrete event systems
Sherif Abdelwahed,W. M. Wonham +1 more
TL;DR: In the proposed approach, potential blocking states are first identified by examining shared transitions in the system components and then tested for their reachability.
Proceedings ArticleDOI
Hierarchical interface-based non-blocking verification
TL;DR: A hierarchical method is presented that breaks up a plant into two subsystems, and restricts the interaction of the subsystems by means of an interface, and defines a set of interface consistency properties that can be used to verify if a discrete-event system (DES) is non-blocking.
Proceedings ArticleDOI
Discrete-event system modeling and supervisory control for under-load tap-changing transformers
TL;DR: In this article, the synthesis of supervisory controller of ULTC as a discrete-event system is discussed, where the specifications are controllable and the closed loop control system is non-blocking.