A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems.
Laura NenziEzio BartocciLuca BortolussiMichele LoretiPublished in: Log. Methods Comput. Sci. (2022)
Keyphrases
- cyber physical systems
- dynamic networks
- spatially distributed
- cyber physical
- physical world
- cyber security
- network structure
- environmental conditions
- network analysis
- dynamic behavior
- embedded systems
- temporal evolution
- biological networks
- monitoring system
- critical infrastructure
- real time
- intrusion detection
- real world networks
- high speed
- sensor networks
- artificial intelligence
- data mining