Publication | Closed Access

Codiagnosability of discrete event systems revisited: A new necessary and sufficient condition and its applications

Reachability AnalysisReliability EngineeringEngineeringDiscrete Event SystemUncertainty QuantificationDiscrete Event SystemsEvent-driven ProgrammingVerificationProbabilistic VerificationFormal MethodsSufficient ConditionSystems EngineeringSupervisory ControlComputer ScienceFormal Verification