• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>8th International Workshop on Computer Aided Systems Theory, 8th, Feb 19-23, 2001, Las Palmas de Gran Canaria, Spain >Towards a Computer-Aided Design of Reactive Systems
【24h】

Towards a Computer-Aided Design of Reactive Systems

机译：迈向无功系统的计算机辅助设计

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

摘要

We consider a new approach to synthesize abstract machines for reactive programs that interact with processes in order to achieve some control requirements in the context of the Supervisory Control Theory. The motivation behind our synthesis approach is related to the problem of scalability. Generally, synthesis procedures are based on a comparison of two state spaces (fixpoint calculation-based approach) or an exploration of a state space (search-based approach). In neither case do the synthesis procedures scale to specifications of realistic size. To circumvent this problem, we propose: i) to combine two formal notations for the representation of reactive programs in addition to the one for specifying control requirements; and ii) to integrate a synthesis procedure in a framework in which various transformations are applied with the sole aim of solving a smaller control problem from an abstract model.
机译：我们考虑一种新的方法来为与程序交互的反应性程序合成抽象机，以便在监督控制理论的背景下达到一些控制要求。我们综合方法背后的动机与可伸缩性问题有关。通常，综合过程基于两个状态空间的比较（基于固定点计算的方法）或状态空间的探索（基于搜索的方法）。在任何情况下，合成程序都无法按实际尺寸规格进行缩放。为了解决这个问题，我们建议：i）除了用于指定控制要求的一种之外，还结合两种用于表示反应性程序的形式符号； ii）将综合过程集成到一个框架中，在框架中进行各种转换，其唯一目的是从抽象模型中解决较小的控制问题。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号