{"id":"W1518800580","doi":"10.1109/cdc.2003.1272637","title":"Viability, the solution set, and fixed point approximation of hybrid systems","year":2004,"lang":"en","type":"article","venue":"","topic":"Aerospace Engineering and Control Systems","field":"Engineering","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Kernel (algebra); Computer science; Constraint (computer-aided design); Algorithm; Mathematical optimization; Set (abstract data type); Sampling (signal processing); Hybrid algorithm (constraint satisfaction); Mathematics; Artificial intelligence; Constraint satisfaction; Discrete mathematics; Local consistency; Telecommunications","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.000226449,0.00008114043,0.0001251318,0.00002091216,0.00002905077,0.00002071198,0.00005160413,0.00002398211,0.000001611621],"category_scores_gemma":[0.0000147317,0.00005657647,0.00002599124,0.00005397146,0.00002049689,0.00007057884,0.00001138672,0.00005816341,0.000004666898],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004954623,"about_ca_system_score_gemma":0.000005161152,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001787121,"about_ca_topic_score_gemma":0.000008804678,"domain_scores_codex":[0.9995379,0.00001349634,0.0001695196,0.00007462504,0.00009485963,0.0001095863],"domain_scores_gemma":[0.9997424,0.00002644906,0.00002163502,0.000161097,0.00002201878,0.00002639964],"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.000003565364,0.000009950396,0.0002213452,0.0003933534,0.00004097542,5.451501e-7,0.0004115281,0.9707431,0.02113839,0.00640749,0.0002459945,0.0003838121],"study_design_scores_gemma":[0.0006378487,0.00004106372,0.00149242,0.00008168287,0.00001956376,0.00003967342,0.0004121576,0.9872971,0.009158372,0.0003847935,0.0002681844,0.0001671882],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4933417,0.0005786419,0.5039037,0.0001385133,0.0002973575,0.0003077557,0.000004183715,0.0002528222,0.001175307],"genre_scores_gemma":[0.9996612,0.000009227291,0.000191439,0.00000293562,0.00004709041,0.00002861741,0.000002451848,0.0000114278,0.00004558289],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5063195,"threshold_uncertainty_score":0.2307121,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006207430773789745,"score_gpt":0.1736948027493661,"score_spread":0.1674873719755764,"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."}}