Power system security in market clearing and dispatch mechanisms | Synapse