{"id":"W2031034024","doi":"10.3166/jesa.43.589-614","title":"Approximation garantie de l'espace d'état atteignable des systèmes dynamiques continus incertains. Encadrement par intervalle de flot d'état","year":2009,"lang":"fr","type":"article","venue":"Journal Européen des Systèmes Automatisés","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Physics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0067996,0.0009204623,0.001115644,0.0006068037,0.001560614,0.003076039,0.002204959,0.0004419902,0.0001466815],"category_scores_gemma":[0.001611724,0.0009220226,0.0005044892,0.001213371,0.000739689,0.004161631,0.0003511744,0.001231895,0.0001776722],"about_ca_system_candidate":true,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003940531,"about_ca_system_score_gemma":0.0009640121,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004111706,"about_ca_topic_score_gemma":0.00006015153,"domain_scores_codex":[0.9895568,0.004060101,0.002144913,0.0009130301,0.001250999,0.002074175],"domain_scores_gemma":[0.9948081,0.0003534615,0.001842282,0.001063603,0.00111136,0.0008212273],"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.0001678837,0.0007404392,0.003355577,0.002186716,0.0003480595,0.0006384366,0.02103573,0.007831034,0.01011279,0.05722238,0.00487069,0.8914903],"study_design_scores_gemma":[0.001101862,0.001333519,0.2663313,0.005074113,0.0001911556,0.005193418,0.0008289114,0.6568315,0.006626903,0.05267332,0.002850781,0.0009631794],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1566766,0.01887893,0.8160005,0.002207999,0.001738833,0.0008200599,0.00001700474,0.0005996196,0.003060536],"genre_scores_gemma":[0.4588838,0.003133252,0.5337636,0.0004969902,0.0004998087,0.00003973129,0.000007036434,0.00008428888,0.003091471],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8905271,"threshold_uncertainty_score":0.9998832,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03585937110228386,"score_gpt":0.2944592337704385,"score_spread":0.2585998626681547,"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."}}