期刊文献+

离散事件系统的可测性 被引量:2

Detectability of Discrete Event Systems
下载PDF
导出
摘要 讨论基于自动机/形式语言模型的离散事件系统(DES)的可测性问题。可测性即为根据系统的可观事件和状态输出的信息估计系统的当前状态。定义了四种可测性:强可测性,弱可测性,强周期可测性,弱周期可测性。给出了这些可测性的充要条件,这些充要条件可通过构建观测器进行有效的判定。 Detectability of Discrete Event Systems (DES) based on automata/languages is studied.Detectability is to determine the current state of the sstem according to the event observations and state observations.Four types of detectabilities are defined: strong detectability, weak detectability, strong periodic detectability, and weak periodic detectability.Necessary and sufficient conditions are derived for these detectabitities.These conditions can be checked by constructing an observer,which models the estimation of states under different observations.
出处 《计算机工程与应用》 CSCD 北大核心 2007年第15期19-21,226,共4页 Computer Engineering and Applications
基金 美国国家科学基金项目(No.INT-0213651)。
关键词 离散事件系统 自动机/形式语言 可测性 状态估计 Discrete Event System (DES) automata/languages detectability state estimation
  • 相关文献

参考文献13

  • 1Ramadge P J,Wonham W M.Supervisory control of a class of discrete event processes[J].SIAMJ,Control and Optimization,1987,25(1):206-230.
  • 2Wonham W M,Ramadge P J.On the supremal controllable sublanguages of a given language[J].SIAMJ,Control and Optimization,1987,25 (3):637-659.
  • 3Lafortune S,Chen E.The infimal closed controllable superlanguage and its application in supervisory control[J].IEEE Trans on Automatic Control,1990,35:398-405.
  • 4Chen E,Lafortune S.Dealing with blocking in supervisory control of discrete event systems[J].IEEE Trans on Automatic Control,1991,36:724-735.
  • 5Cieslak R,Desclaux C,Fawaz A S,et al.Supervisory control of discrete event processes with partial observations[J].IEEE Trans on Automatic Control,1988,33:249-260.
  • 6Lin F,Wonham W M.On observability of discrete event systems[J].Information Science,1988,44:173-198.
  • 7Brave Y.On stabilization of discrete event processes[C]//Proc 28th CDC,1989:2737-2743.
  • 8Ozveren C M,Wilsky A S.Output stabilizability of discrete-event dynamic systems[J].IEEE Trans AC,1991,36:925-935.
  • 9Ozveren C M,Wilsky A S.Observability of discrete event dynamic systems[J].IEEE Trans AC,1990,35:797-806.
  • 10Sampath M,Sengupta R,Lafortune S,et al.Failure diagnosis using discrete event models[J].IEEE Transactions on Control Systems Technology,1996,4(2).

同被引文献13

  • 1张琳,陈绍顺.基于集对分析的战场态势分析模型[J].情报指挥控制系统与仿真技术,2005,27(5):55-59. 被引量:5
  • 2李志强,胡晓峰,司光亚,董忠林,张斌.基于人工势场的军事态势分析模型[J].火力与指挥控制,2007,32(4):5-8. 被引量:10
  • 3SANCHEZ A M,MONTOYA F J. Safe supervisory controlunder observability failure[J]. Discrete Event Dynamic Systems,2006,16(4):493-525.
  • 4RAMADGE P J,WONHAM W M. Supervisory control of aclass of discrete event processes[J]. SIAM Jounal of Controland Optimization,1987,25(1):206-230.
  • 5YOUNG S,GARG V K. Model uncertainty in discrete eventsystems [J]. SIAM Journal of Control and Optimization,1995,33(1):208-226.
  • 6LIN F. Robust and adaptive supervisory control of discreteevent systems[J]. IEEE Transactions on Automatic Control,1993,38(12):1848-1852.
  • 7SAMPATH M,SENGUPTA R,LAFORTUNE S,et al. Diagnosabilityof discrete event systems[J]. IEEE Transactionson Automatic Control,1995,40(9):1555-1575.
  • 8CONTANT O,LAFORTUNE S,TENEKETZIS D. Diagnosabilityof discrete event systems with modular structure[J].Discrete Event Dynamic Systems,2006,16(1):9-37.
  • 9WANG Y,YOO T S,LAFORTUNE S. Diagnosis of discreteevent systems using decentralized archi(ectures[J]. DiscreteEvent Dynamic Systems,2007,17(2):233-263.
  • 10BOEL R. Adaptive supervisory control[M]. Norwell:Synthesisand Control of Discrete Event Systems,2002:115-123.

引证文献2

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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