Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic
复制标题
信号时空逻辑中随机时空系统的指定和监控属性
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
L. Bortolussi
中科院分区：
文献类型：
--
作者：
L. Nenzi;L. Bortolussi
我们提出了一个扩展的线性时间，时间有界，信号时序逻辑来描述时空属性。我们认为一个离散的位置/补丁为基础的空间表示，人口的互动代理在每个位置的发展和代理从一个补丁迁移到另一个。我们提供了一个布尔和定量语义这个逻辑。然后，我们提出了监测算法来检查一个公式的有效性，或计算其满意度（鲁棒性）得分，在时空轨迹，利用这些例程做统计模型检查的随机模型。我们用一个流行病的例子来说明工作中的逻辑，看看霍乱感染在沿着居住的社区中的扩散。
We present an extension of the linear time, time-bounded, Signal Temporal Logic to describe spatio-temporal properties. We consider a discrete location/ patch-based representation of space, with a population of interacting agents evolving in each location and with agents migrating from one patch to another one. We provide both a boolean and a quantitative semantics to this logic. We then present monitoring algorithms to check the validity of a formula, or to compute its satisfaction (robustness) score, over a spatio-temporal trace, exploiting these routines to do statistical model checking of stochastic models. We illustrate the logic at work on an epidemic example, looking at the diffusion of a cholera infection among communities living along a river.
空间逻辑手册
DOI：
10.1007/978-1-4020-5587-4_9
发表时间：
2007
期刊：
--
影响因子：
--
作者：
Kontchakov R
通讯作者：
Kontchakov R
影响因子：
1.1
作者：
Heath, John;Kwiatkowska, Marta;Tymchyshyn, Oksana
通讯作者：
Tymchyshyn, Oksana