{"id":"W4290391039","doi":"10.48550/arxiv.2202.06111","title":"An efficient implementation of graph-based invariant set algorithm for constrained nonlinear dynamical systems","year":2022,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Advanced Control Systems Optimization","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Algorithm; Subdivision; Computer science; Invariant (physics); Nonlinear system; Graph; Set (abstract data type); Mathematical optimization; Theoretical computer science; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003505173,0.0004613652,0.0005283638,0.0005334503,0.0003209157,0.0003204907,0.0008352797,0.0004599625,0.002446047],"category_scores_gemma":[0.001043799,0.0002209474,0.000439298,0.0005612757,0.0004594515,0.000643758,0.0007605463,0.0007267887,0.0004499536],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004740133,"about_ca_system_score_gemma":0.0008997207,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005062005,"about_ca_topic_score_gemma":0.005196569,"domain_scores_codex":[0.999817,0.00003608538,0.00001110928,0.00003204407,0.0000826238,0.00002121141],"domain_scores_gemma":[0.9997328,0.0001068132,0.00002214933,0.00004569921,0.00007761727,0.00001489804],"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.00008106367,0.00005581262,0.0007370622,0.000078988,0.00002956913,0.0001008891,0.00009134343,0.7582538,0.01372395,0.03451774,0.002162196,0.1901677],"study_design_scores_gemma":[0.000008040865,0.00001171835,0.0000431669,0.00000135613,0.000001492724,0.00000829668,0.000003640906,0.9952235,0.001246413,0.002897405,0.000552087,0.000002908952],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0103263,0.0000289465,0.9878865,0.00004712283,0.00001721641,0.00002631299,0.0000207256,0.0005448951,0.001102029],"genre_scores_gemma":[0.2394699,0.00005596248,0.7585565,0.00003880599,0.00001407042,0.0001476231,0.0001613667,0.0001330867,0.00142278],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005062005,"threshold_uncertainty_score":0.01006508,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02729010386653802,"score_gpt":0.2103288441808198,"score_spread":0.1830387403142818,"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."}}