References
- P. J. Ramadge and W. M. Wenham, 'Supervisory control of a class of discrete event processes,' SIAM J. of Control and Optimization, vol. 25, pp. 206-230, 1987 https://doi.org/10.1137/0325013
- W. M. Wonham and P. J. Ramadge, 'On the supremal controllable sublanguage of a given language,' SIAM J. of Control and Optimization, vol. 25. pp. 637-659, 1987 https://doi.org/10.1137/0325036
- P. J. Ramadge and W. M. Wonham, 'Modular feedback logic for discrete event systems,' SIAM J. of Control and Optimization, vol. 25, pp. 1202-1218, 1987 https://doi.org/10.1137/0325066
- P. J. Ramadge and W. M. Wonham, 'The control of discrete event systems,' Proc. IEEE, vol. 77, pp. 81-98, 1989
- Y-C. Ho, 'Dynamics of discrete event systems,' Proc. of IEEE, pp. 3-6, Jan, 1989
- F. Lin and W. M. Wenham, 'On observability of discrete-event systems,' Information Sciences, vol. 44, pp. 173-198, 1988 https://doi.org/10.1016/0020-0255(88)90001-1
- R. Cieslark, C. Desclaux, A. S. Fawaz, and P. Varaiya, 'Supervisory control of discrete-event processes with partial observations,' IEEE Trans. on Automatic Control, vol. 33, pp. 249-260, 1988 https://doi.org/10.1109/9.402
- M. Heymann, 'Concurrency and discrete event control,' IEEE Control Systems, pp. 103-112, June 1990
- K-H. Cho and J.-T. Lim, 'On-line supervisory control of discrete event dynamic systems based on outlooking,' Automatica, vol. 35, no. 10, pp. 1725-1729, 1999 https://doi.org/10.1016/S0005-1098(99)00084-9
- R. Kumar, and V. K Garg, Modeling and Control of Logical Discrete Event Systems, MA: Kluwer Academic Publishers, 1995
- C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Kluwer Academic Pub., 1999
- X.-R. Cao and Y.-C. Ho, 'Models of discrete event dynamic systems,' IEEE Control Systems Magazine, pp. 69-76, June, 1990
- K. Rudie and W. M. Wenham, 'Think Globally, Act Locally: Decentralized Supervisory Control,' IEEE Trans. on Automatic Control, vol. 37, pp. 1692-1708, 1992 https://doi.org/10.1109/9.173140
- K-H. Cho and J.-T. Lim, 'Mixed centralized/ decentralized supervisory control of discrete event dynamic systems,' Automatics, vol. 35, no. 1, pp. 121-128, 1999 https://doi.org/10.1016/S0005-1098(98)00137-X
- T.-S. Yoo and S. Lafortune, 'A general architecture for decentralized supervisory control of discrete event systems,' Discrete Event Dynamic Systems: Theory and Applications, vol. 12, no. 3, pp, 335-377, 2002 https://doi.org/10.1023/A:1015625600613
- R. J. Leduc, B. A. Brandin, M. Lawford, and W. M. Wonham, 'Hierarchical interface-based supervisory control-part I: serial case,' IEEE Trans. on Automatic Control, vol. 50, no. 9, pp. 1322-1335, 2005 https://doi.org/10.1109/TAC.2005.854586
- M. Sampath, R. Sengupta, S. Lafortune, K Sinnamohideen, and D. Teneketzis, 'Failure diagnoesis using discrete-event models,' IEEE Trans. on Control Systems Tecbnology., vol. 4, pp. 105-124, 1996 https://doi.org/10.1109/87.486338
- B. A. Brandin and W. M. Wonham, 'Supervisory control fo timed discrete event systems,' IEEE Trans. on Automatic Control, vol. 39, no. 2, pp. 329-342, 1994 https://doi.org/10.1109/9.272327
- S.-J. Park and K-H. Cho, 'Supervisory control of timed disctete event systems under partial observation based on activity models and eligible time bounds,' Systems and Control Letters, In Press, 2006
- S.-J. Park and J.-T. Lim, 'Robust and nonblocking supervisor for discrete event systems with model uncertainty under partial observation,' IEEE Trans. on Automatic Control, vol. 45, no. 12, pp. 2393-2396, 2000 https://doi.org/10.1109/9.895581
- S.-J. Park and J.-T. Lim, 'Robust and nonblocking supervisory control of nondeterministic discrete event systems using trajectory models,' IEEE Trans. on Automatic Control, vol. 47, no. 4, pp. 655-658, 2002 https://doi.org/10.1109/9.995044
- K Rudie and W. M. Wonham, 'Protocol verification using discrete- event systems,' Proc. of IEEE Coni on Decision and Control, Tucson, AZ, pp. 3770-3777, 1992
- J. Prosser, J. Selinsky, H. Kwatny, and M. Kam, 'Supervisory control of electric power transmission networks,' IEEE Trans. on Power Systems, vol. 10, pp. 1104-1110, 1995 https://doi.org/10.1109/59.387957
- G. Westerman, R. Kumar, C. Stroud, and J. R. Heath, 'Discrete event system approach for delay fault analysis in digital circuits,' Proc. of American Contr. Coni, Philadelphia, PE, pp. 239-243, 1998
- K-H. Cho and J.-T. Lim, 'Synthesis of faulttolerant supervisor for automated manufacturing systems: a case study on photolithographic process,' IEEE Trans. on Robotics and Automation, vol. 14, no. 2, pp. 348-351, 1998 https://doi.org/10.1109/70.681255
- S.-J. Park and J.-T. Lim, 'Fault-tolerant robust supervisor for discrete event systems with model uncertainty and its application to a workcell,' IEEE Trans. on Robotics and Automation, vol. 15, no. 2, pp. 386-391, 1999 https://doi.org/10.1109/70.760362
- K-H. Cho and J.-T. Lim, 'Multi agent supervisory control for anti-fault-propagation in serial production systems,' IEEE Trans. on Industrial Electronics, vol. 48, no. 2, pp, 460-466, 2001 https://doi.org/10.1109/41.915426
- V. V. Phoha, A. U. Nadgar, A. Ray, and S. Phoha, 'Supervisory control of software systems,' IEEE Trans. on Computers, vol. 53, no. 9, pp. 1187-1199, 2004 https://doi.org/10.1109/TC.2004.67
- 임종태, 조광현, 박성진, 이산사건시스템의 관리제어, KAIST Press & Brain Korea, 2003
- J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, MA : Addison-Wesley, 1979