Recent Publications

Journal Papers

Su, R. and Wonham, W.M., "Supervisor Reduction for Discrete-Event Systems", Discrete Event Dynamic Systems 14 (1), January 2004, pp. 31-53.
Wong, K.C. and Wonham, W.M., "On the Computation of Observers in Discrete-Event Systems", Discrete Event Dynamic Systems 14 (1), January 2004, pp. 55-107.
Gohari, P. and Wonham, W.M., "Reduced Supervisors for Timed Discrete-Event Systems", IEEE Trans. on Automatic Control 48 (7), July 2003, pp. 1187-1193.
Hashtrudi Zad, S., Kwong, R.H. and Wonham, W.M., "Fault Diagnosis in Discrete-Event Systems: Framework and Model Reduction", IEEE Trans. on Automatic Control 48 (7), July 2003, pp. 1199-1212.
Chen, P.C.Y. and Wonham, W.M., "Real-Time Supervisory Control of a Processor for Non-Preemptive Execution of Periodic Tasks", Real Time Systems J. 23 (3), November 2002, pp.183-208.
Chen, C.Y.P. and Wonham, W.M., "Stable Supervisory Control of Flexible Manufacturing Systems with Fixed Supply and Demand Rates", International J. of Production Research: Special Issue on Modeling, Specification and Analysis of Manufacturing Systems 39 (2), January 2001, 347-368.

Gohari-M., P. and Wonham, W.M., "On the Complexity of Supervisory Control Design in the RW Framework", IEEE Trans. on Systems, Man and Cybernetics; Part B: Cybernetics. (Special Issue on Discrete Systems and Control) 30 (5), October 2000, 643-652.
Hashtrudi Zad, S., Kwong, R.H., and Wonham, W.M., "Supremum Operators and Computation of Supremal Elements in System Theory", SIAM J. Control & Optimization 37 (3), March 1999, 695-709.

Wong, K.C. and Wonham, W.M., "Modular Control and Coordination of Discrete Event Systems", Discrete Event Dynamic Systems 8 (3), October 1998, 247-297.

Wong, K.C. and Wonham, W.M., "Hierarchical Control of Discrete-Event Systems", Discrete Event Dynamic Systems: Theory and Applications 6 (3), July 1996, 241-273.

Wong, K.C. and Wonham, W.M., "Hierarchical Control of Timed Discrete-Event Systems", Discrete Event Dynamic Systems: Theory and Applications 6 (3), July 1996, 275-306.

Lawford, M. and Wonham, W.M., "Equivalence Preserving Transformations for Timed Transition Models", IEEE Trans. on Automatic Control 40 (7), July 1995, 1167-1179.

Li, Y. and Wonham, W.M., "Concurrent Vector Discrete-event Systems", IEEE Trans. on Automatic Control 40 (4), April 1995, 628-638.

Lin, F. and Wonham, W.M., "Supervisory Control of Timed Discrete Event Systems Under Partial Observation", IEEE Trans. on Automatic Control 40 (3), March 1995, 558-562.

Thistle, J.G. and Wonham, W.M., "Control of Infinite Behavior of Finite Automata", SIAM J. on Control and Optimization 32 (4), July 1994, 1075-1097.

Thistle, J.G. and Wonham. W.M., "Supervision of Infinite Behavior of Discrete-event Systems", SIAM J. on Control and Optimization 32 (4), July 1994, 1098-1113.

Conference Papers

