Predictive Formal Analysis of Resilience in Cyber-Physical Systems.

Sebti Mouelhi Mohamed-Emine Laarouchi Daniela Cancila Hakima Chaouchi

Published in: IEEE Access (2019)

Keyphrases

formal analysis
cyber physical systems
cyber physical
physical world
cyber security
embedded systems
agent model
ban logic
critical infrastructure
formal methods
high speed
computational intelligence
smart grid
object oriented
decision making
information systems
artificial intelligence
real time