卡琳·阿尔蒂森;科洛迪奇、奥雷利;佛罗伦萨马拉宁奇;埃里克·鲁顿 使用控制器综合技术构建属性增强层。 （英语） Zbl 1032.93045号 Degano，Pierpaolo（编辑），《编程语言与系统》。2003年4月7日至11日，第12届欧洲编程研讨会，ESOP 2003，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2003，波兰华沙。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2618, 174-188 (2003). 摘要：在复杂系统中，如机器人工厂，应用程序是建立在一组组件或设备之上的。它们中的每一个都有特定的个体约束，并且它们的交互也有逻辑约束，例如与机械特性或对共享资源的访问有关。管理这些约束可以与应用程序分离，并由中间层执行。我们展示了如何以混合命令式/声明式风格构建这样的属性增强层：1）一个组件的固有约束由自动机建模；这些自动机的乘积是应该遵守的约束集的第一近似值；2） 涉及多个组件的约束表示为该产品的时序逻辑属性；3） 我们使用通用的控制器综合技术和工具，将通信并行自动机集合与全局约束相结合。关于整个系列，请参见[Zbl 1017.00033号]. 引用于3文件 MSC公司： 93元65角 离散事件控制/观测系统 65年第68季度 形式语言与自动机 68T40型 机器人人工智能 93C85号 控制理论中的自动化系统（机器人等） PDF格式BibTeX公司 XML格式引用 \textit{K.Altisen}等人，Lect。注释计算。科学。2618、174--188（2003年；Zbl 1032.93045） 全文： 链接