2.845

2023影响因子

(CJCR)

  • 中文核心
  • EI
  • 中国科技核心
  • Scopus
  • CSCD
  • 英国科学文摘

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems

Hong-Ye SU Wei-Min WU Jian CHU

Hong-Ye SU, Wei-Min, WU Jian CHU. Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems. 自动化学报, 2005, 31(1): 143-150.
引用本文: Hong-Ye SU, Wei-Min, WU Jian CHU. Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems. 自动化学报, 2005, 31(1): 143-150.
Hong-Ye SU, Wei-Min, WU Jian CHU. Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems. ACTA AUTOMATICA SINICA, 2005, 31(1): 143-150.
Citation: Hong-Ye SU, Wei-Min, WU Jian CHU. Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems. ACTA AUTOMATICA SINICA, 2005, 31(1): 143-150.

Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems

详细信息
    通讯作者:

    Hong-Ye SU

Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems

More Information
    Corresponding author: Hong-Ye SU
  • 摘要: A quite great progress of the supervisory control theory for discrete event systems (DES) has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools. This paper focus on the Petri nets based supervisory control theory of DES. Firstly, we review the research results in this field, and claim that there generally exists a problem in Petri nets based supervisory control theory of DES, that is, the deadlock caused by the controller introduced to enforce the given specification occurs in the closed-loop systems, especially the deadlock occurs in the closed-loop system in which the original plant is live. Finally, a possible research direction is presented for the solution of this problem.
  • 加载中
计量
  • 文章访问数:  2442
  • HTML全文浏览量:  64
  • PDF下载量:  1321
  • 被引次数: 0
出版历程
  • 收稿日期:  2004-03-29
  • 修回日期:  2004-08-12
  • 刊出日期:  2005-01-20

目录

    /

    返回文章
    返回