Technical communique: Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor

  • Authors:

  • Seong-Jin Park;Kwang-Hyun Cho

  • Affiliations:

  • Department of Electrical and Computer Engineering, Ajou University, Suwon 443-749, Republic of Korea;College of Medicine, Seoul National University, Jongno-gu, Seoul 110-799, Republic of Korea and Bio-MAX Institute, Seoul National University, Gwanak-gu, Seoul 151-818, Republic of Korea

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

Quantified Score

Hi-index 22.15

Visualization

Abstract

This paper addresses a decentralized supervisory control problem for an uncertain discrete event system (DES) modeled by a set of possible nondeterministic automata with unidentified internal events. For a given language specification, we present the existence condition of a robust and nonblocking decentralized supervisor that achieves this specification for any nondeterministic model in the set. In particular, we show that the given language specification can be achieved based on the properties of its controllability and coobservability with respect to the overall nominal behavior of the uncertain DES. It is further shown that the existence of a nonblocking decentralized supervisor can be examined with a trajectory model of the language specification.