Directed Controller Synthesis of discrete event systems: Taming composition with heuristics
Directed Controller Synthesis of discrete event systems: Taming composition with heuristics
复制标题
离散事件系统的定向控制器综合：用启发式方法驯服组合
DOI：
10.1109/cdc.2016.7798996
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Sebastián Uchitel
中科院分区：
文献类型：
--
作者：
D. Ciolek;V. Braberman;Nicolás D'Ippolito;Sebastián Uchitel
本文提出了一种离散事件系统的有向控制器综合（DCS）技术。这种DCS方法探索了由独立于域的启发式引导的反应控制器的解决方案空间。启发式是来自一个有效的抽象的环境的基础上组件化的方式来描述复杂的环境。然后，通过构建组件的组成，DCS通过探索状态空间的减少部分来获得解决方案。这项工作的重点是不定时离散事件系统的安全和共同安全（即可达性）的目标。该技术的评价比较它与其他知名的控制器合成方法（基于符号表示和成分分析）。
This paper presents a Directed Controller Synthesis (DCS) technique for discrete event systems. This DCS method explores the solution space for reactive controllers guided by a domain-independent heuristic. The heuristic is derived from an efficient abstraction of the environment based on the componentized way in which complex environments are described. Then by building the composition of the components on-the-fly DCS obtains a solution by exploring a reduced portion of the state space. This work focuses on untimed discrete event systems with safety and co-safety (i.e. reachability) goals. An evaluation for the technique is presented comparing it to other well-known approaches to controller synthesis (based on symbolic representation and compositional analyses).