*Last Update: 2016.05.09*

**BOOKS**

- [B7] Kai Cai, W. Murray Wonham. Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems. Lecture Notes in Control and Information Sciences (LNCIS) 459, Springer 2016.
- [B6] C. Ma, W.M. Wonham. Nonblocking Supervisory Control of State Tree Structures. Lecture Notes in Control and Information Sciences (LNCIS) 317, Springer 2005.
- [B5] W.M. Wonham. Linear Multivariable Control: A Geometric Approach. Third ed. (revised), Springer-Verlag, New York, 1985.
- [B4] W.M. Wonham. Linear Multivariable Control: A Geometric Approach. [In Chinese: Translation with revisions of LMC, 2nd ed., Springer-Verlag, New York, 1979]. Science Press, Beijing, 1984.
- [B3] W.M. Wonham. Linear Multivariable Control Systems: A Geometric Approach. [In Russian: Translation of LMC, 2nd ed., Springer-Verlag, New York, 1979]. Nauka, Moscow, 1980.
- [B2] W.M. Wonham. Linear Multivariable Control: A Geometric Approach. 2nd ed., Springer-Verlag, New York, 1979.
- [B1] W.M. Wonham. Linear Multivariable Control: A Geometric Approach. Lecture Notes in Economics and Mathematical Systems 101 (344 pp), Springer-Verlag, New York, 1974.

**ENCYCLOPEDIA ARTICLE**

- [EA1] W.M. Wonham. Supervisory Control of Discrete-Event Systems. In J. Baillieul, T. Samad (Eds.), Encyclopedia of Systems and Control, Springer 2015. Available at www.springerreference.com, under Engineering, Encyclopedia of Systems and Control.

**PUBLICATIONS IN PEER-REVIEWED JOURNALS**

