Active Fault Detection of Switched Logical Control Networks with State Constraints | Synapse