{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002594025,0.0008881328,0.0009621076,0.001524979,0.0007541052,0.001918162,0.0009494165,0.001264324,0.005055837],"category_scores_gemma":[0.01610778,0.0003986343,0.001068207,0.0005745663,0.001849144,0.001400474,0.001057104,0.002153539,0.0004892591],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002416071,"about_ca_system_score_gemma":0.001079926,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01325422,"about_ca_topic_score_gemma":0.006662487,"domain_scores_codex":[0.9985346,0.0002963696,0.00005899826,0.0002335931,0.0006806682,0.000195831],"domain_scores_gemma":[0.9844694,0.01261533,0.0006808296,0.0006884268,0.001205591,0.0003403843],"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.002187982,0.000167961,0.007554122,0.0004334281,0.0001991638,0.0008556714,0.0008249931,0.8005703,0.02960674,0.0646726,0.002370246,0.09055679],"study_design_scores_gemma":[0.0000235336,0.0000861228,0.001242277,0.0000395285,0.00001774222,0.0001663785,0.00006477318,0.983365,0.004864983,0.008766704,0.0013488,0.0000141092],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.213124,0.001307733,0.7753194,0.0005956249,0.0001919124,0.00003432727,0.0002121697,0.0008525349,0.008362168],"genre_scores_gemma":[0.8945833,0.0006126966,0.0975327,0.0001172382,0.00006880142,0.00008353427,0.0002993341,0.0002301369,0.006472267],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01325422,"threshold_uncertainty_score":0.02635413,"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."}}