{"id":"W1990733120","doi":"10.1016/j.nahs.2010.05.010","title":"Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques","year":2010,"lang":"en","type":"article","venue":"Nonlinear Analysis Hybrid Systems","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":65,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Intersection (aeronautics); Local consistency; Interval (graph theory); Nonlinear system; Interval arithmetic; Constraint satisfaction problem; Constraint satisfaction; Hybrid system; Mathematical optimization; Set (abstract data type); Constraint (computer-aided design); Consistency (knowledge bases); Computer science; Dynamical systems theory; Mathematics; Algorithm; Artificial intelligence","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.001887397,0.001546931,0.001540365,0.0021112,0.001080645,0.001793119,0.001970154,0.001604244,0.004861268],"category_scores_gemma":[0.009511312,0.001324477,0.001671084,0.00168142,0.001510647,0.002712477,0.002228031,0.00199386,0.0005297253],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001184604,"about_ca_system_score_gemma":0.001669485,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01177809,"about_ca_topic_score_gemma":0.01130272,"domain_scores_codex":[0.9992287,0.0001816234,0.00005156682,0.0001293664,0.0003406378,0.00006801434],"domain_scores_gemma":[0.9945845,0.004393117,0.0003049762,0.0002057804,0.0003962646,0.0001154786],"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.00004513195,0.00002980284,0.0001843876,0.00006730294,0.00002393689,0.00003466457,0.00003629893,0.9752901,0.0004474743,0.007411249,0.0001753482,0.01625424],"study_design_scores_gemma":[0.000005352244,0.00000835675,0.00003732367,0.000008196805,0.000005096409,0.000003381724,0.000006712776,0.9929044,0.0003658617,0.00656454,0.00008590288,0.000004963616],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02055894,0.00009965597,0.9767163,0.00004574084,0.00001598422,0.00005099466,0.0001164574,0.0002768998,0.002119037],"genre_scores_gemma":[0.4504565,0.0002319951,0.5464557,0.00004272946,0.00002162576,0.0002844544,0.0004945839,0.0001842036,0.00182824],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01177809,"threshold_uncertainty_score":0.02341908,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03962665466784618,"score_gpt":0.3365361485269545,"score_spread":0.2969094938591084,"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."}}