...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Automatic Control, IEEE Transactions on >New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage
【24h】

New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage

机译：验证相对可观察性和至上相对可观察子语言的计算的新算法

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

摘要

In this technical note, we present a new property of relative observability, and based on this property, we propose two algorithms: the first one, that has polynomial complexity, verifies if a regular language is relatively observable; the second algorithm computes the supremal relatively observable sublanguage of a given regular language. Although the latter has exponential complexity, it is more efficient than a recently proposed algorithm, which has double exponential complexity. Moreover, the algorithm proposed here has polynomial complexity when the automaton that marks the specification language is state partition.
机译：在本技术说明中，我们提出了一种相对可观察性的新属性，并基于此属性，我们提出了两种算法：第一种算法具有多项式复杂度，可验证常规语言是否相对可观察；第二种算法计算给定规则语言的最高相对可观察子语言。尽管后者具有指数复杂度，但是它比最近提出的算法（具有两倍的指数复杂度）更有效。此外，当标记规范语言的自动机为状态分区时，此处提出的算法具有多项式复杂度。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号