Journal of Institute of Control, Robotics and Systems (제어로봇시스템학회논문지)

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

DOI QR Code

Time-Coobservability in the Decentralized Supervisory Control of Timed Discrete Event Systems

시간 이산 사건 시스템의 분산 관리 제어에서 시간-상호관측가능성

  • 박성진 (아주대학교 전자공학부) ;
  • 최호림 (동아대학교 전기공학과)
  • Published : 2009.04.01
Download PDF
⟨ Previous Next ⟩

Abstract

This paper presents the notion of time-coobservability as a core condition far the existence of a decentralized supervisor achieving a given language specification in a timed discrete event system (TDES). A TDES is modeled by the framework of Brandin & Wonham [5], and the decentralized supervisory control architecture presented is extended from the untimed architecture of Yoo & Lafortune [1]. To develop the time-coobservability of a language specification, specifically this paper presents the C&P time-coobservability and D&A time-coobservability in the consideration of the event tick and forcing mechanism of decentralized supervisors.

Keywords

References

  1. T.-S. Yoo and S. Lafortune, 'A general architecture for decentralized supervisory control of discrete-event systems,' Discrete Event Dyna. Syst.: Theory and Appl., vol. 12, no. 3, pp. 335-377, 2002 https://doi.org/10.1023/A:1015625600613
  2. T.-S. Yoo and S. Lafortune, 'Decentralized supervisory control with conditional decisions: supervisor existence,' IEEE Trans. Automat. Contr., vol. 49, no. 11, pp. 1886-1904, 2004 https://doi.org/10.1109/TAC.2004.837595
  3. R. Kumar and S. Takai, 'Inference-based ambiguity management in decentralized decision-making: decentralized control of discrete event systems,' IEEE Trans. Automat. Cont.r., vol. 52, no. 10, pp. 1783-1794,2007 https://doi.org/10.1109/TAC.2007.906158
  4. S. Takai and R. Kumar, 'Synthesis of inference-based decentralized control for discrete event systems,' IEEE Trans. Automat. Cont.r., vol. 53, no. 2, pp. 522-534, 2008 https://doi.org/10.1109/TAC.2007.915171
  5. B. A. Brandin and W. M. Wonham, 'Supervisory control of timed discrete event systems,' IEEE Trans. Automat. Cont.rol, vol. 39, no. 2, pp. 329-342,1994 https://doi.org/10.1109/9.272327
  6. F. Lin and W. M. Wonham, 'Supervisory control of timed discrete event systems under partial observation,' IEEE Trans. Automat. Contr., vol. 40, no. 3, pp. 558-562, 1995 https://doi.org/10.1109/9.376081
  7. S.-J. Park and K.-H. Cho, 'Supervisory control of timed discrete event systems under partial observation based on activity models and eligible time bounds,' Syst. & Contr. Letters, vol. 55, no. 5, pp. 407-413, 2006 https://doi.org/10.1016/j.sysconle.2005.09.003
  8. S. Takai and T. Ushio, 'A new class of supervisors for timed discrete event systems under partial observation,' Discrete Event Dyna. Syst.: Theory and Appl., vol. 16, no. 2, pp. 257-278,2006 https://doi.org/10.1007/s10626-006-8136-6