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

判定非确定离散事件系统稳定性的多项式复杂度算法

Algorithms with polynomial complexity for determining the stability of nondeterministic discrete-event systems
下载PDF
导出
摘要 本文讨论基于非确定自动机/形式语言模型的非确定离散事件系统稳定性的多项式算法.在引入拟距离的概念之后,根据拟距离形式化地定义了非确定离散事件系统稳定性.以往判定非确定离散事件系统稳定性的算法基于系统的观测器实现,该观测器在结构上具有指数复杂度,因此本文分析系统结构和观测器结构之间的关系,基于对系统状态对的讨论,提出了判定系统稳定性的有效多项式搜索算法. The stability of discrete-event systems is studied based on nondeterministic automata/languages. The stability of nondeterministic discrete event systems is re-defined formally according to the definition of the quasi-distance between two states and state-subsets. An effective polynomial algorithm for determining the stability is proposed by investigating the state-pairs of the system.
作者 舒少龙 刘君
机构地区 同济大学电子信息与工程学院 青岛农业大学信息学院
出处 《控制理论与应用》 EI CAS CSCD 北大核心 2009年第11期1247-1250,共4页 Control Theory & Applications
基金 国家青年科学基金资助项目(60804042 60904019) 教育部科学研究重大项目(306023) 同济大学青年优秀人才培养行动计划资助项目
关键词 非确定自动机/形式语言模型 稳定性 梯度搜索 多项式复杂度 non-deterministic automata/languages stability gradient search polynomial complexity
分类号 TP11 [自动化与计算机技术—控制理论与控制工程]
  • 相关文献

参考文献15

  • 1RAMADGE P J, WONHAM W M. Supervisory control of a class of discrete event processes[J]. SlAM Journal of Control and Optimization, 1987, 25(1): 206 - 230.
  • 2WONHAM W M, RAMADGE P J. On the supremal controllable sublanguages of a given language[J]. SIAM Journal of 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 Transactions on Automatic Control, 1990, 35(4): 398 - 405.
  • 4CHEN E, LAFORTUNE S. Dealing with blocking in supervisory control of discrete event systems[J]. IEEE Transactions on Automatic Control, 1991, 36(7): 724 - 735.
  • 5CIESLAK R, DESCLAUX C, FAWAZ A S, et al. Supervisory control of discrete event processes with partial observations[J]. IEEE Transactions on Automatic Control, 1988, 33(3): 249 - 260.
  • 6LIN F, WONHAM W M. On obsevability of discrete event systems[J]. Information Science, 1988, 44(2): 173 - 198.
  • 7BRAVE Y. On stabilization of discrete event processes[C]//Proceedings of the 28th IEEE Conference on Decision and Control. New York: IEEE, 1989:2737 - 2743.
  • 8OZVEREN C M, WILSKY A S. Output stabilizability of discrete-event dynamic systems[J]. IEEE Transactions on Automatic Control, 1991, 36(8): 925 - 935.
  • 9OZVEREN C M, WILSKY A S. Observability of discrete event dynamic systems[J]. IEEE Transactions on Automatic Control, 1990, 35(7): 797 - 806.
  • 10舒少龙,林峰,黄志强.离散事件系统N步稳定性分析[J].计算机工程与应用,2007,43(7):17-19. 被引量：1

二级参考文献27

  • 1胡英奇 刘建庸.马尔可夫决策过程引论[M].西安:西安电子科技大学出版社,2000..
  • 2Ye H，IEEE Trans Automat Control，1998年，43卷，4期，461页
  • 3胡奇英，马尔可夫决策过程引论，2000年
  • 4徐国华，离散事件动态系统的监控方法，1996年
  • 5Sampath M,Sengupta R,Lafortune S,et al.Failure diagnosis using discrete event models[J].IEEE Transactions on Control Systems Technology,1996,4 (2).
  • 6Cassandras C G,Lafortune S.Introduction to discrete event systems[M].[S.l.]:Kluwer,1999.
  • 7Ramadge P J,Wonham W M.Supervisory control of a class of discrete event processes[J].SIAMJ Control and Optimization,1987,25(1):206-230.
  • 8Wonham W M,Ramadge P J.On the supremal controllable sublanguages of a given language[J].SIAMJ Control and Optimization,1987,25 (3):637-659.
  • 9Lafortune S,Chen E.The infimal closed controllable superlanguage and its application in supervisory control[J].IEEE Trans on Automatic Control,1990,35:398-405.
  • 10Chen E,Lafortune S.Dealing with blocking in supervisory control of discrete event systems[J].IEEE Trans on Automatic Control,1991,36:724-735.

共引文献5

控制理论与应用
2009年 第11期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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