{"id":"W3132131652","doi":"10.1016/j.jfranklin.2021.02.015","title":"Convergent under-approximations of reachable sets and tubes: A piecewise constant approach","year":2021,"lang":"en","type":"article","venue":"Journal of the Franklin Institute","topic":"Optimization and Variational Analysis","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Piecewise; Constant (computer programming); Mathematics; Applied mathematics; Mathematical analysis; Mathematical optimization; Computer science","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.002632812,0.001712103,0.001680542,0.002714084,0.001148304,0.002778186,0.003698784,0.001735765,0.00365033],"category_scores_gemma":[0.01428882,0.001273632,0.001739376,0.001331864,0.002574741,0.003608189,0.004536093,0.003835161,0.0003629294],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002666805,"about_ca_system_score_gemma":0.001339967,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005841027,"about_ca_topic_score_gemma":0.003739106,"domain_scores_codex":[0.9990352,0.0004036188,0.0000441878,0.0001625311,0.0002416412,0.0001127866],"domain_scores_gemma":[0.9946296,0.003347702,0.0005079411,0.000444801,0.0007063836,0.0003634198],"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.0001519618,0.00006739669,0.001128046,0.0002513026,0.00006418868,0.0001899078,0.0004627815,0.3261893,0.003489955,0.6443452,0.0009848039,0.02267518],"study_design_scores_gemma":[0.000004658641,0.00004410686,0.000130477,0.00004007443,0.00002410011,0.0000403701,0.00006722299,0.9093537,0.0007267377,0.08851533,0.001039277,0.00001393652],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03927594,0.0004572441,0.9505919,0.0002875484,0.00005061165,0.00005182255,0.0001197439,0.0001519606,0.009013253],"genre_scores_gemma":[0.7000355,0.001302995,0.2777197,0.0001985867,0.0001480269,0.0002102739,0.0003856347,0.0005418113,0.01945742],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005841027,"threshold_uncertainty_score":0.0193491,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02095563314685304,"score_gpt":0.239252664427244,"score_spread":0.218297031280391,"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."}}