{"id":"W1637407644","doi":"10.1007/978-3-540-78929-1_51","title":"Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Probabilistic and Robust Engineering Design","field":"Decision Sciences","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Reachability; Computer science; Hybrid system; Differential equation; Nonlinear system; Set (abstract data type); Algebraic number; Differential algebraic equation; Dynamical systems theory; Algebraic equation; Applied mathematics; Reset (finance); Differential (mechanical device); State (computer science); Algorithm; Mathematics; Ordinary differential equation; Mathematical analysis","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.003584622,0.0004329792,0.0008800172,0.0008013425,0.0002432667,0.0002428948,0.001627326,0.000190017,0.000005699542],"category_scores_gemma":[0.001218107,0.0003092251,0.0001380226,0.0004780926,0.0006649808,0.0001584111,0.0003566603,0.0003856941,0.000003442662],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002586014,"about_ca_system_score_gemma":0.0004988444,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002742113,"about_ca_topic_score_gemma":0.00001397068,"domain_scores_codex":[0.9958475,0.0001099604,0.0009797901,0.001183916,0.001403799,0.0004750205],"domain_scores_gemma":[0.9931182,0.004393793,0.0006889132,0.0009319039,0.0007484505,0.0001187787],"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.0000238638,0.00001875086,0.00002311743,0.00006957295,0.00001851259,0.000007556655,0.0002778103,0.7680141,0.00003968255,0.00425045,0.00005283854,0.2272037],"study_design_scores_gemma":[0.0003237843,0.0002314471,0.00004468758,0.000361609,0.00001873894,0.0001117072,8.399213e-7,0.9626733,0.0002361174,0.03547878,0.0001580812,0.0003608866],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003321189,0.0002800961,0.996704,0.00005005342,0.001584836,0.0007412694,0.00007313048,0.00004843574,0.0001860377],"genre_scores_gemma":[0.3212326,0.000008539409,0.6781954,0.00003399934,0.0001889549,0.000007663137,0.00003275239,0.00003594519,0.0002641914],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3209005,"threshold_uncertainty_score":0.999936,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1324122096792108,"score_gpt":0.3531432090377692,"score_spread":0.2207309993585584,"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."}}