...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE Transactions on Automatic Control >Model matching for finite-state machines
【24h】

Model matching for finite-state machines

机译：有限状态机的模型匹配

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

摘要

The problem of model matching for finite state machines (FSMs) consists of finding a controller for a given open-loop system so that the resulting closed-loop system matches a desired input-output behavior. In this paper, a set of model matching problems is addressed: strong model matching (where the reference model and the plant are deterministic FSMs and the initial conditions are fixed), strong model matching with measurable disturbances (where disturbances are present in the plant), and strong model matching with nondeterministic reference model (where any behavior out of those in the reference model has to be matched by the closed-loop system). Necessary and sufficient conditions for the existence of controllers for all these problems are given. A characterization of all feasible control laws is derived and an efficient synthesis procedure is proposed. Further, the well-known supervisory control problem for discrete-event dynamical systems (DEDSs) formulated in its basic form is shown to be solvable as a strong model matching problem with measurable disturbances and nondeterministic reference model
机译：有限状态机（FSM）的模型匹配问题在于找到给定开环系统的控制器，以使所得的闭环系统与所需的输入输出行为相匹配。在本文中，解决了一组模型匹配问题：强模型匹配（其中参考模型和工厂是确定性FSM，并且初始条件是固定的），强模型匹配可测量的干扰（工厂中存在干扰） ，以及与不确定参考模型（其中参考模型中的任何行为都必须由闭环系统进行匹配）的强模型匹配。对于所有这些问题，给出了存在控制器的充要条件。推导了所有可行控制律的特征，并提出了一种有效的综合程序。此外，以基本形式制定的离散事件动态系统（DEDS）的众所周知的监督控制问题已显示可解决，它是具有可测量干扰和不确定参考模型的强大模型匹配问题。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号