{"id":"W4200632525","doi":"10.1109/tiv.2022.3148212","title":"Structured Learning of Safety Guarantees for the Control of Uncertain Dynamical Systems","year":2022,"lang":"en","type":"article","venue":"IEEE Transactions on Intelligent Vehicles","topic":"Fault Detection and Control Systems","field":"Engineering","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Dynamical systems theory; Computer science; Controller (irrigation); Cruise control; Control (management); Limit (mathematics); Dynamical system (definition); Control theory (sociology); Control engineering; System dynamics; Artificial intelligence; Engineering; Mathematics","routes":{"ca_aff":true,"ca_fund":false,"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.003494127,0.001145614,0.00112784,0.0006602099,0.0005679657,0.001248344,0.001053513,0.001079526,0.00185303],"category_scores_gemma":[0.02306585,0.0004925979,0.0006947509,0.0003385378,0.002592452,0.00226845,0.002495277,0.002625354,0.0002324615],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001221964,"about_ca_system_score_gemma":0.002226235,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001686716,"about_ca_topic_score_gemma":0.001378834,"domain_scores_codex":[0.9981763,0.0006107241,0.0001032812,0.0003075297,0.0006236326,0.0001784594],"domain_scores_gemma":[0.9793774,0.01535852,0.00170487,0.001202821,0.001939055,0.0004172295],"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.0001300674,0.00004821672,0.0004805657,0.000128758,0.00002696476,0.00006934696,0.0001326521,0.9399268,0.002260717,0.04328799,0.0003817675,0.01312608],"study_design_scores_gemma":[0.00001014103,0.00006745752,0.00009025833,0.00001055234,0.000002698064,0.000006179393,0.000009166039,0.9739059,0.0007390454,0.02504907,0.0001050442,0.000004518812],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02571287,0.0001757876,0.9720749,0.0003002591,0.00002437417,0.00003423941,0.0000524015,0.0002090776,0.001416089],"genre_scores_gemma":[0.9596018,0.000203408,0.03888229,0.00012042,0.0000610281,0.000117165,0.0001387085,0.00007477626,0.000800444],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003494127,"threshold_uncertainty_score":0.01847893,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01104579492795688,"score_gpt":0.2276278965081223,"score_spread":0.2165821015801654,"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."}}