论文信息 - Time-Coobservability in the Decentralized Supervisory Control of Timed Discrete Event Systems

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

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.

Ho-Lim Choi | Seong-Jin Park

[1] Kwang-Hyun Cho,et al. Supervisory control of timed discrete event systems under partial observation based on activity models and eligible time bounds , 2006, Syst. Control. Lett..

[2] Stéphane Lafortune,et al. A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems , 2002, Discret. Event Dyn. Syst..

[3] Shigemasa Takai,et al. Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems , 2005, IEEE Transactions on Automatic Control.

[4] Shigemasa Takai,et al. A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[5] Stéphane Lafortune,et al. Decentralized supervisory control with conditional decisions: supervisor existence , 2004, IEEE Transactions on Automatic Control.

[6] W. Wonham,et al. Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..

[7] W. Wonham,et al. Supervisory control of timed discrete-event systems under partial observation , 1995, IEEE Trans. Autom. Control..

[8] Shigemasa Takai,et al. Synthesis of Inference-based Decentralized Control for Discrete Event Systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.