{"id":"W2140822304","doi":"10.1109/70.897791","title":"Automata-based modeling and control synthesis for manufacturing workcells with part-routing flexibility","year":2000,"lang":"en","type":"article","venue":"IEEE Transactions on Robotics and Automation","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Automaton; Flexibility (engineering); Supervisory control; Computer science; Automata theory; Distributed computing; Control (management); Routing (electronic design automation); Finite-state machine; State space; Minification; Control engineering; Embedded system; Engineering; Theoretical computer science; Algorithm; Programming language; Artificial intelligence; 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.0004452421,0.0001865685,0.0002296974,0.0001150292,0.0004222007,0.000252879,0.0001466062,0.0000816913,0.000006129586],"category_scores_gemma":[0.000005351321,0.0001662114,0.00004942287,0.0001199652,0.00003070144,0.0003702608,0.000001165925,0.0001084874,0.000002730292],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005356799,"about_ca_system_score_gemma":0.00003917183,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001392566,"about_ca_topic_score_gemma":0.000008078257,"domain_scores_codex":[0.9986981,0.00006513886,0.0003322136,0.0004392273,0.000212012,0.0002533722],"domain_scores_gemma":[0.9990619,0.0003829683,0.00008166799,0.0003388122,0.00004948891,0.00008512416],"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.0000260759,0.00003820827,0.00000256734,0.00005005386,0.00001729882,6.71038e-7,0.00008472861,0.8823776,0.00005199123,0.00007213077,8.428859e-7,0.1172778],"study_design_scores_gemma":[0.0007463099,0.00006965001,0.00002030528,0.0002167099,0.00004805327,0.000008517703,0.00001481302,0.9926932,0.005748188,0.0002310615,0.000007529573,0.0001956191],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08306204,0.00002059439,0.9156939,0.0003461452,0.0001108644,0.000385561,0.00001306517,0.0003281783,0.00003967346],"genre_scores_gemma":[0.8818045,0.00001176738,0.1179763,0.00008011638,0.00002104541,0.0000669475,8.7858e-7,0.00001485011,0.00002366983],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7987424,"threshold_uncertainty_score":0.6777905,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02476021663182788,"score_gpt":0.2379208292867881,"score_spread":0.2131606126549603,"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."}}