{"id":"W2125069991","doi":"10.1109/wodes.2002.1167676","title":"Supervisory control of dense real-time discrete-event systems with partial observation","year":2003,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Supervisor; Supervisory control; Supervisory control theory; Automaton; Computer science; Timed automaton; State space; Event (particle physics); Automata theory; Observable; State (computer science); Theoretical computer science; Transformation (genetics); Set (abstract data type); Finite-state machine; Algorithm; Control (management); Programming language; Mathematics; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007940325,0.0001469417,0.0003115539,0.00007550805,0.00006057675,0.000081841,0.0004214685,0.00006113231,0.00001307604],"category_scores_gemma":[0.00005120173,0.0001089486,0.0000540892,0.0003199446,0.00003035383,0.0004188324,0.00003775998,0.00005780666,0.00002868779],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005655695,"about_ca_system_score_gemma":0.0001172303,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000205407,"about_ca_topic_score_gemma":0.000008778009,"domain_scores_codex":[0.9981642,0.0002783427,0.0004806242,0.000339667,0.0004686959,0.0002684231],"domain_scores_gemma":[0.9987267,0.0001419587,0.0001791893,0.0006805261,0.0001837939,0.0000878132],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001771974,0.0003748018,0.04632731,0.0004179044,0.0003303563,0.0000817199,0.002496207,0.3637731,0.05385137,0.5292057,0.001038404,0.001925856],"study_design_scores_gemma":[0.001083092,0.0001698448,0.0006258133,0.0001407647,0.00001778399,0.00004298368,0.0000859085,0.9940162,0.002938626,0.0001182989,0.0005283904,0.0002322501],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1584947,0.0001396711,0.8380969,0.00006659613,0.0002112542,0.0002922955,0.000002172849,0.0001181439,0.00257833],"genre_scores_gemma":[0.9805359,0.000008251021,0.01866854,0.00003880494,0.00003366389,0.00003248954,0.000001208103,0.00001158485,0.0006695242],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8220413,"threshold_uncertainty_score":0.4442796,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03125079608291712,"score_gpt":0.2353064211660994,"score_spread":0.2040556250831823,"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."}}