{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000377009,0.0004854121,0.0003736884,0.0003220448,0.0003623338,0.0006657147,0.0007267375,0.0005409641,0.001832846],"category_scores_gemma":[0.0007161074,0.0003264081,0.001040938,0.0002924064,0.0006622924,0.0004686092,0.0004593882,0.000697921,0.0003384831],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007257914,"about_ca_system_score_gemma":0.001208533,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00413974,"about_ca_topic_score_gemma":0.005617881,"domain_scores_codex":[0.9997243,0.00007888462,0.00002465304,0.00005275818,0.00009693262,0.00002250919],"domain_scores_gemma":[0.9997341,0.0001307408,0.00003502488,0.00004610973,0.00004422167,0.000009830051],"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.00004396529,0.00002582815,0.0001888151,0.00009613064,0.00002127455,0.0001072033,0.0001197403,0.8877391,0.00991156,0.07449795,0.0004560618,0.02679247],"study_design_scores_gemma":[0.00001429307,0.00003028924,0.00004762441,0.00001335507,0.00001298773,0.000016078,0.000009671186,0.9790058,0.003218126,0.01451455,0.003110797,0.000006441704],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007999331,0.0001622951,0.9883279,0.0000665105,0.00002757899,0.00005506425,0.00004978124,0.0004066886,0.002904869],"genre_scores_gemma":[0.4692619,0.0005490202,0.5253415,0.00005884655,0.00002812234,0.0006681616,0.0002582765,0.00007948873,0.003754719],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00413974,"threshold_uncertainty_score":0.008231282,"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."}}