Adaptive distributed monitors of spatial properties for cyber–physical systems-Reference-Cited by-同舟云学术

Adaptive distributed monitors of spatial properties for cyber–physical systems

Author:

Audrito Giorgio^ORCID,Casadei Roberto^ORCID,Damiani Ferruccio^ORCID,Stolz Volker^ORCID,Viroli Mirko

Funder

Ministero dell’Istruzione, dell’Università e della Ricerca

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference58 articles.

1. Understanding the limits of LoRaWAN;Adelantado;IEEE Commun. Mag.,2017

2. Spatial Reasoning: Theory and Practice;Aiello,2002

3. Predicting social density in mass events to prevent crowd disasters;Anzengruber,2013

4. Field-based coordination with the share operator;Audrito;Log. Methods Comput. Sci.,2020

5. Space-time universality of field calculus;Audrito,2018

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

1. Real-Time Guarantees for SLCS Monitors in XC;Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution;2024-09-13

2. Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties;Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution;2024-09-13