{"id":"W2145729425","doi":"10.1109/acc.2009.5160605","title":"Fault-tolerant controller synthesis for piecewise-affine systems","year":2009,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"Natural Sciences and Engineering Research Council of Canada; Fonds Québécois de la Recherche sur la Nature et les Technologies","keywords":"Control theory (sociology); Linear-quadratic regulator; Controller (irrigation); Piecewise; Fault tolerance; Quadratic equation; Upper and lower bounds; Affine transformation; Mobile robot; Fault (geology); Computer science; Piecewise linear function; Optimal control; Control engineering; Mathematics; Engineering; Control (management); Mathematical optimization; Robot; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007561594,0.0001264921,0.0002399334,0.00008135979,0.0001087288,0.000185954,0.0007010725,0.00006882647,0.0000103566],"category_scores_gemma":[0.00029788,0.00009955605,0.00008226488,0.0001981849,0.00001645207,0.0004078837,0.00002868333,0.00005270763,0.00005425552],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004292235,"about_ca_system_score_gemma":0.00002359492,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001391418,"about_ca_topic_score_gemma":6.032354e-7,"domain_scores_codex":[0.9988258,0.00007974832,0.0003095068,0.000312312,0.0002018166,0.00027075],"domain_scores_gemma":[0.9989271,0.0002653133,0.0001009748,0.0004970185,0.0001363452,0.00007326526],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003201975,0.00007767251,0.000005451545,0.00001813159,0.00001631961,9.240745e-7,0.0001105477,0.0009957553,0.005176144,0.7565656,0.002885184,0.2341163],"study_design_scores_gemma":[0.000475924,0.0001333048,0.0004870575,0.00002172418,0.00000966994,0.00001070454,0.00002205419,0.9707605,0.01000009,0.001836938,0.01605633,0.0001857486],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007915667,0.0001340639,0.9872366,0.001056902,0.0004834497,0.0005625151,0.000002833129,0.0003075734,0.009424486],"genre_scores_gemma":[0.4480853,0.00000527394,0.5499787,0.0003903627,0.0001008336,0.0001197358,5.731872e-7,0.000005613729,0.001313613],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9697647,"threshold_uncertainty_score":0.4059778,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02757862762708487,"score_gpt":0.28702023757057,"score_spread":0.2594416099434851,"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."}}