离散事件状态反馈系统的一个新模型(英文)  

A New Model for Discrete Event State Feedback Systems: Framework and Weak Interaction

作　　者：徐晨[1] 胡奇英[2] 

机构地区：[1]深圳大学理学院,深圳518060 [2]电子科技大学经济管理学院,西安710071

出　　处：《深圳大学学报（理工版）》2001年第4期9-15,共7页Journal of Shenzhen University(Science and Engineering)

基　　金：国家自然科学甚金资助项目(69904008);广东省教育厅"千百十"工程优秀人才基金资助项目

摘　　要：对离散事件系统的状态反馈控制提出一个基于自动机的新模型，统一了无并发与有并发的Ｒａｍａｄｇｅ－Ｗｏｎｈａｍ模型与可控Ｐｅｔｒｉ网模型，并以公理的形式给出．讨论了给定谓词Ｐ的极大允许状态反馈的惟一性、基本系统与并发系统间的关系，从而可以将并发系统转换为简单的非并发基本系统来研究．A new model, based on automaton, for the state-feedback control of discrete event systems is presented, which unifies Ramadge-Wonham framework with and without concurrence, and controlled Petri nets. The model is presented in the form of axioms. The problems of uniqueness for the maximally permissive state feedback of a predicate P and the relationships between the basis sys- tems and the concurrent systems are discussed, which makes it possible to study the concurrent sys- tems by transforming them into the simple basic systems.

关 键 词：自动机 状态反馈控制 离散事件系统 Ramadge-Wonham模型 可控Petri网模型 极大允许状态反馈 

分 类 号：TP13[自动化与计算机技术—控制理论与控制工程] O231.3[自动化与计算机技术—控制科学与工程]