- [J112] K. Cai, R.-Y. Zhang, W.M. Wonham. Relative observability of discrete-event systems and its supremal sublanguages. IEEE Trans. on Automatic Control 60 (3) March 2015, pp. 659-670.
- [J111] R.-Y. Zhang, K. Cai, Y. Gan, W.M. Wonham. Distributed supervisory control of discrete-event systems with communication delay. Discrete Event Dynamic Systems, Springer. Pub. online 11 Jan 2015, DOI 10.1007/s10626-014-0208-4.
- [J110] K. Cai, W.M. Wonham. New results on supervisor localization, with case studies. Discrete Event Dynamic Systems 25 (1-2), 2015, pp. 203-226.
- [J109] K. Cai, W.M. Wonham. Supervisor localization of discrete-event systems based on state tree structures. IEEE Trans. on Automatic Control 59 (5) May 2014, pp. 1329-1335.
- [J108] R.-Y. Zhang, K. Cai, Y. Gan, Z. Wang, W.M. Wonham. Supervision localization of timed discrete-event systems. Automatica 49 (9) 2013, pp. 2786-2794.
- [J107] W. Chao, Y. Gan, Z. Wang, W.M. Wonham. Modular supervisory control and coordination of state tree structures. International J. of Control 2012, iFirst, pp. 1-13. [Available online September 2012].
- [J106] K. Cai, W.M. Wonham. Supervisor localization for large discrete-event systems: case study, production cell. International J. of Advanced Manufacturing Technology 50 (9-12) October 2010, pp. 1189-1202.
- [J105] K. Cai, W.M. Wonham. Supervisor localization: a top-down approach to distributed control of discrete-event systems. IEEE Trans. Automatic Control 55 (3) March 2010, pp. 605-618.
- [J104] L. Feng, W.M. Wonham. On the computation of natural observers in discrete-event systems. Discrete Event Dynamic Systems 20 (1) March 2010, pp. 63-102.
- [J103] L. Feng, K. Cai, W.M. Wonham. A structural approach to the nonblocking supervisory control of discrete-event systems. International J. of Advanced Manufacturing Technology 41(11) 2009, pp. 1152-1167.9.
- [J102] A. Afzalian, A. Saadatpoor, W.M. Wonham. Systematic supervisory control solutions for under-load tap-changing transformers. Control Engineering Practice 16(9) September 2008, pp. 1035-1054.
- [J101] A. Nabavi, R. Iravani, A. Afzalian, W.M. Wonham. Discrete-event systems supervisory control for a dynamic flow controller. IEEE Trans. on Power Delivery 24 (1) January 2009, pp. 219-230.
- [J100] L. Feng, W.M. Wonham. Supervisory control architecture for discrete-event systems. IEEE Trans. on Automatic Control 53(6) July 2008, pp. 1449-1461.
- [J99] Y.-Z. Chen, W.M. Wonham. Supervisory control based on vector synchronous product of automata. Studies in Informatics and Control 16(1) March 2007, pp. 7-18.
- [J98] A. Saadatpoor, W.M. Wonham. State-based control of timed discrete-event systems using binary decision diagrams. Systems & Control Letters 56(1) January 2007, pp. 62-74.
- [J97] L. Feng, W.M. Wonham, P.S. Thiagarajan. Designing communicating transaction processes by supervisory control theory. Formal Methods in System Design 30(2) April 2007, pp. 117-141.
- [J96] C. Ma, W.M. Wonham. Nonblocking supervisory control of state tree structures. IEEE Trans. on Automatic Control 51 (5), May 2006, pp. 782-793.
- [J95] R. Su, W.M. Wonham. Hierarchical fault diagnosis for discrete-event systems under global consistency. Discrete Event Dynamic Systems 16 (1), January 2006, pp. 39-70.
- [J94] S.E. Bourdon, M. Lawford, W.M. Wonham. Robust nonblocking supervisory control of discrete-event systems. IEEE Trans. on Automatic Control 50 (12), December 2005, pp. 2015-2021.
- [J93] R. Su, W.M. Wonham. Global and local consistencies in distributed fault diagnosis for discrete-event systems. IEEE Trans. on Automatic Control 50 (12), December 2005, pp.1923-1935.
- [J92] P. Gohari, W.M. Wonham. Efficient implementation of fairness in discrete-event systems using queues. IEEE Trans. on Automatic Control 50 (11), November 2005, pp. 1845-1849.
- [J91] Max H. Queiroz, JosÃ© E. Cury, W.M. Wonham. Multitasking supervisory control of discrete-event systems. Discrete Event Dynamic Systems 15 (4), December 2005, pp. 375-395.
- [J90] R.J. Leduc, M. Lawford, W.M. Wonham. Hierarchical interface-based supervisory control, part II: parallel case. IEEE Trans. on Automatic Control 50 (9), September 2005, pp. 1336-1348.
- [J89] R.J. Leduc, B.A. Brandin, M. Lawford, W.M. Wonham. Hierarchical interface-based supervisory control, part I: serial case. IEEE Trans. on Automatic Control 50 (9), September 2005, pp. 1322-1335.10.
- [J88] M. Uzam, W.M. Wonham. A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets. International J. of Advanced Manufacturing Technology 28 (7-8), 2006, pp. 747-760.
- [J87] S. Hashtrudi Zad, M. Moosaei, W.M. Wonham. On computation of supremal controllable, normal sublanguages. Systems & Control Letters 54 (9), September 2005, pp. 871-876.
- [J86] S. Hashtrudi Zad, R.H. Kwong, W.M. Wonham. Fault diagnosis in discrete-event systems: incorporating timing information. IEEE Trans. on Automatic Control 50 (7), July 2005, pp.1010-1015.
- [J85] K.C. Wong, W.M. Wonham. On the computation of observers in discrete-event systems. Discrete Event Dynamic Systems 14 (1), January 2004, pp. 55-107.
- [J84] R. Su, W.M. Wonham. Supervisor reduction for discrete-event systems. Discrete Event Dynamic Systems 14 (1), January 2004, pp. 31-53.
- [J83] P. Gohari, W.M. Wonham. Reduced supervisors for timed discrete-event systems. IEEE Trans. on Automatic Control 48 (7), July 2003, pp. 1187-1198.
- [J82] S. Hashtrudi Zad, R.H. Kwong, W.M. Wonham. Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans. on Automatic Control 48 (7), July 2003, pp.1199-1212.
- [J81] P.C.Y. Chen, W.M.Wonham. 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.
- [J80] P.C.Y. Chen, W.M. Wonham. 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, pp.347-368.
- [J79] P. Gohari, W.M. Wonham. 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, pp. 643-652.
- [J78] S. Hashtrudi Zad, R.H. Kwong, W.M. Wonham. Supremum operators and computation of supremal elements in system theory. SIAM J. Control & Optimization 37 (3), March 1999, pp. 695-709.
- [J77] K.C. Wong, W.M. Wonham. Modular control and coordination of discrete event systems. Discrete Event Dynamic Systems 8 (3), October 1998, pp. 247-297.
- [J76] P. Kozak, W.M. Wonham. Design of transaction management protocols. IEEE Trans. on Automatic Control 41 (9), September 1996, pp. 1330-1335.
- [J75] K.C. Wong, W.M. Wonham. Hierarchical control of timed discrete-event systems. Discrete Event Dynamic Systems 6 (3), July 1996, pp. 274-306.11.
- [J74] K.C. Wong, W.M. Wonham. Hierarchical control of discrete-event systems. Discrete Event Dynamic Systems 6 (3), July 1996, pp. 241-273.
- [J73] P. Kozak, W.M. Wonham. Fully decentralized solutions of supervisory control problems. IEEE Trans. on Automatic Control 40 (12), December 1996, pp. 2094-2097.
- [J72] M. Lawford, W.M. Wonham. Equivalence preserving transformations for timed transition models. IEEE Trans. on Automatic Control 40 (7), July 1995, pp. 1167-1179.
- [J71] Y. Li, W.M. Wonham. Concurrent vector discrete-event systems. IEEE Trans. on Automatic Control 40 (4), April 1995, pp. 628-638.
- [J70] F. Lin, W.M. Wonham. Supervisory control of timed discrete event systems under partial observation. IEEE Trans. on Automatic Control 40 (3), March 1995, pp. 558-562.
- [J69] J.G. Thistle, W.M.Wonham. Supervision of infinite behavior of discrete-event systems. SIAM J. on Control and Optimization 32 (4), July 1994, pp. 1098-1113.
- [J68] J.G. Thistle, W.M. Wonham. Control of infinite behavior of finite automata. SIAM J. on Control and Optimization 32 (4), July 1994, pp. 1075-1097.
- [J67] Y. Li, W.M. Wonham. Control of vector discrete-event systems: II - controller synthesis. IEEE Trans. on Automatic Control 39 (3), March 1994, pp. 512-531.
- [J66] B.A. Brandin, W.M. Wonham. Supervisory control of timed discrete- event systems. IEEE Trans. on Automatic Control 39 (2), February 1994, pp. 329-342.
- [J65] Y. Li, W.M. Wonham. Control of vector discrete-event systems: I - The base model. IEEE Trans. on Automatic Control 38 (8), August 1993, pp. 1214-1227. Correction: IEEE Trans. on Automatic Control 39 (8), August 1994, p. 1771.
- [J64] K. Rudie, W.M. Wonham. Think globally, act locally: decentralized supervisory control. IEEE Trans. on Automatic Control 37 (11), November 1992, pp. 1692-1708.
- [J63] T. Ushio, Y. Li, W.M. Wonham. Concurrency and state feedback in discrete-event systems. IEEE Trans. on Automatic Control 37 (8), August 1992, pp. 1180-1184.
- [J62] F. Lin, W.M. Wonham. Verification of nonblocking in decentralized supervision. Control Theory and Advanced Technology 7 (1), 1991, pp. 19-29.
- [J61] K. Rudie, W.M. Wonham. The infimal prefix-closed and observable superlanguage of a givenlanguage. Systems & Control Letters 15, 1990, pp. 361-371.
- [J60] F. Lin, W.M. Wonham. Decentralized control and coordination of discrete-event systems with partial observation. IEEE Trans. on Automatic Control 35 (12), December 1990, pp.1330-1337.
- [J59] R.D. Brandt, V. Garg, R. Kumar, F. Lin, S.I. Marcus, W.M. Wonham. Formulas for calculating supremal controllable and normal sublanguages. Systems & Control Letters 15, 1990, pp. 111-117.12.
- [J58] H. Zhong, W.M. Wonham. On consistency of hierarchical supervision in discrete-event systems. IEEE Trans. on Automatic Control 35 (10), October 1990, pp. 1125-1134.
- [J57] J.S. Ostroff, W.M. Wonham. A framework for real-time discrete event control. IEEE Trans. on Automatic Control 35 (4), April 1990, pp. 386-397.
- [J56] P.J. Ramadge, W.M. Wonham. The control of discrete event systems. Proc. IEEE, Special Issue on Discrete Event Dynamic Systems, 77 (1), January 1989, pp. 81-98.
- [J55] Y. Li,W.M.Wonham. On supervisory control of real-time discrete-event systems. Information Sciences 46 (3), 1988, pp. 159-183.
- [J54] F. Lin, A. Vaz, W.M. Wonham. Supervisor specification and synthesis for discrete event systems. International J. Control 48 (1), 1988, pp. 321-332.
- [J53] F. Lin, W.M. Wonham. On observability of discrete-event systems. Information Sciences 44 (2), 1988, pp. 173-198.
- [J52] F. Lin, W.M. Wonham. Decentralized supervisory control of discrete-event systems. Information Sciences 44 (2), 1988, pp. 199-224.
- [J51] W.M. Wonham, P.J. Ramadge. Modular supervisory control of discrete event systems. Mathematics of Control, Signals & Systems 1 (1), 1988, pp. 13-30.
- [J50] P.J. Ramadge, W.M. Wonham. Modular feedback logic for discrete event systems. SIAM J. Control and Optimization, 25 (5), 1987, pp. 1202-1218.
- [J49] W.M.Wonham, P.J. Ramadge. On the supremal controllable sublanguage of a given language. SIAM J. Control and Optimization 25 (3), 1987, pp. 637-659.
- [J48] W.M. Wonham. Some remarks on control and computer science. Control Systems Magazine 7 (2), 1987, pp. 9-10.
- [J47] P.J. Ramadge, W.M. Wonham. Supervisory control of a class of discrete event processes. SIAM J. Control and Optimization 25 (1), 1987, pp. 206-230.
- [J46] J.G. Thistle, W.M. Wonham. Control problems in a temporal logic framework. Int. J. Control 44 (4), 1986, pp. 943-976.
- [J45] A.F. Vaz, W.M. Wonham. On supervisor reduction in discrete-event systems. International J. Control 44 (2), 1986, pp. 475-491.
- [J44] J.S.A. Hepburn, W.M. Wonham. The semistable-center-unstable manifold near a critical element. J. Mathematical Analysis and Applications 103 (2), 1984, pp. 321-331.
- [J43] J.S.A. Hepburn, W.M. Wonham. Structurally stable nonlinear regulation with step inputs. Mathematical Systems Theory 17, 1984, pp. 319-333.
- [J42] J.S.A. Hepburn, W.M. Wonham. Error feedback and internal models on differentiable manifolds. IEEE Trans. on Automatic Control AC-29 (5), May 1984, pp. 397-403.13.
- [J41] D.J. Allwright, W.M. Wonham. Further results on time scales in stably nested hierarchical control systems. Large Scale Systems 3 (4), 1982, pp. 251-254.
- [J40] D.J. Allwright, W.M. Wonham. Time scales in stably nested hierarchical control systems. Large Scale Systems 1, 1980, pp. 229-244.
- [J39] W.M. Wonham. Geometric state space theory in linear multivariable control: a status report. Automatica 15 (1), 1979, pp. 5-13.
- [J38] P.E. Liepa, W.M. Wonham. Feedback systems in a general algebraic setting. IEEE Trans. on Circuits and Systems CAS-25 (9), 1978, pp. 728-741.
- [J37] J.S.-C. Yuan, W.M. Wonham. Probing signals for model reference identification. IEEE Trans. on Automatic Control AC-22 (4), April 1977, pp. 530-538.
- [J36] W.M. Wonham. Towards an abstract internal model principle. IEEE Trans. on Systems, Man and Cybernetics SMC-6 (11), 1976, pp. 735-740.
- [J35] O.A. Sebakhy, W.M. Wonham. A design procedure for multivariable regulators. Automatica 12 (5), 1976, pp. 467-478.
- [J34] B.A. Francis, W.M. Wonham. The internal model principle of control theory. Automatica 12(5), 1976, pp. 457-465.
- [J33] J. Snyders, W.M. Wonham. Regulation of linear stochastic systems. SIAM J. Control and Optimization 13 (4), 1975, pp. 853-864.
- [J32] B.A. Francis, W.M. Wonham. The internal model principle for linear multivariable regulators. Applied Mathematics and Optimization 2 (2), 1975, pp. 170-194.
- [J31] E. Fabian, W.M. Wonham. Decoupling and disturbance rejection. IEEE Trans. on Automatic Control AC-20 (3), March 1975, pp. 399-401.
- [J30] E. Fabian, W.M. Wonham. Decoupling and data sensitivity. IEEE Trans. on Automatic Control AC-20 (3), March 1975, pp. 338-344.
- [J29] B.A. Francis,W.M.Wonham. The role of transmission zeros in linear multivariable regulators. International J. Control 22 (5), 1975, pp. 657-681.
- [J28] B.A. Francis, O.A. Sebakhy, W.M. Wonham. Synthesis of multivariable regulators: the internal model principle. Applied Mathematics and Optimization 1 (1), 1974, pp. 64-86.
- [J27] E. Fabian, W.M. Wonham. Generic solvability of the decoupling problem. SIAM J. Control 12 (4), 1974, pp. 688-694.
- [J26] W.M. Wonham, J.B. Pearson. Regulation and internal stabilization in linear multivariable systems. SIAM J. Control 12 (1), 1974, pp. 5-8.
- [J25] W.M. Wonham. Tracking and regulation in linear multivariable systems. SIAM J. Control 11 (3), 1973, pp. 424-437.14.
- [J24] W.M. Wonham, A.S. Morse. Feedback invariants of linear multivariable systems. Automatica 8 (1), 1972, pp. 93-100.
- [J23] S.P. Bhattacharyya, J.B. Pearson, W.M. Wonham. On zeroing the output of a linear system. Information and Control 20 (2), 1972, pp. 135-142.
- [J22] A.S. Morse, W.M. Wonham. Status of noninteracting control. IEEE Trans. on Automatic Control AC-16 (6), June 1971, pp. 568-580.
- [J21] W.M. Wonham. Dynamic observers: geometric theory. IEEE Trans. on Automatic Control AC-15 (2), February 1970, pp. 258-259.
- [J20] A.S. Morse, W.M. Wonham. Triangular decoupling of linear multivariable systems. IEEE Trans. on Automatic Control AC-15 (4), April 1970, pp. 447-449.
- [J19] A.S. Morse, W.M. Wonham. Decoupling and pole assignment by dynamic compensation. SIAM J. Control 8 (3), 1970, pp. 317-337.
- [J18] W.M. Wonham, A.S. Morse. Decoupling and pole assignment in linear multivariable systems: a geometric approach. SIAM J. Control 8 (1), 1970, pp. 1-18.
- [J17] W.M. Wonham. Optimal stochastic control. Automatica 5 (1), 1969, pp. 113-118.
- [J16] W.M. Wonham, W.F. Cashman. A computational approach to optimal control of stochastic saturating systems. International J. Control 10 (1), 1969, pp. 77-98.
- [J15] W.M. Wonham. On a matrix Riccati equation of stochastic control. SIAM J. Control 6 (4), 1968, pp. 681-697.
- [J14] W.M. Wonham. On the separation theorem of stochastic control. SIAM J. Control 6 (2), 1968, pp. 312-326.
- [J13] W.M. Wonham. Optimal stationary control of a linear system with state-dependent noise. SIAM J. Control 5 (3), 1967, pp. 486-500.
- [J12] W.M. Wonham. On pole assignment in multi-input, multi-output controllable linear systems. IEEE Trans. on Automatic Control AC-12 (6), June 1967, pp. 660-665.
- [J11] W.M. Wonham. A Liapunov method for the estimation of statistical averages. J. Differential Equations 2 (4), 1966, pp. 365-377.
- [J10] W.M. Wonham. Liapunov criteria for weak stochastic stability. J. Differential Equations 2(2), 1966, pp. 195-207.
- [J09] C.D. Johnson, W.M. Wonham. On a problem of Letov in optimal control. Trans. ASME 87(1), 1965, J. Basic Engineering, pp. 81-89.
- [J08] W.M.Wonham, C.D. Johnson. Optimal bang-bang control with quadratic performance index. Trans. ASME 86 (1), 1964, J. Basic Engineering, pp. 101-112.15.
- [J07] W.M. Wonham. Some applications of stochastic differential equations to optimal nonlinear filtering. SIAM J. Control 2 (3), 1964, pp. 347-369.
- [J06] W.M. Wonham. Note on a problem in optimal nonlinear control. J. Electronics & Control 15, 1963, pp. 59-62.
- [J05] W.M. Wonham. Stochastic analysis of a class of nonlinear control systems with random step inputs. Trans. ASME 85 (1), 1963, J. Basic Engineering, pp. 222-226.
- [J04] W.M. Wonham, O.L.R. Jacobs. Extremum control in the presence of noise. J. Electronics & Control 3, 1961, pp. 194-211.
- [J03] W.M. Wonham. On the probability density of the output of a low-pass system when the input is a Markov step process. Trans. IRE PGIT IT-6 (5), 1960, pp. 539-544.
- [J02] W.M. Wonham. Transition probability densities of the smoothed random telegraph signal. J. Electronics & Control 6 (4), 1959, pp. 376-384.
- [J01] W.M. Wonham, A.T. Fuller. Probability densities of the smoothed random telegraph signal. J. Electronics & Control 4 (6), 1958, pp. 567-576.

