{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005525618,0.00008956885,0.0002081608,0.00005276457,0.00003212157,0.00005653214,0.0001604545,0.0000154977,0.000004010864],"category_scores_gemma":[0.00005794822,0.0000595083,0.00002289181,0.0001995435,0.0000405103,0.0001701155,0.00004625162,0.00005600651,0.000001343653],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001270176,"about_ca_system_score_gemma":0.00001595051,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003612908,"about_ca_topic_score_gemma":5.013771e-7,"domain_scores_codex":[0.9990054,0.000336754,0.0001814971,0.0002235113,0.0001194948,0.0001332816],"domain_scores_gemma":[0.9992598,0.0002992133,0.00007714565,0.0002430669,0.00005780843,0.00006296028],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009872138,0.0001039478,0.0004569858,0.00009581369,0.00006102357,0.0000171562,0.0002819367,0.028738,0.001571265,0.09701046,0.000006282078,0.8716472],"study_design_scores_gemma":[0.000171435,0.0001619227,0.0002575672,0.00001892558,0.000005922568,0.00005401735,0.00002983541,0.9935516,0.001674723,0.003487915,0.0004874044,0.00009879249],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01428821,0.0002060105,0.9839355,0.00002543624,0.0001605326,0.0001059021,5.095125e-7,0.00005010553,0.001227756],"genre_scores_gemma":[0.4584883,0.000002802695,0.5413865,0.00001757103,0.000003544453,0.000002353359,9.468013e-8,0.000003317925,0.00009544809],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9648135,"threshold_uncertainty_score":0.2426678,"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."}}