| 引用本文: | 李勇华.离散事件系统的无死锁模块化状态反馈控制[J].控制理论与应用,1993,10(5):582~588.[点击复制] |
| LI Yonghua.Deadlock-Free Modular State Feedback Control of Event Systems[J].Control Theory and Technology,1993,10(5):582~588.[点击复制] |
|
| 离散事件系统的无死锁模块化状态反馈控制 |
| Deadlock-Free Modular State Feedback Control of Event Systems |
| 摘要点击 952 全文点击 366 投稿时间：1998-05-13 修订日期：1993-03-15 |
| 查看全文 查看/发表评论 下载PDF阅读器 |
| DOI编号 |
| 1993,10(5):582-588 |
| 中文关键词 离散事件系统 自动机 模块化状态反馈控制 死锁 |
| 英文关键词 discrete event systems automata modular state feedback control deadlock |
| 基金项目 |
|
| 中文摘要 |
| 本文讨论离散事件系统的无死锁模块化状态反馈问题。首先我们定义自动机的交与并运算，然后通过引入自动机对的D-不变关系，我们证明当控制目标是两个谓词的交时，模块化状态反馈控制器是无死锁的充要条件是各子控制器是无死锁的且相应的控制器满足D-不变关系。我们证明了一个给定的自动机相对于另一自动机的D-不变子自动机类有最大元存在，并由此给出一个综合算法。 |
| 英文摘要 |
| In this paper we discuss the problem of synthesizing deadlock-free modular state feedback controllers for discrete event systems. By introducing the D-invariant relation between automata pairs, we show that for the case the control objective is expressed in terms of the intersection of two predicates, a necessary and sufficient condition for the modular state feedback controller to be deadlock-free is that the component subcontrollers are all deadlock-free and the corresponding pair of automation meets a D-invariant relation. A design procedure for deadlock-free modular state feedback controller is also presented. |