{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002614266,0.0002864235,0.0004425887,0.000332031,0.00009068033,0.00002874125,0.0003594604,0.0001832202,0.00003613028],"category_scores_gemma":[0.00000870802,0.0003737144,0.0001744584,0.0003194165,0.00005751961,0.00008261202,0.00008792969,0.0002535224,0.000001066703],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004358821,"about_ca_system_score_gemma":0.0001431667,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002052633,"about_ca_topic_score_gemma":0.00003888046,"domain_scores_codex":[0.9985607,0.0001249466,0.0004124067,0.0005184948,0.0001093587,0.0002741191],"domain_scores_gemma":[0.9988224,0.0001041907,0.0002765318,0.0005142981,0.0001740409,0.0001085489],"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.00002731312,0.0000447196,0.0001132008,0.0002860109,0.0001272706,0.00001672328,0.00006632964,0.9953364,0.0002205863,0.003459965,0.000007069475,0.0002944076],"study_design_scores_gemma":[0.001755891,0.0001097561,0.0000437239,0.00004868264,0.0001463139,0.000001472647,0.0009521041,0.9963191,0.00008966609,0.0001633513,0.00004009174,0.0003298578],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07724135,0.00003529367,0.9181001,0.000003887775,0.0006286859,0.001503704,0.002184289,0.0002554382,0.00004722124],"genre_scores_gemma":[0.9852706,0.000009859412,0.01278505,0.000005202015,0.00005787333,0.00002860198,0.00177135,0.00005809872,0.00001332213],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9080293,"threshold_uncertainty_score":0.9998715,"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."}}