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 48 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Approximating the Geometry of Temporal Logic Formulas;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14

2. Monitoring of spatio-temporal properties with nonlinear SAT solvers;International Journal on Software Tools for Technology Transfer;2024-02-22

3. 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

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

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