关于表达和监控振荡动力学
On Expressing and Monitoring Oscillatory Dynamics
AI总结：
本文提出扩展的信号时序逻辑STL*，通过引入信号值冻结算子来增强表达能力，以区分生物学中重要的振荡特性，并实现了监控算法。
摘要：
为了表达稠密时间实值信号的时间属性，Maler等人定义了信号时序逻辑（STL）。该工作提出了一种监控算法，用于判断连续信号有限离散样本上STL公式的可满足性。该逻辑已被用于表达和分析生物系统，但其表达能力不足以充分区分生物学中重要的振荡特性。在本文中，我们定义了扩展逻辑STL*，其中STL通过一个信号值冻结算子得到增强，从而允许我们表达（并区分）生物振荡的详细属性。该逻辑由一个在Matlab中原型实现的监控算法支持。STL*的监控过程在一个生物学相关的案例研究中进行了评估。
英文摘要：
To express temporal properties of dense-time real-valued signals, the Signal Temporal Logic (STL) has been defined by Maler et al. The work presented a monitoring algorithm deciding the satisfiability of STL formulae on finite discrete samples of continuous signals. The logic has been used to express and analyse biological systems, but it is not expressive enough to sufficiently distinguish oscillatory properties important in biology. In this paper we define the extended logic STL* in which STL is augmented with a signal-value freezing operator allowing us to express (and distinguish) detailed properties of biological oscillations. The logic is supported by a monitoring algorithm prototyped in Matlab. The monitoring procedure of STL* is evaluated on a biologically-relevant case study.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
