{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003848359,0.00007652375,0.0002108788,0.00009398099,0.0001312052,0.00006936268,0.0003719091,0.00003969955,0.00002326118],"category_scores_gemma":[0.0001279378,0.00005180935,0.0001369366,0.0005406184,0.00009059112,0.0004387651,0.0001473888,0.0001308364,0.000001426139],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003041361,"about_ca_system_score_gemma":0.0003711521,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001054317,"about_ca_topic_score_gemma":0.000005366468,"domain_scores_codex":[0.9989243,0.00008730563,0.0004480892,0.000115406,0.0003383934,0.00008649308],"domain_scores_gemma":[0.9988722,0.00005089083,0.000279579,0.0002605053,0.0004679595,0.00006884884],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001490817,0.0005163312,0.001809168,0.0000720707,0.0004986384,0.00001445698,0.001279829,0.1670385,0.00161308,0.8243001,0.001367853,0.001475097],"study_design_scores_gemma":[0.002013077,0.00006820109,0.003692341,0.0001772435,0.0002835519,0.0007073248,0.0004310817,0.9471619,0.003944741,0.0326609,0.008596057,0.0002635765],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01340724,0.0005749659,0.9786859,0.004554063,0.0005812325,0.00008440248,0.000007749456,0.000008005231,0.002096435],"genre_scores_gemma":[0.7919264,0.0003381952,0.2067771,0.000560837,0.00005345931,0.000003061534,0.000003451398,0.000004682584,0.0003327311],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7916391,"threshold_uncertainty_score":0.2112724,"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."}}