Technical Communique: A modified normality condition for decentralized supervisory control of discrete event systems

  • Authors:
  • Shigemasa Takai;Toshimitsu Ushio

  • Affiliations:
  • Department of Opto-Mechatronics, Wakayama University, Wakayama 640-8510, Japan;Department of Systems and Human Science, Osaka University, Toyonaka, Osaka 560-8531, Japan

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

Quantified Score

Hi-index 22.14

Visualization

Abstract

In this paper, we study nonblocking decentralized supervisory control of discrete event systems. We introduce a modified normality condition defined in terms of a modified natural projection map. The modified normality condition is weaker than the original one and stronger than the co-observability condition. Moreover, it is preserved under union. Given a marked language specification, there exists a nonblocking decentralized supervisor for the supremal sublanguage which satisfies L"m(G)-closure, controllability, and modified normality. Such a decentralized supervisor is more permissive than the one which achieves the supremal L"m(G)-closed, controllable, and normal sublanguage.