{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00144441,0.0006370471,0.0006670604,0.0007046998,0.0006241109,0.001263256,0.000847825,0.0009495332,0.001270811],"category_scores_gemma":[0.006170995,0.0003171158,0.0006137921,0.0004164338,0.002014935,0.001553217,0.001480147,0.001629946,0.0002037108],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009707763,"about_ca_system_score_gemma":0.0007989141,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001957376,"about_ca_topic_score_gemma":0.0007588157,"domain_scores_codex":[0.9993198,0.0002845933,0.00002531741,0.00008522392,0.0002230544,0.00006198316],"domain_scores_gemma":[0.9977871,0.001608762,0.0001289374,0.0001240293,0.0002845181,0.0000665711],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000950962,0.00003129985,0.0006950301,0.00009067093,0.00003260485,0.0001260952,0.0003080343,0.4148498,0.005678159,0.5234486,0.0005658558,0.05407877],"study_design_scores_gemma":[0.00001193916,0.0000639948,0.0001065427,0.00001677784,0.000006598929,0.00004209885,0.00004091849,0.8739967,0.002437378,0.1217431,0.001521198,0.00001275905],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01362914,0.0001886998,0.9843672,0.000114917,0.00001515287,0.00001775954,0.000008540456,0.00004100381,0.001617543],"genre_scores_gemma":[0.7254016,0.0007041217,0.2692933,0.00007178247,0.00005314135,0.0001864639,0.00007309877,0.00006944296,0.004146948],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001957376,"threshold_uncertainty_score":0.007638872,"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."}}