ICROS (제어로봇시스템학회지)

Institute of Control, Robotics and Systems (제어로봇시스템학회)
권호 표지

이산사건시스템의 관리제어 개요

  • 박성진 (아주대학교 전자공학부) ;
  • 조광현 (서울대학교 의과대학 의학과 및 생명공학공동연구원)
  • Published : 2005.12.01
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords

References

  1. 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
  2. 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
  3. 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
  4. P. J. Ramadge and W. M. Wonham, 'The control of discrete event systems,' Proc. IEEE, vol. 77, pp. 81-98, 1989
  5. Y-C. Ho, 'Dynamics of discrete event systems,' Proc. of IEEE, pp. 3-6, Jan, 1989
  6. 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
  7. 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
  8. M. Heymann, 'Concurrency and discrete event control,' IEEE Control Systems, pp. 103-112, June 1990
  9. 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
  10. R. Kumar, and V. K Garg, Modeling and Control of Logical Discrete Event Systems, MA: Kluwer Academic Publishers, 1995
  11. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Kluwer Academic Pub., 1999
  12. X.-R. Cao and Y.-C. Ho, 'Models of discrete event dynamic systems,' IEEE Control Systems Magazine, pp. 69-76, June, 1990
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 임종태, 조광현, 박성진, 이산사건시스템의 관리제어, KAIST Press & Brain Korea, 2003
  30. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, MA : Addison-Wesley, 1979