What You Really Need To Know About Your Neighbor
What You Really Need To Know About Your Neighbor
复制标题
关于你的邻居，你真正需要了解的是什么
DOI：
10.4204/eptcs.229.4
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Astrid Rakow
中科院分区：
文献类型：
--
作者：
W. Damm;B. Finkbeiner;Astrid Rakow
系统设计中的一个基本问题是决定一个组件的设计必须知道多少，以便成功地设计系统的另一个组件。我们研究这个问题的反应性合成的设置，其中一个构造一个系统实现的时间逻辑中给出的规范。在以前的工作中，我们已经表明，该系统可以构造成分，一个组件的时间，如果规范承认一个“占主导地位”（如导言中所解释的）的每个组件的策略。在本文中，我们推广的方法设置的优势策略只存在于某些假设下的其他组件的未来行为。我们提出了一个增量合成方法的基础上自动建设这样的假设。
A fundamental question in system design is to decide how much of the design of one component must be known in order to successfully design another component of the system. We study this question in the setting of reactive synthesis, where one constructs a system implementation from a specification given in temporal logic. In previous work, we have shown that the system can be constructed compositionally, one component at a time, if the specification admits a "dominant" (as explained in Introduction) strategy for each component. In this paper, we generalize the approach to settings where dominant strategies only exist under certain assumptions about the future behavior of the other components. We present an incremental synthesis method based on the automatic construction of such assumptions.
影响因子：
0.5
作者：
W. Damm;H. Peter;Jan-Hendrik Rakow;B. Westphal
通讯作者：
W. Damm;H. Peter;Jan-Hendrik Rakow;B. Westphal
使用树搜索算法规划认知汽车的协作运动
DOI：
10.1007/978-3-642-16111-7_10
发表时间：
2010
期刊：
影响因子：
--
作者：
Christian Frese;Jürgen Beyerer
通讯作者：
Jürgen Beyerer