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

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

이산사건 모델링 및 관리제어이론

  • 조광현 (울산대학교 전기전자 및 자동화공학부) ;
  • 임종태 (한국과학기술원 전기 및 전자공학과)
  • Published : 2000.05.01
Download PDF
⟨ Previous Next ⟩

Abstract

본 논문에서는 최근 10여년간 세계적으로 많은 관심과 더불어 비약적인 연구발전을 이루어 온 이산사건시스템의 관리제어에 있어서 기본적인 이산사건모델링과 관리제어이론을 설명하고최근의 연구동향 등을 소개한다. 또한 기존의 연속변수시스템과 대비해 이산사건시스템의 동적특성을 알아보고 구체적인 사례들을 살펴본다. 이러한 이산사건시스템의 동적특성을 기술하기 위해 형식언어이론에 기초한 논리적 이산사건모델을 소개하고 그 위에서 관리제어이론의 개념을 설명하나다 그리고 제어가능성 및 관측가능성의 관리제어기 존재조건을 토대로 관리제어기의 구현에 대해 알아본다 마지막으로 현재까지 수행되어온 관리제어에 대한 다방변의 연구 활동을 살펴보고 앞으로의 연구방향을 전만해 본다

Keywords

References

  1. SIAM J. of Control and Optimization v.25 Supervisory control of a class of discrete event processes Ramadge, P. J.;Wonham, W. M.
  2. SIAM J. of Control and Optimization v.25 On the supremal controllable sublanguage of a given language Wonham, W. M.;Ramadge, P. J.
  3. SIAM J. of Control and Optimization v.25 Modular feedback logic for discrete event systems Ramadge, P. J.;Wonham, W. M.
  4. Modeling and Control of Logical Discrete Event Systems Kumar, R.;Garg, V. K.
  5. Discrete-Event System Theory Tornambe, A.
  6. Discrete Event Systems : Modeling and Performance Analysis Cassandras, C. G.
  7. Proc. of IEEE v.Jan. Dynamics of discrete event systems Ho, Y. -C.
  8. IEEE Control Systems Magazine v.June Toward a control theory for discrete event systems Cassandras, C. G.;Ramadge, P. J.
  9. IEEE Control Systems Magazine v.June Models of discrete event dynamic systems Cao, X. -R.;Ho, Y. -C.
  10. IEEE Trans. Contr. Syst. Technol. v.4 Failure diagnoesis using discrete-event models Sampath, M.;Sengupta, R.;Lafortune, S.;Sinnamohideen, K.;Teneketzis, D.
  11. Proc. of IEEE Conf. on Decision and Control, Tucson, AZ Protocol verification using discrete-event systems Rudie, K.;Wonham, W. M.
  12. Proc. of American Contr. Conf. Discrete event system approach for delay fault analysis in digital circuits Westerman, G.;Kumar, R.;Stroud, C.;Heath, J. R.
  13. IEEE Trans. Power Systems v.10 Supervisory control of electric power transmission networks Prosser, J.;Selinsky, J.;Kwatny, H.;Kam, M
  14. Introduction to Languages and the Theory of Computations Martin, J. C.
  15. Introduction to Automata Theory, Languages, and Computation Hopcroft, J. E.;Ullman, J. D
  16. IEEE Control Systems v.June Concurrency and discrete event control Heymann, M.
  17. Proc. IEEE v.77 Petri nets : properties, analysis and applications Murata, T.
  18. Petri Net Theory and the Modeling of Systems Peterson, J. L.
  19. IEEE Trans. Automat. Contr. v.35 Synthesis of feedback control logic for a class of controlled Petri nets Holoway, L.;Krogh, B. H.
  20. IEEE Trans. Automat. Contr. v.43 Net structure and control logic synthesis of controlled Petri nets Haoxun, C.
  21. IEEE Trans. Automat. Contr. v.44 On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement Sreenivas, R. S.
  22. Proc. IEEE v.77 The control of discrete event systems Ramadge, P. J.;Wonhan, W. M.
  23. Information Sciences v.44 On observability of discrete-event systems Lin, F.; Wonhan, W. M.
  24. IEEE Trans. Automat. Contr. v.33 Supervisory control of discrete-event processes with partial observations Cieslark, R.;Desclaux, C.;Fawaz, A. S.;Varaiya, P.
  25. Discrete Event Dynamic Systems v.4 Diagnosability of discrete event systems and its applications Lin, F.
  26. IEEE Trans. Automat. Contr. v.40 no.9 Diagnosability of discrete-event systems Sampath, M.;Sengupta, R.;Lafortune, S.;Sinnamohideen, K.;Teneketzis, D.
  27. IEEE Trans. Contr. Syst. Technol. v.4 no.2 Failure diagnosis using discrete-event models Sampath, M.;Sengupta, R.;Lafortune, S.;Sinnamohideen, K.;Teneketzis, D.
  28. IEEE Trans. Automat. Contr. v.43 no.7 Active diagnosis of discrete-event systems Sampath, M.;Lafortune, S.;Teneketzis, D.
  29. IEEE Trans. Robot. Automat. v.14 no.2 Synthesis of fault-tolerant supervisor for automated manufacturing systems : A case study on photolithographic process Cho, K. -H.;Lim, J. -T.
  30. Math. of Control, Signals, and Systems v.1 Modular supervisory control of discrete event systems Wonham, W. M.;Ramadge, P. J.
  31. IEEE Trans. Automat. Contr. v.35 Decentralized control and coordination of discrete event systems with partial observation Lin, F.;Wonham, W. M.
  32. Systems and Control Letters v.17 Control of large scale discrete event systems : Task allocation and coordination Lin, F.
  33. IEEE Trans. Automat. Contr. v.37 Think globally, act locally : Decentralized supervisory control Rudie, K.;Wonham, W. M.
  34. Proc. IEEE Conf. on Decision and Control Modular supervisory control with priorities for discrete event systems Chen, Y. -L.;Lafortune, S.
  35. Automatica v.35 Mixed centralized/decentralized supervisory control of discrete event dynamic systems Cho, K. -H.;Lim, J. -T.
  36. Proc. IEEE Conf. on Decision and Control On the optimal control of discrete event systems Passino, K. M.;Antsaklis, P. J.
  37. Proc. IFAC World Congress Optimal control of asynchronous discrete event systems Skulimowski, A. M. J.
  38. Proc. IEEE Int. Symp. on Intelligent Control A note on optimal supervisory control Lin, F.
  39. Computers and Chemical Engineering v.19 Optimal feedback control design for discrete event systems using simulated annealing Boissel, O. R.;Kantor, J. C.
  40. SIAM J. of control and Optimization v.33 Optimal supervisory control of discrete event dynamical systems Kumar, R.;Garg, V. K.
  41. Int. J. of Systems Science v.30 no.4 Layered optimal supervisory control of discrete event dynamic systems Cho, K. -H.;Lim, J. -T.
  42. IEEE Trans. Automat. Contr. v.37 Limited lookahead policies in supervisory control of discrete event systems Chung, S. -L.;Lafortune, S.;Lin, F.
  43. IEEE Conf. on Decision and Control v.2 Extension based limited lookahead control for discrete event systems Kumar, R.;Cheung, K.;Marcus, S. I.
  44. Automatica v.35 no.10 On-line tracing supervisory control of discrete event dynamic systems based on outlooking Cho, K. -H.;Lim, J. -T.
  45. IEEE Trans. Automat. Contr. v.35 no.4 A framework for real-time discrete event control Ostroff, J. S.;Wonham, W. M.
  46. IEEE Trans. Automat. Contr. v.39 no.2 Supervisory control of timed discrete-event systems Brandin, B. A.;Wonham, W. M.
  47. Proc. IEEE Conf. on decision and Control Controller synthesis for some control problems in timed discrete-event systems Ho, T. -J.
  48. J. of the Association for Computing Machinery v.38 Stability and stabilizability of discrete event dynamic systems Ozveren, C. M.;Willsky, A. S.;Antsaklis, P. J.
  49. IEEE Trans. Automat. Contr. v.39 Lyapunov stability of a class of discrete event systems Passino, K. M.;Michel, A. N.;Antsaklis, P. J.
  50. Discrete Event Dynamic Systems : Theory and Application v.5 Stabilization and blocking in state feedback control of discrete event systems Takai, S.;Ushio, T.;Kodama, S.
  51. IEICE Trans. Information and Systems v.E80-D A study on stability analysis of discrete event dynamic systems Cho, K. -H.;Lim, J. -T.
  52. Int. J. of Systems Science v.28 no.7 Stability and robustness of discrete event dynamic systems Cho, K. -H.;Lim, J. -T.
  53. Proc. IEEE Conf. on Decision and Control Control of stochastic discrete event systems : Synthesis Kumar, R.;Garg, V. K.
  54. IEEE Trans. Automat. Contr. v.44 no.2 A probabilistic language formalism for stochastic discrete-event systems Garg, V. K.;Kumar, R.;Marcus, S. I.
  55. IEEE Trans. Automat. Contr. v.41 no.8 Nonblocking supervisory control of nondeterministic systems via prioritized synchronization Kumar, R. ; Shayman, M. A.
  56. IEEE Trans. Automat. Contr. v.43 no.1 Discrete-event control of nondeterministic systems Heyman, M.;Lin, F.
  57. Studies in hybrid systems : Modeling, analysis, and control Branicky, M. S.
  58. IEEE Trans. Automat. Contr. v.43 no.4 Stability theory for hybrid dynamical systems Ye, H.;Michel, A. N.;Hou, L.
  59. IEEE Control Systems Magaine v.Aug. Supervisory hybrid systems Lemmon, M. D.;He, K. X.;Markovsky, I.