{"id":"W2968505024","doi":"10.23919/ecc.2019.8796074","title":"Active Fault Diagnosis via Reachable Set Separation using Interval Methods","year":2019,"lang":"en","type":"article","venue":"","topic":"Fault Detection and Control Systems","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Queen's University; Queen's University Belfast; European Commission","keywords":"Lipschitz continuity; Bounded function; Interval (graph theory); Optimization problem; Mathematical optimization; Sequence (biology); Computer science; Control theory (sociology); Invariant (physics); Interval arithmetic; Fault detection and isolation; Mathematics; Algorithm; Control (management); Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00104191,0.001169813,0.001154337,0.001318509,0.0003081694,0.0008619094,0.001227483,0.0007728861,0.001797147],"category_scores_gemma":[0.002540486,0.0005044152,0.0008945137,0.0005546192,0.0008142522,0.001206659,0.001315996,0.001272176,0.0003291838],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007335757,"about_ca_system_score_gemma":0.0007408988,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001518464,"about_ca_topic_score_gemma":0.0008841833,"domain_scores_codex":[0.9992123,0.0002481252,0.00004003603,0.0001293328,0.0003034972,0.00006677327],"domain_scores_gemma":[0.9984144,0.001104912,0.0002222082,0.00007576609,0.0001402253,0.00004244511],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001267492,0.00005325825,0.0002815253,0.0001305658,0.0000432206,0.00007948483,0.0001161767,0.8944242,0.005713901,0.02207489,0.0003214902,0.0766344],"study_design_scores_gemma":[0.000006294967,0.00002898787,0.00004340467,0.000009199813,0.00000503458,0.00001133547,0.000004425861,0.9932815,0.001084946,0.005281842,0.0002373856,0.00000555389],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003107951,0.0001073033,0.996026,0.00001926512,0.000005862762,0.00001292647,0.000007249466,0.0001664268,0.0005469975],"genre_scores_gemma":[0.5998926,0.0003180378,0.3977253,0.00006055778,0.00004757385,0.0001856818,0.0001019745,0.0001367107,0.001531612],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.001797147,"threshold_uncertainty_score":0.006012022,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02447905494721123,"score_gpt":0.3343460785978498,"score_spread":0.3098670236506385,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}