An artificially intelligent physical model-checking approach to detect switching-related attacks on power systems | Synapse