| 赋时离散事件系统的安全诊断 |
| |
| 引用本文： | 刘富春,蔡家德. 赋时离散事件系统的安全诊断[J]. 控制与决策, 2017, 32(11): 2081-2084 |
| |
| 作者姓名： | 刘富春 蔡家德 |
| |
| 作者单位： | 广东工业大学计算机学院,广州510006,广东工业大学计算机学院,广州510006 |
| |
| 基金项目： | 国家自然科学基金项目(61273118, 61673122)；广东省教育厅省级重大项目(2014KZDXM033)；广东省公益研究与能力建设专项资金项目(2015A030402006)；广东工业大学计算机学院重大奖项培育项目. |
| |
| 摘 要： | 针对一类计时或非计时自动机模型,研究其赋时离散事件系统(TDES)故障诊断的安全性问题.首先对TDES的安全可诊断性进行形式化;然后通过构造一个非法语言识别器对被禁止危险操作序列进行识别,在此基础上构建一个安全诊断器,提出一种基于安全诊断器的安全诊断方法,并得到一个关于TDES安全可诊断性的充分必要条件,从而实现TDES的安全故障诊断.
|
| 关 键 词： | 赋时离散事件系统 故障诊断 安全诊断 安全诊断器 |
Safe diagnosability of timed discrete-event systems |
| |
| LIU Fu-chun and CAI Jia-de. Safe diagnosability of timed discrete-event systems[J]. Control and Decision, 2017, 32(11): 2081-2084 |
| |
| Authors: | LIU Fu-chun and CAI Jia-de |
| |
| Affiliation: | School of Computers,Guangdong University of Technology,Guangzhou 510006,China and School of Computers,Guangdong University of Technology,Guangzhou 510006,China |
| |
| Abstract: | An approach for safe diagnosis of timed discrete-event systems(TDESs) is proposed. Firstly, the notion of safe diagnosability of TDESs is formalized. Then by constructing the recognizer of illegal language, the sequences of the forbidden unsafe operations are identified, and the safe diagnoser is constructed to perform the safe diagnosis. In particular, a necessary and sufficient condition for safe diagnosability is deduced, and the safe diagnosis of TDES is realized. |
| |
| Keywords: | |
|
| 点击此处可从《控制与决策》浏览原始摘要信息 |
|
点击此处可从《控制与决策》下载全文 |
|
