Timed Automata Networks for SCADA Attacks Real-Time Mitigation.
Francesco MercaldoFabio MartinelliAntonella SantonePublished in: KES-IDT (2022)
Keyphrases
- timed automata
- real time
- control system
- real time systems
- reachability analysis
- model checking
- low cost
- social networks
- supervisory control
- risk management
- quality of service
- data acquisition
- complex networks
- network structure
- watermarking scheme
- theorem prover
- temporal logic
- computer networks
- vision system
- high speed
- artificial intelligence