MDESops functions added for sensor attack

Project information

G_SA = def construct_compromised_SA(G, Sen, compact=False, preprocess=True)

function construct_compromised_SA makes the compromised automaton of the original automaton.

SA, A = def construct_SA(G, spec, Sen, compact=True, preprocess=True)

function construct_SA makes the trimmed arena SA which a supervisor can be extracted from.

Created on

April 19, 2023

Copy SSH clone URLgit@gitlab.eecs.umich.edu:broz/mde-sops-functions-added-for-sensor-attack.git
Copy HTTPS clone URLhttps://gitlab.eecs.umich.edu/broz/mde-sops-functions-added-for-sensor-attack.git