Detection of Smart Grid Integrity Attacks Using Signal Temporal Logic.
José Ignacio RequenoPublished in: CoRR (2022)
Keyphrases
- temporal logic
- smart grid
- model checking
- power system
- cyber security
- intrusion detection and prevention
- linear temporal logic
- verification method
- power grid
- information security
- belief revision
- network security
- advanced metering infrastructure
- security issues
- communication networks
- data collection
- communication systems
- artificial intelligence
- mazurkiewicz traces
- anomaly detection
- decentralized control
- computational intelligence
- information technology