Το detectability enforcement είναι μια διαδικασία που γίνεται σε συστήματα διακριτών συμβάντων (discrete event systems (DES)),τα οποία μπορούν να μοντελοποιηθούν ως finite automata with outputs δηλαδή με πεπερασμένο αριθμό ...