{"id":"W2907511104","doi":"10.1145/3302504.3313354","title":"Invariant, viability and discriminating kernel under-approximation via zonotope scaling","year":2019,"lang":"en","type":"preprint","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Reachability; Scaling; Invariant (physics); Parametric statistics; Affine transformation; Kernel (algebra); Scalability; Computer science; Nonlinear system; Model predictive control; Regular polygon; Mathematical optimization; Control theory (sociology); Algorithm; Mathematics; Artificial intelligence; Discrete mathematics; Control (management); Pure mathematics","routes":{"ca_aff":true,"ca_fund":true,"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"],"consensus_categories":[],"category_scores_codex":[0.002211465,0.0002790809,0.0003296033,0.0001321037,0.0001303835,0.0005244477,0.001051309,0.0003036243,0.00001284094],"category_scores_gemma":[0.0003112105,0.0002585212,0.00007308858,0.0001728164,0.00008169271,0.0007731409,0.002669319,0.0005476275,0.0000298118],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001667588,"about_ca_system_score_gemma":0.0001095733,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002779185,"about_ca_topic_score_gemma":0.000008520189,"domain_scores_codex":[0.9975073,0.0003577175,0.0005412115,0.0009843279,0.0003403727,0.0002691128],"domain_scores_gemma":[0.9977076,0.0002098723,0.0003887519,0.001461444,0.0001469666,0.00008534706],"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.00000945457,0.0001301175,0.001618947,0.001323301,0.00004065931,0.000001101222,0.002900797,0.009444524,0.00237699,0.7638639,0.0000326845,0.2182575],"study_design_scores_gemma":[0.0001043528,0.00001859878,0.01730776,0.0000857704,0.00001144003,0.000006743242,0.000074739,0.8607555,0.002189633,0.11913,0.00002162037,0.0002938249],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03557234,0.00003388997,0.9552806,0.000390334,0.0008666835,0.0007954827,0.000002398401,0.0002655804,0.006792709],"genre_scores_gemma":[0.4479578,0.000006837333,0.5517827,0.0000691676,0.00003759195,0.00003630979,0.00000779398,0.00001020769,0.00009155097],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.851311,"threshold_uncertainty_score":0.9999867,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04830138435669108,"score_gpt":0.3049434866517462,"score_spread":0.2566421022950551,"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."}}