• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Annual Allerton Conference on Communication, Control, and Computing; 20040929-1001; Monticello,IL(US) >Computation of Probabilistic Supervisory Controllers for Model Matching
【24h】

Computation of Probabilistic Supervisory Controllers for Model Matching

机译：模型匹配的概率监督控制器的计算

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Probabilistic discrete event systems (PDES) generalize discrete event systems (DES) by attaching an occurence probability to each event so that the underlying DES becomes a generator of a probabilistic language. In this paper PDES supervisors generalize DES supervisors by attaching a probability to the enablement of each controllable events that is updated after each event observation. When an event is disabled, its probability is redistributed via the probability distrubution conditioned on the remaining possible event outcomes. The control problem considered is to find, if possible, a probabilistic supervisory controller such that the probabilistic language generated by the closed loop system matches a given probabilistic specification language. In [6] necessary and sufficient conditions for the existence of a probabilistic supervisor were stated with partial proof. This paper completes the proof of the conditions and provides an algorithm that can be used to compute a solution to the model matching problem when it exists.
机译：概率离散事件系统（PDES）通过将发生概率附加到每个事件上来概括离散事件系统（DES），以使基础DES成为概率语言的生成器。在本文中，PDES监督者通过将概率附加到每个可控事件的启用上来概括DES监督者，该概率在每次事件观察后都会更新。当事件被禁用时，它的概率通过以剩余可能事件结果为条件的概率分布来重新分配。考虑的控制问题是，如果可能的话，找到一个概率监督控制器，以使由闭环系统生成的概率语言与给定的概率规范语言匹配。在[6]中，部分证明了存在概率监督者存在的充要条件。本文完成了条件的证明，并提供了一种算法，该算法可用于在模型匹配问题存在时计算解决方案。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号