**CONTRIBUTIONS TO BOOKS**

- [E7] W. Chao, Y. Gan, W.M. Wonham, Z. Wang. Nonblocking supervisory control of flexible manufacturing systems based on state tree structures. In: Z. Li, A.M. Al-Ahmari (Eds.), Formal Methods in Manufacturing Systems: Recent Advances. IGI Global, Engineering Science Reference, 2013, pp. 1-19.
- [E6] W.M. Wonham. On the control of discrete-event systems. In H. Nijmeier, J.M. Schumacher(Eds.), Three Decades of Mathematical System Theory. A Collection of Surveys at the Occasion of the Fiftieth Birthday of Jan C. Willems. LNCIS vol. 135, Springer-Verlag, Berlin, 1989; pp. 542-562.
- [E5] W.M. Wonham. Linear multivariable control systems synthesis: geometric approach. Systems & Control Encyclopedia, Pergamon Press, New York, 1987; pp. 2807-2816.
- [E4] W.M. Wonham. Algebraic methods in linear multivariable control. In A.S. Morse (Ed.), System Structure, pp. 89-96. IEEE Cat. No. 71C61-CSS, IEEE, New York, 1971.
- [E3] W.M. Wonham. Random differential equations in control theory. In A.T. Bharucha-Reid(Ed.), Probabilistic Methods in Applied Mathematics, vol. 2, pp. 132-212. Academic Press, New York, 1970.
- [E2] W.M. Wonham. Stochastic problems in control. Proc. IBM Scientific Computing Symposium on Control Theory and Applications. Thomas J. Watson Research Center, Yorktown Heights, New York, 1966; pp. 239-248.
- [E1] W.M. Wonham. Stochastic problems in optimal control. IEEE International Convention Record, Part 2, 1963; pp. 114-124.

