Browse > Article

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

박성진 (아주대학교 전자공학부)
조광현 (서울대학교 의과대학 의학과 및 생명공학공동연구원)
Publication Information
ICROS / v.11, no.4, 2005 , pp. 54-65 More about this Journal
Keywords
Citations & Related Records
연도 인용수 순위
  • Reference
1 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   DOI   ScienceOn
2 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   DOI
3 P. J. Ramadge and W. M. Wonham, 'The control of discrete event systems,' Proc. IEEE, vol. 77, pp. 81-98, 1989
4 Y-C. Ho, 'Dynamics of discrete event systems,' Proc. of IEEE, pp. 3-6, Jan, 1989
5 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   DOI   ScienceOn
6 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   DOI   ScienceOn
7 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   DOI   ScienceOn
8 J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, MA : Addison-Wesley, 1979
9 임종태, 조광현, 박성진, 이산사건시스템의 관리제어, KAIST Press & Brain Korea, 2003
10 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
11 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
12 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   DOI   ScienceOn
13 R. Kumar, and V. K Garg, Modeling and Control of Logical Discrete Event Systems, MA: Kluwer Academic Publishers, 1995
14 K. Rudie and W. M. Wenham, 'Think Globally, Act Locally: Decentralized Supervisory Control,' IEEE Trans. on Automatic Control, vol. 37, pp. 1692-1708, 1992   DOI   ScienceOn
15 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   DOI   ScienceOn
16 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   DOI   ScienceOn
17 M. Heymann, 'Concurrency and discrete event control,' IEEE Control Systems, pp. 103-112, June 1990
18 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
19 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   DOI   ScienceOn
20 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   DOI   ScienceOn
21 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   DOI   ScienceOn
22 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   DOI   ScienceOn
23 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   DOI   ScienceOn
24 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   DOI   ScienceOn
25 X.-R. Cao and Y.-C. Ho, 'Models of discrete event dynamic systems,' IEEE Control Systems Magazine, pp. 69-76, June, 1990
26 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   DOI   ScienceOn
27 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   DOI   ScienceOn
28 F. Lin and W. M. Wenham, 'On observability of discrete-event systems,' Information Sciences, vol. 44, pp. 173-198, 1988   DOI   ScienceOn
29 C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Kluwer Academic Pub., 1999
30 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   DOI   ScienceOn