Publication | Closed Access

Closed-loop input design for guaranteed fault diagnosis using set-valued observers

Fault DiagnosisEngineeringVerificationDiagnosisProcess ControlFormal MethodsSystems EngineeringComputer EngineeringFault-tolerant ControlSystem DiagnosisFault DetectionFormal VerificationAutomatic Fault Detection