关于表达与监测振荡动力学
计算工程、金融与科学
2012-08-21 v1 计算机科学中的逻辑
数值分析
系统与控制
摘要
为了表达稠密时间实值信号的时间属性，Maler 等人定义了信号时序逻辑（Signal Temporal Logic, STL）。该工作提出了一种监测算法，用于判定连续信号的有限离散样本上 STL 公式的可满足性。该逻辑已被用于表达和分析生物系统，但其表达能力不足以充分区分生物学中重要的振荡属性。在本文中，我们定义了扩展逻辑 STL*，其中 STL 增加了信号值冻结算子，使我们能够表达（并区分）生物振荡的详细属性。该逻辑由一个在 Matlab 中原型化的监测算法支持。STL* 的监测过程在一个具有生物相关性的案例研究中进行了评估。
引用
@article{arxiv.1208.3853,
title = {On Expressing and Monitoring Oscillatory Dynamics},
author = {Petr Dluhoš and Luboš Brim and David Šafránek},
journal= {arXiv preprint arXiv:1208.3853},
year = {2012}
}
备注
In Proceedings HSB 2012, arXiv:1208.3151