One powerful way to do this is through a routine called slow reveal graphs.
Abstract: Language diagnosability captures the capability of the system to detect faults based on observations. When a system is not diagnosable, supervisory control can be used to enforce its ...