W.M. Wonham

An algorithm to achieve local consistency in distributed systems

R. Su, W.M. Wonham, 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

Computationally Efficient Supervisor Design: Control Flow Decomposition

Lei Feng, W.M. Wonham, 2006, 2006 8th International Workshop on Discrete Event Systems.

Fault diagnosis in timed discrete-event systems

W.M. Wonham, S. Hashtrudi Zad, R.H. Kwong, 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

Fault diagnosis based on timed automata: Diagnoser verification

Yangzhou Chen, W.M. Wonham, 2006, The Proceedings of the Multiconference on "Computational Engineering in Systems Applications".

A Symbolic Approach to the Supervision of State Tree Structures

W.M. Wonham, Chuan Ma, 2005, Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005..

TCT: A Computation Tool for Supervisory Control Synthesis

Lei Feng, W.M. Wonham, W. Wonham, 2006, 2006 8th International Workshop on Discrete Event Systems.

STSLib and its application to two benchmarks

W.M. Wonham, Chuan Ma, 2008, 2008 9th International Workshop on Discrete Event Systems.

Computationally efficient supervisor design: abstraction and modularity

Lei Feng, W.M. Wonham, W. Wonham, 2006, 2006 8th International Workshop on Discrete Event Systems.