{"id":"W2006984763","doi":"10.1007/s11241-010-9103-8","title":"SetExp: a method of transformation of timed automata into finite state automata","year":2010,"lang":"en","type":"article","venue":"Real-Time Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval; Université de Sherbrooke","funders":"","keywords":"Timed automaton; Automaton; Quantum finite automata; ω-automaton; Computer science; Continuous spatial automaton; Finite-state machine; Discrete event dynamic system; Event (particle physics); State space; Automata theory; Supervisory control; Theoretical computer science; Transformation (genetics); Nondeterministic finite automaton; Algorithm; Discrete system; Mathematics; Control (management); Artificial intelligence","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.000887309,0.001199394,0.0007984103,0.001191084,0.0006394751,0.001656885,0.001575936,0.0007920536,0.01441776],"category_scores_gemma":[0.002610761,0.0008575222,0.002744331,0.0008209766,0.0007727812,0.001686748,0.001897951,0.002193857,0.005094926],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004399312,"about_ca_system_score_gemma":0.0009320355,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006894285,"about_ca_topic_score_gemma":0.0007054691,"domain_scores_codex":[0.9985916,0.0002856581,0.0001184724,0.0003357584,0.0005782918,0.00009026668],"domain_scores_gemma":[0.9991137,0.0004192372,0.00003990366,0.0002441754,0.0001565343,0.00002641645],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0007063535,0.0003883587,0.001485258,0.001678799,0.0004316486,0.00140804,0.00100721,0.04050696,0.07641722,0.214285,0.03311598,0.6285691],"study_design_scores_gemma":[0.000246906,0.0002734588,0.0006922273,0.0002489203,0.0003421496,0.001799359,0.0001697565,0.3043228,0.2350821,0.1742671,0.2823614,0.000193832],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009310525,0.00004346735,0.9885847,0.00002431966,0.00009196483,0.00005956128,0.0002200322,0.008155924,0.001889068],"genre_scores_gemma":[0.05990761,0.0003010437,0.9208201,0.0001545941,0.00008944106,0.000516901,0.00179997,0.00617493,0.01023544],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01441776,"threshold_uncertainty_score":0.04823226,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01358559386440762,"score_gpt":0.2798338881276556,"score_spread":0.266248294263248,"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."}}