• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>World Multiconference on Systemics, Cybernetics and Informatics and 5th International Conference on Information Systems Analysis and Synthesis Vol.7: Industrial Systems, Jul 31-Aug 4, 1999, Orlando, Florida >Synthesizing Controllers from Closed Loop Formal Specifications
【24h】

Synthesizing Controllers from Closed Loop Formal Specifications

机译：根据闭环形式规范合成控制器

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

摘要

The main obstruction to automatic synthesis of optimal controllers for finite state Discrete Event Systems (DESs) is state explosion. We present a new symbolic (i.e. based on Binary Decision Diagrams, BDDs) algorithm to automatically synthesize a program implementing a controller from the plant (finite state) model and the given formal specifications for the closed loop system (plant + controller). This guarantees that the controller program is correct by construction. We show practical usefulness of our techniques by giving experimental results on their use to synthesize a C program implementing an optimal controller (OC) for a semiconductor manufacturing facility (fab). This synthesis experiment entails computing OCs for plants with about 10~(10) states. To the best of our knowledge no previously published algorithm for automatic OC synthesis can handle plants of such size.
机译：有限状态离散事件系统（DES）的最优控制器自动综合的主要障碍是状态爆炸。我们提出了一种新的符号化算法（即基于二元决策图，BDD），可以自动从工厂（有限状态）模型和闭环系统（工厂+控制器）的给定形式规范中合成一个实现控制器的程序。这样可以保证控制器程序在构造上是正确的。我们通过给出关于使用它们的实验结果来合成我们的技术的实用性，这些结果用于综合实现用于半导体制造设施（fab）的最佳控制器（OC）的C程序。该综合实验需要计算大约10〜（10）个状态的植物的OC。据我们所知，以前发布的自动OC合成算法无法处理这种规模的植物。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号