A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems.
Ezio BartocciLuca BortolussiLaura NenziMichele LoretiPublished in: CoRR (2021)
Keyphrases
- cyber physical systems
- dynamic networks
- spatially distributed
- cyber physical
- physical world
- environmental conditions
- cyber security
- network analysis
- network structure
- embedded systems
- dynamic behavior
- critical infrastructure
- real time
- biological networks
- temporal evolution
- intrusion detection
- ubiquitous computing
- real world networks
- anomaly detection
- dynamic environments
- high speed