{"id":"W2151229401","doi":"10.1109/efta.2007.4416834","title":"Analytical method for generating feasible control sequences in controller development","year":2007,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor","funders":"","keywords":"Control reconfiguration; Computer science; Controller (irrigation); Exploit; Tree (set theory); Supervisor; Tree structure; Function (biology); Control engineering; Distributed computing; Algorithm; Embedded system; Binary tree; Engineering; Mathematics","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.005074461,0.000138658,0.0003129097,0.0002331731,0.0001108269,0.0001396051,0.000547134,0.00007683463,0.000005863119],"category_scores_gemma":[0.0002082466,0.0001126662,0.00005921903,0.0004165206,0.0000138013,0.0002463023,0.00007210959,0.00008864149,0.000008962351],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001715561,"about_ca_system_score_gemma":0.0001796128,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003998893,"about_ca_topic_score_gemma":0.0001676648,"domain_scores_codex":[0.998051,0.00008541772,0.0006273428,0.0004310836,0.0003044453,0.000500712],"domain_scores_gemma":[0.9985665,0.0008939158,0.00009032756,0.0002135976,0.0001312275,0.0001043958],"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.0001536159,0.0002078638,0.01275993,0.0000800406,0.0001929323,0.00007891332,0.002445024,0.1164737,0.01673824,0.4035085,0.0009742909,0.4463869],"study_design_scores_gemma":[0.001551072,0.00002516632,0.0002180986,0.00001852249,0.000003008245,0.00001159247,0.00005441321,0.9931217,0.002929431,0.0006406651,0.001262666,0.00016366],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005505135,0.000106956,0.9908209,0.0002989882,0.0002498623,0.000414209,4.653225e-7,0.00009381809,0.002509618],"genre_scores_gemma":[0.4311872,2.958999e-7,0.5679532,0.000484976,0.00005292497,0.00002827675,2.808569e-7,0.000004267501,0.0002886635],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8766479,"threshold_uncertainty_score":0.4594395,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05705391081383745,"score_gpt":0.3497974415187286,"score_spread":0.2927435307048912,"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."}}