标题：基于DES监督控制理论的安全关键系统设计研究
作者：王鹏 王向云 蔡开元
作者单位：北京航空航天大学自动化科学与电气工程学院，北京 100083
关键字：离散事件系统，监督控制，安全关键系统，系统设计，自动机
摘要：以矿井水泵的操控系统为实例研究对象，通过对该实例的分析与设计，来阐述如何将离散事件系统 Discrete Event System的监督控制理论应用于安全关键系统的设计，从而为系统的可靠性设计探索新的方法。