{"id":"W2111546354","doi":"10.1109/acc.2002.1024794","title":"Rigorous simulation of hybrid dynamic systems with symbolic and interval methods","year":2003,"lang":"en","type":"article","venue":"","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Interval (graph theory); Computer science; Interval arithmetic; Symbolic data analysis; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001384241,0.0005607629,0.0007856794,0.0005873596,0.0003780936,0.001191064,0.001081293,0.0009277256,0.002219073],"category_scores_gemma":[0.005263982,0.0003692583,0.0006540222,0.0005439016,0.001654663,0.001302019,0.001878695,0.001237152,0.0002523513],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007665032,"about_ca_system_score_gemma":0.0009204697,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002075341,"about_ca_topic_score_gemma":0.001228745,"domain_scores_codex":[0.9986915,0.0004891899,0.00007809539,0.00005672004,0.0006081315,0.00007640644],"domain_scores_gemma":[0.9972627,0.001822887,0.0002356655,0.00032145,0.0002752304,0.00008209112],"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.00003897023,0.00002273386,0.0002760757,0.00004299581,0.00001643996,0.00005330994,0.00008344046,0.9093174,0.002606574,0.07799321,0.0002451306,0.009303708],"study_design_scores_gemma":[0.000009208808,0.000009773136,0.00002618147,0.000004792965,0.000001833892,0.0000064121,0.000005636242,0.9863274,0.0006415055,0.01248009,0.0004826877,0.000004504266],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01795401,0.000137893,0.9778061,0.00009602798,0.00003443398,0.0000287623,0.00003571755,0.000342734,0.003564366],"genre_scores_gemma":[0.7239988,0.0003814436,0.2725846,0.00005786649,0.00004335249,0.0002534599,0.0001355044,0.0001618952,0.002383115],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002219073,"threshold_uncertainty_score":0.00742358,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01652825348506537,"score_gpt":0.333272565424711,"score_spread":0.3167443119396456,"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."}}