{"id":"W3196034421","doi":"10.1007/978-3-030-85037-1_5","title":"Closing the Gap Between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability","year":2021,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Controllability; Temporal logic; Reachability; Decidability; Linear temporal logic; Computer science; Completeness (order theory); Robustness (evolution); Control theory (sociology); Nonlinear system; Abstraction; Nonlinear control; Bisimulation; Control system; Theoretical computer science; Mathematics; Control (management); Artificial intelligence; Applied 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.00405942,0.000921888,0.001635215,0.0007653761,0.0008663487,0.003775064,0.002094718,0.002092902,0.004278499],"category_scores_gemma":[0.008724852,0.001064342,0.001832524,0.0007290627,0.008405682,0.0122717,0.004973814,0.007654345,0.0007877361],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009653258,"about_ca_system_score_gemma":0.001587135,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009273421,"about_ca_topic_score_gemma":0.0004056397,"domain_scores_codex":[0.9967751,0.0009554161,0.0001995137,0.000727583,0.001108472,0.000233832],"domain_scores_gemma":[0.9906543,0.00635823,0.0003375966,0.002008245,0.0004820837,0.0001595373],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00006129183,0.00002340328,0.00008420365,0.000204025,0.0000267231,0.00003582814,0.0002388073,0.01301131,0.0008589898,0.9613894,0.001491633,0.02257439],"study_design_scores_gemma":[0.00001781957,0.0000252004,0.00004421374,0.00004360783,0.00001033397,0.00002415906,0.00003118027,0.02516634,0.0007495315,0.9693626,0.004515264,0.000009835198],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01021045,0.002041833,0.9661108,0.001946746,0.0001711861,0.00003428795,0.0001036782,0.0003057276,0.01907526],"genre_scores_gemma":[0.6366038,0.004578983,0.3392126,0.001462588,0.0008584018,0.0004213109,0.0005460436,0.0005280427,0.01578823],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004278499,"threshold_uncertainty_score":0.02146852,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03050971816796247,"score_gpt":0.280878531499423,"score_spread":0.2503688133314605,"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."}}