Brief paper: Delay-coobservability and its algebraic properties for the decentralized supervisory control of discrete event systems with communication delays

  • Authors:
  • Seong-Jin Park;Kwang-Hyun Cho

  • Affiliations:
  • Department of Electrical and Computer Engineering, Ajou University, Suwon, 443-749, Republic of Korea;Department of Bio and Brain Engineering, Korea Advanced Institute of Science and Technology (KAIST), Daejeon, 305-701, Republic of Korea

  • Venue:
  • Automatica (Journal of IFAC)
  • Year:
  • 2009

Quantified Score

Hi-index 22.15

Visualization

Abstract

In networked control systems, uncontrollable events may unexpectedly occur at a plant before a proper control command is applied to it due to communication delays. In this paper, we address the problem of decentralized supervisory control under such communication delays based on the C&P (conjunctive and permissive) and D&A (disjunctive and antipermissive) decision architecture. In particular, for the existence of a decentralized supervisor, we present the notion of delay-coobservability of a given language specification and a polynomial-time algorithm for verifying it. In addition, algebraic properties of the delay-coobservability are investigated. We further present a synthesis method of the decentralized supervisor for practical usefulness.