{"id":"W2146477457","doi":"10.1109/acc.2007.4282434","title":"Supervisor State Size Reduction for Timed Discrete-Event Systems","year":2007,"lang":"en","type":"article","venue":"Proceedings of the ... American Control Conference/Proceedings of the American Control Conference","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Sublanguage; Supervisor; Supervisory control; Automaton; Computer science; Event (particle physics); State (computer science); Reduction (mathematics); Supervisory control theory; Control theory (sociology); Observability; Controllability; Controller (irrigation); Algorithm; Theoretical computer science; Control (management); Mathematics; Programming language; 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":["metaepi_narrow","sts","open_science"],"consensus_categories":[],"category_scores_codex":[0.003997511,0.001136706,0.00298005,0.0004778747,0.0006415673,0.0007608493,0.008016423,0.0001514059,0.000007423755],"category_scores_gemma":[0.002040318,0.0008012733,0.001044438,0.002924104,0.002956076,0.001340885,0.000969175,0.0008552492,0.000005454461],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004140575,"about_ca_system_score_gemma":0.0006828858,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001213172,"about_ca_topic_score_gemma":0.00001974414,"domain_scores_codex":[0.9914376,0.00007632085,0.002688989,0.001752405,0.002136462,0.001908212],"domain_scores_gemma":[0.9817989,0.001188683,0.008706828,0.00100568,0.006789089,0.0005108349],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.004229851,0.0004775096,0.02454296,0.0008861466,0.001391894,0.00000148738,0.003902833,0.0006196579,0.8339219,0.09601498,0.00174233,0.03226845],"study_design_scores_gemma":[0.02552699,0.008470469,0.0829284,0.004888369,0.002490921,0.0005692178,0.0395098,0.6860444,0.1181284,0.02051135,0.003872357,0.007059337],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8340909,0.0002525203,0.1502868,0.006129897,0.001283974,0.004608599,0.0002040099,0.0003936742,0.002749616],"genre_scores_gemma":[0.9927118,0.0000789644,0.005191489,0.000562682,0.0003470085,0.0004147496,0.0000010866,0.0001079475,0.0005842093],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7157935,"threshold_uncertainty_score":0.9997573,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01436413495525541,"score_gpt":0.2513694345465503,"score_spread":0.2370052995912949,"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."}}