**CONFERENCE PAPERS [approx. 150, list omitted]**

**SUPERVISED GRADUATE THESES**

- [T79] X.-Q. Qu. Efficient Abstractions in Hierarchical Supervisory Control of Discrete-Event Systems. M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, September 2013.
- [T78] S. Izadian. Supply Chain Operation Modeling and Automation Using Untimed and Timed State Tree Structures. M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, August 2013.
- [T77] Y-P. Yao. Sufficient Conditions for Output Regulation on Metric and Banach Spaces: A Set-Theoretic Approach. M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, September 2012.
- [T76] L.-Y. Yan. State-Based Control of Discrete-Event Systems with Observational Abstractions. M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, September 2011.
- [T75] A. Saadatpoor. Timed State-Tree Structures: Supervisory Control and Fault Diagnosis. Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, March 2009.
- [T74] B. Cheung. Computing Hierarchical Nonblocking Discrete-Event Systems. M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, July 2008.
- [T73] K. Cai. Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems. M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, June 2008.
- [T72] L. Feng. Computationally Efficient Supervisor Design for Discrete-Event Systems. Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, July 2007.
- [T71] A. Saadatpoor. 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.
- [T70] S. Yi. Hierarchical Supervision with Nonblocking. M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, June 2004.
- [T69] R. Su. Distributed Diagnosis for Discrete-Event Systems. Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, June 2004.
- [T68] C. Ma. Hierarchical Control of State-Stree Structures. Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg. Univ. of Toronto, March 2004.
- [T67] V.J. Ravichandran. Distributed Diagnosis for State-Based Discrete-Event Systems. M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, September 2002.
- [T66] P. Gohari-Moghadam. Fair Supervisory Control of Discrete-Event Systems. Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, September 2002.
- [T65] R.S. Minhas. Complexity Reduction in Discrete Event Systems. Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, September 2002.
- [T64] R.J. Leduc. Hierarchical Interface-based Supervisory Control. Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, April 2002.
- [T63] S. Abdelwahed. Interacting Discrete-Event Systems: Modeling, Verification, and Supervisory Control. Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, March 2002.
- [T62] Z.H. Zhang. Smart TCT: An Efficient Algorithm for Supervisory Control Design. M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, April 2001.
- [T61] Y.W. Wang. Supervisory Control of Boolean Discrete-Event Systems. M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, June 2000.17
- [T60] R. Su. Decentralized Fault Diagnosis for Discrete-Event Systems. M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, April 2000.
- [T59] K.Q. Pu. Modeling and Control of Discrete-Event Systems with Hierarchical Abstraction. M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, March 2000.
- [T58] S. Hashtrudi Zad. Fault Diagnosis in Discrete-Event and Hybrid Systems. Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, August 1999. [Co-supervised with R.H. Kwong]
- [T57] C. Ma. 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.
- [T56] P. Gohari-Moghadam. A Linguistic Framework for Controlled Hierarchical DES. M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, April 1998.
- [T55] T.-J. Ho. 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.
- [T54] Y.-C. Guan. Implementation of Hierarchical Observer Theory. M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, April 1997.
- [T53] X.-Q. Zhang. Control of Boolean Discrete-Event Systems. M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, April 1997.
- [T52] M.S. Lawford. Model Reduction of Discrete Real-Time Systems. Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, January 1997.
- [T51] S.-L. Chen. Control of Discrete-Event Systems of Vector and Mixed Structural Type. Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, September 1996.
- [T50] T.Y.L. Chun. Diagnostic Supervisory Control: A DES Approach. M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, August 1996.
- [T49] Y.-Q. Zhang. 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.
- [T48] R.J. Leduc. 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.
- [T47] B. Wang. Top-Down Design for RW Supervisory Control Theory. M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, June 1995.
- [T46] K.-C. Wong. Discrete-Event Control Architecture: An Algebraic Approach. Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, June 1994.
- [T45] L. Zhu. Control Theory of Stochastic Discrete Event Systems. M.A.Sc. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, April 1993.18.
- [T44] B.A. Brandin. Real-Time Supervisory Control of Automated Manufacturing Systems. Ph.D. Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, January 1993.
- [T43] B. Schwartz. State Aggregation of Controlled Discrete-Event Systems. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, July 1992.
- [T42] S.-L. Chen. Existence and Design of Supervisors for Vector Discrete Event Systems. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, July 1992.
- [T41] K. Rudie. Decentralized Control of Discrete-Event Systems. Ph.D. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, June 1992.
- [T40] C.-Y. Yuen. Control Synthesis for Timed Discrete Event Systems. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, April 1992.
- [T39] J. Liao. Hierarchical Control in Vector Discrete-Event Systems. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, April 1992.
- [T38] H. Zhong. Hierarchical Control of Discrete-Event Systems. Ph.D. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, April 1992.
- [T37] M.S. Lawford. Transformational Equivalence of Timed Transition Models. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, January 1992.
- [T36] I.E.H. Caulder. Applications of Decentralized Hierarchical DES Control to Telecommunications Network Protocols. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, August 1991.
- [T35] Y. Li. Control of Vector Discrete-Event Systems. Ph.D. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, April 1991.
- [T34] N.-Q. Huang. Supervisory Control of Vector Discrete-Event Processes. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, April 1991.
- [T33] J.G. Thistle. Control of Infinite Behaviour of Discrete-Event Systems. Ph.D. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, January 1991.
- [T32] R.K.Wong. State-Based Discrete-Event Modeling and Control of Concurrent Systems. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, November 1990.
- [T31] T.-M. Pai. Real Time Implementation of Discrete-Event Control Systems. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, June 1990.
- [T30] K.C. Wong. An Algebraic Description of Hierarchical Control in Discrete-Event Systems. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, June 1990.
- [T29] B.A. Brandin. The Supervisory Control of Discrete Event Systems with Forcible Events. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, October 1989.19
- [T28] K. Rudie. Software for the Control of Discrete-Event Systems: A Complexity Study. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, March 1988.
- [T27] H. Zhong. Control of Discrete-Event Systems: Decentralized and Hierarchical Control. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, December 1987.
- [T26] F. Lin. On Controllability and Observability of Discrete Event Systems. Ph.D. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, November 1987.
- [T25] J. Shifman. A Hierarchical Approach to Path Planning for Robots. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, September 1987.
- [T24] J. Ostroff. Real-Time Computer Control of Discrete Systems Modelled by Extended State Machines: A Temporal Logic Approach. Ph.D. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, January 1987.
- [T23] Y. Li. Supervisory Control of Real-Time Discrete Event Systems. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, July 1986.
- [T22] J.G. Thistle. Control Problems in a Temporal Logic Setting. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, January 1985.
- [T21] R.S.W. Chan. Simulation and Modelling of a Supervisory Control System Using Concurrent Euclid. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, September 1984.
- [T20] F. Lin. Supervisor Synthesis for Discrete Event Processes. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, August 1984.
- [T19] P.J. Ramadge. Control and Supervision of Discrete Event Processes. Ph.D. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, May 1983.
- [T18] C-C. Hai. A Study of the Logical Structure of a Class of Discrete Event Systems. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, August 1982.
- [T17] J.S.A. Hepburn. The Internal Model Principle of Regulator Theory on Differentiable Manifolds. Ph.D. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, July 1981.
- [T16] S.H. Mikhail. On Decomposability in Nonlinear Differential Autonomous Systems. Ph.D. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, April 1981.
- [T15] P. Liepa. Feedback Systems in a General Algebraic Setting. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, 1978.
- [T14] K.P.M. Bhat. Regulator Theory for Evolution Systems. Ph.D. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, October 1976.
- [T13] B.D. Kurtz. A New Algorithm for the Recursive Identification of Stochastic Systems Using an Automaton with Slowly Growing Memory. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, June 1976.20
- [T12] J.S.-C. Yuan. Adaptive Decoupling Control of Linear Multivariable Systems. Ph.D. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, April 1976.
- [T11] H. Shorooghi. Spectral Decomposition Technique for Time Delay Systems with Application to Optimal Control. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, April 1976.
- [T10] B.A. Francis. The Foundation of Linear Multivariable Regulation: The Internal Model Principle. Ph.D. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, 1975.
- [T09] J.J.A. van den Kieboom. An Algorithm for Pole Placement by Dynamic Output Feedback. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, January 1975.
- [T08] W.S.S. Tom. On-Line Adaptive Decoupling Via an Optimizing Function. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, January 1975.
- [T07] O. Sebakhy. Synthesis of Linear Multivariable Regulators. Ph.D. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, 1974.
- [T06] E. Fabian. Decoupling, Disturbance Rejection and Sensitivity. Ph.D. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, September 1974.
- [T05] M. Khanna. Sampling and Transmission Policies for Controlled Markov Processes with Costly Communication. Ph.D. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, 1973.
- [T04] J. Pauksens. Analysis of Nonlinear Stochastic Systems - A Banach Space Approach. Ph.D. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, 1973.
- [T03] M.S. Chan. Polynomial Disturbance Rejection in Linear Multivariable Systems. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, September 1972.
- [T02] E. Fabian. A Computer Implementation for Decoupling and Pole Assignment in Linear Multivariable Systems by Complete State Feedback. M.A.Sc. Thesis, Dept. of Electl. Engrg., Univ. of Toronto, September 1971.
- [T01] W.F. Cashman. An Investigation of Suboptimal Stochastic Control for a Class of Stochastic Saturating Systems. Ph.D. Thesis, Dept. of Electl. Engrg., Northeastern University, May 1970.21

**INTERNET POSTINGS**

**Monograph**- Supervisory Control of Discrete-Event Systems [Text for graduate courses ECE 1636F/1637S]. Updated annually from 1997; current v.2015.07.01, xvii+510 pp.**Software Packages**- XPTCT, LTCT, XPTTCT [Primarily for student use; not recommended for industrial or commercial use]. Recent updates posted yyyy.07.01.- Both freely available at www.control.utoronto.ca/~wonham.