Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems
Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems
复制标题
监控分布式网络物理系统中的信号时间逻辑
DOI：
10.1145/3576841.3585937
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Bonakdarpour, Borzoo
中科院分区：
文献类型：
--
作者：
Momtaz, Anik;Abbas, Houssam;Bonakdarpour, Borzoo
本文解决了分布式信息物理系统（CPS）中信号时序逻辑的运行时验证问题。我们假设一个部分同步的设置，其中时钟同步算法保证所有信号之间的时钟漂移的约束。我们介绍了一个公式的进展和signalretimingtechnique，允许推理的正确性公式之间的连续时间和连续值的信号，不共享一个全球性的时间观。由此产生的问题被编码为可满足性模理论（SMT）解决问题，我们介绍的技术来解决SMT编码效率。我们还进行了两个案例研究，监测网络的飞行器和水分配系统。
This paper solves the problem of runtime verification forsignal temporal logicindistributedcyber-physical systems (CPS). We assume a partially synchronous setting, where a clock synchronization algorithm guarantees a bound on clock drifts among all signals. We introduce a formula progression and a signalretimingtechnique that allow reasoning about the correctness of formulas among continuous-time and continuous-valued signals that do not share a global view of time. The resulting problem is encoded as asatisfiability modulo theory(SMT) solving problem, and we introduce techniques to solve the SMT encoding efficiently. We also conduct two case studies on monitoring a network of aerial vehicles and a water distribution system.
登录
查看更多内容
使用 SMT 求解器监控部分同步分布式系统
DOI：
10.1007/978-3-319-67531-2_17
发表时间：
2017
期刊：
ArXiv
影响因子：
--
作者：
Vidhya Tekken Valapil;Sorrachai Yingchareonthawornchai;S. Kulkarni;E. Torng;M. Demirbas
通讯作者：
M. Demirbas
去中心化流运行时验证
DOI：
10.1007/978-3-030-32079-9_11
发表时间：
2019
期刊：
2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS)
影响因子：
--
作者：
Luis Miguel Danielsson;César Sánchez
通讯作者：
César Sánchez
影响因子：
0.8
作者：
A. Bauer;Yliès Falcone
通讯作者：
A. Bauer;Yliès Falcone
DOI：
10.1007/978-3-540-75142-7_32
发表时间：
2007-09
期刊：
--
影响因子：
--
作者：
V. Ogale;V. Garg
通讯作者：
V. Ogale;V. Garg
分布式系统中 LTL 规范的去中心化运行时验证
DOI：
10.1109/ipdps.2015.95
发表时间：
2015
期刊：
2015 IEEE International Parallel and Distributed Processing Symposium
影响因子：
--
作者：
Menna Mostafa;Borzoo Bonakdarpour
通讯作者：
Borzoo Bonakdarpour