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

被引：2
|
作者：
Park, Seong-Jin
Cho, Kwang-Hyun
机构：
[1] Seoul Natl Univ, BioMAX Inst, Seoul 151818, South Korea
[2] Ajou Univ, Dept Elect & Comp Engn, Suwon 443749, South Korea
[3] Seoul Natl Univ, Coll Med, Seoul 110799, South Korea
来源：
AUTOMATICA | 2007年 / 43卷 / 02期
基金：
新加坡国家研究基金会;
关键词：
decentralized supervisory control; nondeterministic discrete event systems; robust supervisors; nonblockingness; trajectory models;
D O I：
10.1016/j.automatica.2006.08.017
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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. (C) 2006 Elsevier Ltd. All rights reserved.
引用
收藏
页码：377 / 383
页数：7
相关论文
共 50 条
  • [1] On robust and nonblocking supervisor for nondeterministic discrete event systems
    Park, SJ
    Lim, JT
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2003, E86D (02): : 330 - 333
  • [2] Robust and nonblocking supervisory control of nondeterministic discrete event systems using trajectory models
    Park, SJ
    Lim, JT
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2002, 47 (04) : 655 - 658
  • [3] Decentralized nondeterministic supervisory control of discrete event systems
    Qiu, WB
    Kumar, R
    2004 43RD IEEE CONFERENCE ON DECISION AND CONTROL (CDC), VOLS 1-5, 2004, : 992 - 997
  • [4] Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation
    Park, Seong-Jin
    INTERNATIONAL JOURNAL OF CONTROL, 2012, 85 (01) : 58 - 68
  • [5] Robust nonblocking supervisory control of discrete-event systems
    Bourdon, SE
    Lawford, M
    Wonham, WM
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2005, 50 (12) : 2015 - 2021
  • [6] Robust nonblocking supervisory control of discrete-event systems
    Bourdon, SE
    Lawford, M
    Wonham, WM
    PROCEEDINGS OF THE 2002 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2002, 1-6 : 730 - 735
  • [7] Robust and Nonblocking Supervisory Control of Continuous Timed Discrete Event Systems
    Wang, Fei
    Luo, Jiliang
    2010 8TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA), 2010, : 3585 - 3589
  • [8] Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
    Ushio, Toshimitsu
    Takai, Shigemasa
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 61 (03) : 799 - 804
  • [9] Language model approach to nonblocking supervisor synthesis for nondeterministic discrete event systems
    Park, SJ
    Lim, JT
    2001 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2001, : 650 - 655
  • [10] A Limited Lookahead Policy in Robust Nonblocking Supervisory Control of Discrete Event Systems
    Boroomand, Farzam
    Hashtrudi-Zad, Shahin
    2013 AMERICAN CONTROL CONFERENCE (ACC), 2013, : 935 - 939
12345