Uma abordagem de verificação de modelo físico artificialmente inteligente para detectar ataques relacionados a comutação em sistemas de energia | Synapse