Browse > Article
http://dx.doi.org/10.5302/J.ICROS.2009.15.4.396

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

Park, Seong-Jin (아주대학교 전자공학부)
Choi, Ho-Lim (동아대학교 전기공학과)
Publication Information
Journal of Institute of Control, Robotics and Systems / v.15, no.4, 2009 , pp. 396-399 More about this Journal
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
timed discrete event systems; decentralized supervisors; time-coobservability;
Citations & Related Records
연도 인용수 순위
  • Reference
1 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   DOI   ScienceOn
2 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   DOI   ScienceOn
3 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   DOI   ScienceOn
4 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   DOI   ScienceOn
5 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   DOI   ScienceOn
6 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   DOI   ScienceOn
7 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   DOI   ScienceOn
8 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   DOI   ScienceOn