{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009265119,0.000513658,0.0006667141,0.0002740219,0.0005845164,0.001341003,0.001169021,0.0004171521,0.002090308],"category_scores_gemma":[0.003172152,0.0002108447,0.0003580296,0.0002199435,0.0009825428,0.0006489915,0.0008028425,0.0007774623,0.0001604249],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006925351,"about_ca_system_score_gemma":0.001788327,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004142548,"about_ca_topic_score_gemma":0.004970334,"domain_scores_codex":[0.999274,0.0001739229,0.00004650042,0.0001519641,0.0002168961,0.0001368226],"domain_scores_gemma":[0.9973919,0.001529163,0.0003450359,0.0001630252,0.0004347637,0.0001360207],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001067732,0.0002161891,0.000843269,0.0003192887,0.00007447541,0.0004247398,0.0005014417,0.8326619,0.05139765,0.07049789,0.000926118,0.04106934],"study_design_scores_gemma":[0.00004631832,0.00008482276,0.000179844,0.000008868657,0.00001593332,0.00001778044,0.00001635626,0.9857168,0.004756461,0.008719741,0.0004298567,0.00000712879],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1356042,0.0003165586,0.856169,0.0002058486,0.0002326017,0.0000491423,0.00005917334,0.0007630186,0.006600416],"genre_scores_gemma":[0.9915259,0.00006678313,0.007269109,0.00001643258,0.00001452725,0.00003792544,0.00001765752,0.00001638754,0.001035154],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004142548,"threshold_uncertainty_score":0.008236885,"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."}}