Synthesis for Structure Rewriting Systems
Synthesis for Structure Rewriting Systems
复制标题
结构重写系统的综合
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Lukasz Kaiser
中科院分区：
文献类型：
--
作者：
Lukasz Kaiser
在实践中，对被建模系统的单一状态的描述通常是复杂的，但很少有综合过程深入地解决这个问题。我们研究这样的系统，其中状态由任意有限结构来描述，状态的变化由结构重写规则、项的推广和图重写来表示。环境和控制器都被允许以这种方式改变结构，我们问的问题是如何为控制器制定一种策略，以确保可以综合给定的属性。
The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in which a state is described by an arbitrary finite structure, and changes of the state are represented by structure rewriting rules, a generalisation of term and graph rewriting. Both the environment and the controller are allowed to change the structure in this way, and the question we ask is how a strategy for the controller that ensures a given property can be synthesised.