References
- Meera Sampath, A Discrete Event Systems Approach to Failure Diagnosis, Ph.D. Thesis, The University of Michigan, December, 1995
- M. Sampath, S. Lafortune, and D. Teneketzis, 'Active diagnosis of discrete-event systems,' IEEE Trans. Automat. Control, vol. 43, no. 7, pp. 908-929, July, 1998 https://doi.org/10.1109/9.701089
- Shahin Hashtrudi Zad, Fault Diagnosis in Discrete-Event and Hybrid Systems, Ph.D. Thesis, The University of Toronto, 1999
- Yongseok Park, Model-based Monitoring of Discrete Event Systems, Ph.D. Thesis, The Purdue University, May, 1996
- W. M. Wonham, Notes on Control of Discrete Event Systems, Department of Electrical and Computer Engineering, University of Toronto, 1998
- P. J. Ramadge and W. M. Wonham, 'The control of discrete event systems,' Proc. IEEE, vol. 77, pp. 81-98, Jan., 1989 https://doi.org/10.1109/5.21072
- J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation, Addision-Wesley, 1979
- B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, Cambridge Universit Press, 1990
- W. M. Wonham and P. J. Ramadge, 'On the supremal controllable sublanguage of a given language,' SIAM J. Control and Optimization, vol. 25, no. 3, May, 1987 https://doi.org/10.1137/0325036
- R. D. Brandt, V. Garg, R. Kumar, F. Lin, S. I. Marcus, and W. M. Wonham, 'Formulas for calculating supremal controllable and normal sublanguages,' Syst. Contr. Lett., vol. 15, no. 2, pp. 111-117, Aug., 1990 https://doi.org/10.1016/0167-6911(90)90004-E