{"id":"W4411678735","doi":"10.1016/j.ejcon.2025.101266","title":"Bounded-time nonblocking supervisory control of timed discrete-event systems","year":2025,"lang":"en","type":"article","venue":"European Journal of Control","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"Key Research and Development Projects of Shaanxi Province; National Key Research and Development Program of China; Japan Society for the Promotion of Science","keywords":"Supervisory control; Bounded function; Control theory (sociology); Event (particle physics); Discrete time and continuous time; Computer science; Control (management); Mathematics; Physics; Mathematical analysis; Artificial intelligence; Statistics","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.004785558,0.0002461099,0.0008544215,0.0004698194,0.0001202622,0.0002633032,0.001994433,0.00004089307,0.000009956743],"category_scores_gemma":[0.0003100039,0.0002029909,0.0003595261,0.0004105536,0.00006885271,0.0004798242,0.0001535864,0.0003453897,0.00004622788],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00010737,"about_ca_system_score_gemma":0.0002552104,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004690836,"about_ca_topic_score_gemma":2.659708e-7,"domain_scores_codex":[0.9951593,0.001764531,0.001714489,0.0002778016,0.0007000967,0.0003837445],"domain_scores_gemma":[0.9968835,0.0005224258,0.001123438,0.0006843206,0.0006251003,0.0001612779],"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.002134138,0.001280652,0.007104529,0.001340675,0.007587191,0.004281037,0.006854831,0.5313933,0.2344034,0.07012649,0.01413256,0.1193612],"study_design_scores_gemma":[0.01416898,0.0006765416,0.002025741,0.002438638,0.000289789,0.0004416494,0.0001405117,0.962976,0.0005687987,0.000307802,0.01545322,0.000512367],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01473803,0.004093409,0.9712763,0.0006623322,0.001528087,0.000273339,0.00000741882,0.00004981334,0.007371288],"genre_scores_gemma":[0.996766,0.00001668966,0.002053235,0.0002792642,0.0003022965,0.000002025838,3.070603e-7,0.00002430758,0.0005559058],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9820279,"threshold_uncertainty_score":0.8277727,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01218076911005727,"score_gpt":0.2261489764368939,"score_spread":0.2139682073268366,"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."}}