관리제어기 설계

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

Abstract

본 논문에서는 관리제어시스템의 사양으로 주어진 언어가 일반적으로 제어불가능이거나 관측불가능인 상황하에서 관리제어기 설계에 대한 문제를 다룬다. 먼저 사양언어가 제어불가능인 겨우 제어가능성의 성질들을 이용하여 사양언어에 근사한 최고 제어가능 부언의 및 최적 닫힘 제어가능 초언어를 유도해내고 이를 바탕으로 관리제어기를 설계한다 그리고 사양언어가 관측불가능인 경우는 관측가능성의 집합연산에 대한 성질들을 이용하여 사양언어에 가장 근사하면서 관측가능인 초언어 및 관측가능성보다 강한 조건인 표준성을 도입하여 관측가능 부언어 등을 유도하고 이를 토대로 관리제어기를 설계힌다 나아가 사양언어가 제어불가능이면서 관측불가능인 경우의 관리제어가 설계에 대해 결과를 확장한다.

Keywords

References

  1. SIAM J. of control and Optimization v.25 On the supremal controllable sublanguage of a given language Wonham, W. M.;Ramadge, P. J.
  2. Modeling and Control of Logical Discrete Event Systems Kumar, R.;Garg, V. K.
  3. Elements of Discrete Mathematics Liu, C. L.
  4. System and Control Letters v.15 Formulas for calculating supremal controllable and normal sublanguages Brandt, R. D.;Grag, V.;Kumar, R.;Lin, F.;Marcus, S. I.;Wonham, W. M.
  5. Information Sciences v.44 On observability of discrete event systems Lin, F.;Wonham, W. M.
  6. IEEE Trans. Automat. Contr. v.33 Supervisory control of discrete-event processes with partial observations Cieslark, R.;Descbux, C.;Fawaz, A. S.;Varaiya, P.
  7. System and Control Letters v.15 The infimal prefix closed and observable superlanguage of a given language Rudie, K.;Wonham, W. M.
  8. 제어·자동화·시스템공학회지 v.6 no.3 이산사건시스템의 관리제어(Ⅰ) : 이산사건모델링 및 관리제어이론 조광현;임종태