{"id":"W2932939794","doi":"10.48550/arxiv.1903.06368","title":"Robust Decidability of Sampled-Data Control of Nonlinear Systems with Temporal Logic Specifications","year":2019,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Advanced Control Systems Optimization","field":"Engineering","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Decidability; Temporal logic; Computer science; Nonlinear system; Linear temporal logic; Temporal logic of actions; Mathematics; Interval temporal logic; Control theory (sociology); Algorithm; Control (management); Theoretical computer science; Artificial intelligence; Physics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002768149,0.0003103257,0.0007947171,0.0001964401,0.00003171879,0.00001761683,0.000980033,0.0002779856,0.00001683879],"category_scores_gemma":[0.00006580315,0.0003232819,0.0001010922,0.0003721979,0.0001269673,0.0002384467,0.0002483925,0.0003257142,0.00001030633],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002228844,"about_ca_system_score_gemma":0.0001374772,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002892511,"about_ca_topic_score_gemma":0.0001048584,"domain_scores_codex":[0.9983522,0.0001125459,0.0005190301,0.0006722059,0.0001187635,0.000225273],"domain_scores_gemma":[0.9963994,0.0002227175,0.0005265361,0.002352609,0.0004165993,0.0000821313],"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.00009169226,0.00006006609,0.01891986,0.0006563967,0.0002333396,0.000005878187,0.00002234643,0.9770719,0.00007690835,0.002825041,0.00002279955,0.00001375238],"study_design_scores_gemma":[0.001121005,0.00004648493,0.00101109,0.0002143403,0.0001982865,0.000001846334,0.0001321462,0.9965994,0.00002291195,0.0002284933,0.0001342911,0.0002896744],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03986816,0.0002552036,0.9561151,0.000006991006,0.0003383134,0.001318852,0.001178808,0.0001610531,0.0007574849],"genre_scores_gemma":[0.9937223,0.00007737712,0.005574349,0.000001812063,0.00006810822,0.000003101921,0.0003984215,0.0000468386,0.0001076451],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9538542,"threshold_uncertainty_score":0.9999219,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1339386899857478,"score_gpt":0.1873667189789083,"score_spread":0.05342802899316051,"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."}}