期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于DES监督控制理论的安全关键系统设计研究 被引量：1

New Design Approach for Safety-Critical Systems Based on the Supervisory Control Theory of Discrete Event Systems
在线阅读 下载PDF
导出
摘要 以矿井水泵的操控系统为实例研究对象,通过对该实例的分析与设计,来阐述如何将离散事件系统(DiscreteEventSystem)的监督控制理论应用于安全关键系统的设计,从而为系统的可靠性设计探索新的方法。 This paper concerns the design of safety-critical systems.We propose a new design approach based on the supervisory control theory of discrete event systems,to ensure the reliability of the system in the design process.A case,mine pump operating system,is carefully studied in this paper to illustrate how to apply the new approach.
作者 王鹏 王向云 蔡开元
机构地区 北京航空航天大学自动化科学与电气工程学院
出处 《工业控制计算机》 2006年第3期12-14,共3页 Industrial Control Computer
关键词 离散事件系统 监督控制 安全关键系统 系统设计 自动机 Discrete Event System （DES）,supervisory control,safety-critical system,system design,automaton
分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献2

二级参考文献25

  • 1J M Wing. A Specifier's Introduction to Formal Methods.IEEE Computer, September 1990,23(9): 8-24.
  • 2J A Hall. Seven Myths of Formal Methods. IEEE Software,September 1990,7(5): 11-19.
  • 3J P Bowen and M G Hinchey. Seven More Myths of Formal Methods. IEEE Software, July 1995,12(4): 34-41.
  • 4J P Bowen and M G Hinchey. Ten Commandments of Formal Methods. IEEE Computer, April 1995,28(4): 56-63.
  • 5E Clarke and J Wing. Formal Methods: State of the Art and Future Directions. CMU Computer Science Technical Report CMU-CS-96-178, August 1996.
  • 6M Barjaktarovic. The State-of-the-art in Formal Methods,AFOSR Summer Research technical report for Rome Research Site, AFBL/IFGB. http://www.wetstonetech.com.
  • 7R Wieringa.A survey of structured and object-oriented software specification methods and techniques. ACM Computing Surveys, December 1998,30(4).
  • 8C Kern and M R Greenstreet. Formal verification in hardware design: a survey. ACM Transactions on Design Automation of Electronic Systems, April 1999,4(2): 123-193.
  • 9M Spivey. The Z Notation: A Reference Manual, 2nd edition, Prentice Hall International Series in Computer Science, 1992.
  • 10S Schneider. The B-Method: An Introduction, Palgrave,Cornerstones of Computing series, October 2001.

共引文献23

同被引文献29

  • 1邹晖,陈万春,殷兴良.Stateflow在巡航导弹仿真中的应用[J].系统仿真学报,2004,16(8):1854-1856. 被引量：16
  • 2蒋智平,吴智铭,张钟俊.离散事件系统的监督控制理论[J].上海交通大学学报,1993,27(6):108-115. 被引量：2
  • 3郑应平.离散事件系统理论研究和应用进展（Ⅱ）[J].控制与决策,1996,11(3):233-241. 被引量：22
  • 4Cassandras G c and Lafortune.Introduction to Discrete Event Systems[M].Boston:Kluwer,1999.
  • 5Ye Hui,Miehel N Anthony and Hou Ling.Stability Theory for Hybrid Dynamical Systems[D].IEEE Transaction on Automatic Control,1998,43 (4):461-474.
  • 6Wonham M W.Notes on Control of Discrete-Event Systems[D].Toronto.Canada:Department of Electrical and Computer Engineering,University of Toronto,2002.
  • 7Wonham M W.Supervisory Control Theory:Models and Methods[D].Systems Control Group ECE Department,University of Toronto,2003,6.
  • 8Wonham M W.Supervisory Control of Discrete-Event Systems[D].Canada:Department of Electrical and computer Engineering,University of Toronto,2006.
  • 9Wonham M W.From Linear Systems to Discrete-Event Systems[R].Beijing:Beijing University of Aeronautics and Astronautics,2006,12.
  • 10Alur Rajeev,Henzinger A Thomas,Lafferriere Gerardo,and Pappas J George.Discrete Abstractions of Hybrid Systems[C]// Proceeding of the 1EEE,2000,88.

引证文献1

工业控制计算机
2006年 第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部