{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.002456502,0.0004872704,0.000797223,0.0002560458,0.0007188064,0.001069437,0.001626844,0.0002926666,0.000006077195],"category_scores_gemma":[0.0002754337,0.0003737774,0.00009696701,0.0003601801,0.001968033,0.0007300043,0.0009119849,0.0009469711,0.000002272611],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001563823,"about_ca_system_score_gemma":0.00024216,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005082168,"about_ca_topic_score_gemma":0.00005900782,"domain_scores_codex":[0.9964057,0.0002257503,0.0006775156,0.001447554,0.0006932362,0.0005502721],"domain_scores_gemma":[0.9955205,0.002062106,0.0004469456,0.001402393,0.0003942971,0.00017376],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002133573,0.00002598119,0.001443515,0.0001141212,0.00006280267,0.00003865685,0.0006912551,0.02343624,0.0007065365,0.04866624,0.000003103052,0.9247902],"study_design_scores_gemma":[0.00080729,0.0001111508,0.01313359,0.0002623543,0.00006279368,0.0002299838,0.000001659822,0.9168313,0.0005494567,0.06674525,0.0005000738,0.0007651364],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001509424,0.0009624532,0.9937083,0.001666352,0.001005401,0.0006699331,0.00002328748,0.0001007986,0.0003541051],"genre_scores_gemma":[0.5838805,0.00004146148,0.4152309,0.0004309909,0.0003360141,0.00001738856,0.000005911925,0.00002413053,0.00003267725],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9240251,"threshold_uncertainty_score":0.9999676,"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."}}