世界自动机：一种在分层混合系统中建模隐式通信的组合方法
形式语言与自动机理论
2013-08-27 v1 多智能体系统
摘要
我们提出了混合输入/输出自动机 (HIOAs) 的一种扩展，用于建模智能体系统及其通过环境扰动（如物体定位或无线电信号的扩散与检测）进行的隐式通信。这种称为世界自动机 (World Automaton, WA) 的新对象，其构建方式旨在尽可能保留 HIOAs 及其基础理论的组合性质。从形式化角度来看，我们通过一组世界变量丰富了经典 HIOAs，这些变量的值是时间和空间的函数。世界变量的处理方式类似于 HIOAs 的局部变量，不同之处在于并行组合中，由世界变量产生的扰动会被累加。通过这种方式，我们获得了一种能够同时建模智能体和环境的结构，从而在模型中引入层次性并导出了一个新的算子。事实上，这个称为“内置”(inplacement) 的算子，对于表示一个对象 (WA) 存在于另一个对象/环境 (WA) 内部的可能性是必需的。
引用
@article{arxiv.1308.5335,
title = {World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems},
author = {Marta Capiluppi and Roberto Segala},
journal= {arXiv preprint arXiv:1308.5335},
year = {2013}
}
备注
In Proceedings HAS 2013, arXiv:1308.4904