{"id":"W2143426840","doi":"10.1109/acc.2000.879230","title":"A dynamic-programming-type technique for the control of timed discrete-event systems","year":2000,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Royal Military College of Canada","funders":"","keywords":"Computer science; Discrete event dynamic system; Controller (irrigation); Dynamic programming; Control (management); Event (particle physics); Class (philosophy); Control system; Forcing (mathematics); Control theory (sociology); Control engineering; Discrete system; Algorithm; Mathematics; Engineering; 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.0009520698,0.0001359167,0.000253769,0.00005744492,0.0001049813,0.0001028925,0.00116543,0.00007280151,0.00001645027],"category_scores_gemma":[0.00003903221,0.00008344329,0.0001111647,0.0003516081,0.00004422794,0.000142732,0.00006218077,0.00007737191,0.00001431867],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005299378,"about_ca_system_score_gemma":0.00006236634,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009671094,"about_ca_topic_score_gemma":0.00000848422,"domain_scores_codex":[0.9986306,0.00007673893,0.0004235132,0.0002933118,0.0002825383,0.0002932731],"domain_scores_gemma":[0.9984911,0.0003666955,0.0001249004,0.0008214599,0.0001438564,0.00005199484],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003846142,0.0004546321,0.0002854356,0.0007783885,0.0007244124,0.00002031231,0.001714731,0.2267561,0.02477872,0.1557284,0.00291308,0.5854612],"study_design_scores_gemma":[0.0003679778,0.0001358355,0.00001389343,0.00006448113,0.00001455075,0.00002473765,0.00002912492,0.9869329,0.0004940845,0.0002036394,0.01159758,0.0001211355],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0003532191,0.00068044,0.9955658,0.0003141416,0.0002894728,0.001825982,0.000005244355,0.0001577566,0.0008079941],"genre_scores_gemma":[0.939561,0.00001246104,0.05816383,0.00005377028,0.00002787793,0.0004351292,0.000001320522,0.0000122831,0.001732308],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9392078,"threshold_uncertainty_score":0.3402718,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01301241743560584,"score_gpt":0.269214918501301,"score_spread":0.2562025010656952,"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."}}