{"id":"W4409164192","doi":"10.1088/978-0-7503-6174-3ch3","title":"Graph-based control invariant set approximation and its applications","year":2025,"lang":"en","type":"book-chapter","venue":"","topic":"Industrial Technology and Control Systems","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Invariant (physics); Graph; Computer science; Mathematics; Theoretical computer science; Mathematical physics","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.000308351,0.000844426,0.0009756186,0.0008306563,0.0002962016,0.0008366864,0.001172531,0.0006850254,0.006012891],"category_scores_gemma":[0.001094673,0.0004072186,0.0007659004,0.001845343,0.0006842131,0.0009253751,0.0007299111,0.001642578,0.001486975],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008042989,"about_ca_system_score_gemma":0.0004892456,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006560239,"about_ca_topic_score_gemma":0.004085778,"domain_scores_codex":[0.9997428,0.00004381101,0.000007430891,0.0000650854,0.0001225274,0.00001838158],"domain_scores_gemma":[0.9997293,0.0001364985,0.00001809239,0.00005105167,0.00005489234,0.00001010302],"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.0000686971,0.00006041846,0.0001650326,0.0001800466,0.00003866192,0.00004419753,0.00005628979,0.5521243,0.003141013,0.1005223,0.0124489,0.3311501],"study_design_scores_gemma":[0.000003825538,0.00001768587,0.00009192059,0.00001762848,0.000008152124,0.00002165858,0.000009912533,0.9416391,0.0008655786,0.05036005,0.006957368,0.000007061329],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002141091,0.001356856,0.9813726,0.0001139661,0.0001851725,0.00002293469,0.00009832872,0.0007964835,0.01391261],"genre_scores_gemma":[0.2662282,0.005777356,0.6812235,0.0003374613,0.0003114314,0.0001790244,0.001033247,0.0009137756,0.04399605],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006560239,"threshold_uncertainty_score":0.02011514,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01240674846340892,"score_gpt":0.1926558854154397,"score_spread":0.1802491369520308,"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."}}