Monitoring mobile and spatially distributed cyber-physical systems-Reference-Cited by-同舟云学术

Monitoring mobile and spatially distributed cyber-physical systems

Published:2017-09-29 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
language:
Short-container-title:

Author:

Bartocci Ezio¹,Bortolussi Luca²,Loreti Michele³,Nenzi Laura¹

Affiliation:

1. Technische Universität Wien, Wien, Austria

2. Università di Trieste, Trieste, Italy

3. Università di Firenze, Florence, Italy

Funder

Austrian Science Fund (FWF)

EU-FET

Austrian National Research Network

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3127041.3127050

Reference20 articles.

1. Voronoi diagrams—a survey of a fundamental geometric data structure

2. A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks;Bartocci E.;IEEE Transactions on Control of Network Systems PP,2016

3. Semiring-based constraint satisfaction and optimization

Cited by 46 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21

2. Spatio-Temporal Rule Constraint Guided Safe Reinforcement Learning for CPS;2023 10th International Conference on Dependable Systems and Their Applications (DSA);2023-08-10

3. A Spatial Logic for Simplicial Models;Logical Methods in Computer Science;2023-07-26

4. MoonLight: a lightweight tool for monitoring spatio-temporal properties;International Journal on Software Tools for Technology Transfer;2023-06-22

5. A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors;2023 IEEE International Conference on Robotics and Automation (ICRA);2023-05-29