{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002598272,0.0004043562,0.0003130184,0.0001884972,0.0002176853,0.0003540848,0.0005096809,0.0003058824,0.0009855062],"category_scores_gemma":[0.0008983942,0.0001828175,0.0003277436,0.0001707485,0.0002695457,0.0003531686,0.0003458444,0.0005181615,0.0001667095],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002419531,"about_ca_system_score_gemma":0.0003090809,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001335819,"about_ca_topic_score_gemma":0.001118787,"domain_scores_codex":[0.999777,0.00003088062,0.00001654854,0.00005152421,0.0001036775,0.00002027152],"domain_scores_gemma":[0.9996846,0.0001030804,0.00009651609,0.00004237624,0.00006407523,0.000009382835],"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.0001122487,0.00003184285,0.0002966883,0.0003083036,0.00003916651,0.0001874679,0.0001841792,0.7823529,0.1162991,0.01438147,0.0004675869,0.08533907],"study_design_scores_gemma":[0.00002235788,0.000200141,0.0001975478,0.00001458046,0.0000199972,0.00007101079,0.00002214574,0.9738283,0.02008362,0.003002633,0.002526751,0.00001083102],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03108167,0.0002573196,0.9664093,0.00005275423,0.00003944145,0.00002965061,0.00003091873,0.0005600916,0.001538845],"genre_scores_gemma":[0.8944744,0.0002522416,0.1034813,0.00003510376,0.00001713992,0.00007700429,0.00006739449,0.00003923015,0.001556116],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001335819,"threshold_uncertainty_score":0.003296852,"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."}}