Wonham, W.M., "Supervisory Control Theory: Models and Methods", Proc. ATPN - Workshop on Discrete Event Systems Control, 24th International Conference on Application Theory of Petri Nets (ATPN 2003), Eindhoven, The Netherlands, pp.1-14, June 2003. Paper in Powerpoint.
Ma, C. and Wonham, W.M., "Control of State Tree Structures", Proc. 11th Mediterranean Conference on Control and Automation, Rhodes (Greece), paper T4-005 (6pp.), June 2003. {cma0619.ps}
Abdelwahed, S. and Wonham, W.M., "Blocking Detection in Discrete-Event Systems", Proc. 2003 American Control Conference, pp.1673-1678, June 2003.
Minhas, R. and Wonham, W.M., "Online Supervision of Discrete Event Systems", Proc. 2003 American Control Conference, pp.1685-1690, June 2003.
Su, R. and Wonham, W.M., "Probabilistic Reasoning in Distributed Diagnosis for Qualitative Systems", Proc. 2002 IEEE Conference on Decision and Control (CDC'02), December 10-13, 2002.
Su, R., Wonham, W.M., Kurien, J., and Koutsoukos, X., "Distributed Diagnosis for Qualitative Systems", 6th International Workshop on Discrete Event Systems (WODES'02), Zaragoza, Spain, pp. 169-174, October 2-4, 2002.
Su, R. and Wonham, W.M., "Supervisor Reduction for Discrete Event Systems", 2001 Conference on Information Sciences and Systems, The Johns Hopkins University, pp. 786-791, March 21-23, 2001.
Zhang, Z.H. and Wonham, W.M., "STCT: An Efficient Algorithm for Supervisory Control Design", Symposium on Supervisory Control of Discrete Event Systems (SCODES2001), Paris, 12 pp., July 2001.
Leduc, R.J., Brandin, B.A., and Wonham, W.M., "Hierarchical Interface-Based Non-Blocking Verification", Canadian Conference on Electrical and Computer Engineering (CCECE 2000), Halifax, 1-6, May 7-10, 2000.
Su, R. and Wonham, W.M., "Decentralized Fault Diagnosis for Discrete-event Systems", 2000 Conference on Information Sciences and Systems, Princeton University, 6 pp., March 15-17, 2000.
Wong, K.C. and Wonham, W.M., "On the Computation of Observers in Discrete-Event Systems", 2000 Conference on Information Sciences and Systems, Princeton University, 6 pp., March 15-17, 2000.
Wonham, W.M., "Supervisory Control of Discrete-Event Systems: An Introduction", Proc. IEEE Intnl. Conf. on Industrial Technology 2000 (ICIT2000), Goa, India, 474-479, January 19-22, 2000.
Abdelwahed, S. and Wonham, W.M., "Interacting Discrete Event Systems", Proc. Thirty-Seventh Annual Allerton Conference on Communication, Control and Computing, Allerton, IL, 85-92, September 1999.
Minhas, R. and Wonham, W.M., "Modelling of Timed Discrete Event Systems", Proc. Thirty-Seventh Annual Allerton Conference on Communication, Control and Computing, Allerton, IL, 75-84, September 1999.
Hashtrudi Zad, S., Kwong, R.H., and Wonham, W.M., "Fault Diagnosis in Timed Discrete-Event Systems", Proc. 1999 IEEE Conference on Decision and Control (CDC '99), 1756-1761.
Chen, C.Y.P. and Wonham, W.M., "Real-Time Supervisory Control of A Processor for Non-Preemptive Execution of Periodic Tasks", Proc. IFAC-99 World Congress, Beijing, China, vol. J, 13-18, July 1999.
Chen, C.Y.P. and Wonham, W.M., "Non-Preemptive Scheduling of Periodic Tasks: A Discrete-Event Control Approach", Proc. Fifth International Conference on Control, Automation, Robotics and Vision, Nanyang Technological University, Singapore, 1674-1678, December 8-11, 1998.
Hashtrudi Zad, S., Kwong, R.H., and Wonham, W.M., "Fault Diagnosis in Finite-State Automata and Timed Discrete-Event Systems", In: D. Miller, L. Qiu (Eds.), Topics in Control and Its Applications, 81-105, Springer-Verlag 1999.
Hashtrudi Zad, S., Kwong, R.H., and Wonham, W.M., "Fault Diagnosis in Discrete-Event Systems: Framework and Model Reduction", Proc. 1998 IEEE Conference on Decision and Control (CDC '98), 3769-3774, December 1998.
Wonham, W.M. and Gohari-M., P., "A Linguistic Framework for Controlled Hierarchical DES", International Workshop on Discrete Event Systems (WODES '98), IEE, London, 207-212, August 1998.
Hashtrudi Zad, S., Kwong, R.H., and Wonham, W.M., "Supremum Operators and Computation of Supremal Elements in System Theory", Proc. IEEE Thirty-Sixth Conference on Decision and Control (CDC '97), December 1997.

Wong, K.C. and Wonham, W.M., "Modular Control and Coordination of Discrete-Event Systems", 4th IEEE Mediterranean Symposium on Control and Automation, Chania, Crete, Greece, June 10-14, 1996 [5 pp., to appear in conference proceedings; presented by K.C. Wong].

Wong, K.C. and Wonham, W.M., "Modular Control and Coordination of a Transfer Line: A Tutorial Example", Workshop on Theoretical Problems in Manufacturing Systems Design and Control, Lisbon, Portugal, June 20, 1996 [preprint, 10 pp.; presented by K.C. Wong].

Chen, S.L. and Wonham, W.M., "Existence and Design of Supervisors for Vector Discrete-Event Systems", Proc. 1995 Canadian Conference on Electrical and Computer Engineering, Montreal, 805-808, September 1995 [presented by S.L. Chen].

Leduc, R.J. and Wonham, W.M., "Discrete Event Systems Modeling and Control of a Manufacturing Testbed", Proc. 1995 Canadian Conference on Electrical and Computer Engineering, Montreal, 793-796, September 1995 [presented by R.J. Leduc].

Chen, S.L. and Wonham, W.M., "Supervisory Control of Finite Automata Under Dynamic Predicate Specifications", Proc. Thirty-Third Annual Allerton Conference on Communication, Control and Computing, University of Illinois, 501-509, October 1995 [presented by S.L. Chen].

Leduc, R.J. and Wonham, W.M., "PLC Implementation of a DES Supervisor for a Manufacturing Testbed", Proc. Thirty-Third Annual Allerton Conference on Communication, Control and Computing, University of Illinois, 519-528, October 1995 [presented by R.J. Leduc].

Lawford, M., Wonham, W.M., and Ostroff, J.S., "State-Event Observers for Labeled Transition Systems", 1994 Conference on Decision and Control, 892-897, December 1994.

Theses

Saadatpoor, A., "State-Based Control of Timed Discrete-Event Systems Using Binary Decision Diagrams", M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, June 2004.
Yi, S., "Hierarchical Supervision with Nonblocking", M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, June 2004.
Su, R., "Distributed Diagnosis for Discrete-Event Systems", Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, June 2004.
Ma, C., "Nonblocking Supervisory Control of State Tree Structures", Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, March 2004.
Ravichandran, V.J., "Distributed Diagnosis for State-Based Discrete-Event Systems", M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, September 2002.
Gohari-M., P., "Fair Supervisory Control of Discrete Event Systems", Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, September 2002.
Minhas, R.S., "Complexity Reduction in Discrete Event Systems" | PDF | | PS | , Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, September 2002.
Leduc, R.J., "Hierarchical Interface-based Supervisory Control", Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, April 2002. [Ryan Leduc's Homepage]
Abdelwahed, S., "Interacting Discrete-Event Systems: Modeling, Verification, and Supervisory Control", Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, March 2002.
Zhang, Z.H., "Smart TCT: An Efficient Algorithm for Supervisory Control Design", M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, April 2001.
Wang, Y., "Supervisory Control of Boolean Discrete-Event Systems", M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, June 2000. [Yuwei Wang's Research Interests page]
Su, R., "Decentralized Fault Diagnosis for Discrete-Event Systems", M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, April 2000.
Pu, K.Q., "Modeling and Control of Discrete-Event Systems with Hierarchical Abstraction", M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, March 2000. [Ken Pu's Homepage]

Hashtrudi Zad, S., "Fault Diagnosis in Discrete-Event and Hybrid Systems", Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, August 1999. [Shahin Hashtrudi Zad's Homepage]
Ma, C., "A Computational Approach to Top-Down Hierarchical Supervisory Control of DES", M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, April 1999.
Gohari-M., P., "A Linguistic Framework for Controlled Hierarchical DES", M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, April 1998. [P. Gohari-M.'s Home Page]
Ho, T.-J., "The Control of Real-Time Discrete-Event Systems Subject to Predicate-Based Constraints", Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, August 1997.
Guan, Y.-C., "Implementation of Hierarchical Observer Theory", M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, April 1997.
Zhang, X.-Q., "Control of Boolean Discrete-Event Systems", M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, April 1997.
Lawford, M.S., "Model Reduction of Discrete Real-Time Systems", Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, January 1997.
Chen, S.-L., "Control of Discrete-Event Systems of Vector and Mixed Structural Type", Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, September 1996.
Chun, T.Y.L., "Diagnostic Supervisory Control: A DES Approach", M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, August 1996.
Zhang, Y.-Q., "Software for State-Event Observation Theory and its Application to Supervisory Control", M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, January 1996.
Leduc, R.J., "PLC Implementation of a DES Supervisor for a Manufacturing Testbed: An Implementation Perspective", M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, January 1996.

Click here to return to W.M. Wonham's Homepage.