{"id":"W2150946742","doi":"10.1109/acc.2002.1024898","title":"Multi-agent products and trajectory specifications in supervisory control theory","year":2003,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Supervisory control; Supervisory control theory; Trajectory; Automaton; Product (mathematics); Computer science; Control (management); Control engineering; Finite-state machine; Control system; Control theory (sociology); Engineering; Theoretical computer science; Mathematics; Algorithm; Artificial intelligence; Physics","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.001345903,0.0006034491,0.000503426,0.0005365648,0.0004306404,0.001411223,0.001075083,0.001285182,0.001961616],"category_scores_gemma":[0.0026554,0.0005560022,0.0006352645,0.0007635483,0.002620836,0.003845907,0.0009672868,0.00187908,0.0004456598],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007147153,"about_ca_system_score_gemma":0.0009770892,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001352313,"about_ca_topic_score_gemma":0.001162616,"domain_scores_codex":[0.9991491,0.0002591857,0.0000768867,0.0001601909,0.0003015328,0.00005300987],"domain_scores_gemma":[0.9981975,0.001117764,0.0002025067,0.0002031882,0.0002165858,0.00006250617],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002174375,0.00001347633,0.000146789,0.00008848656,0.000009550598,0.000163254,0.0002787304,0.05649632,0.001463756,0.9272615,0.0004535155,0.01360277],"study_design_scores_gemma":[0.00001679084,0.000073596,0.00009436306,0.00005553363,0.00001233933,0.0001059903,0.0000750981,0.2356765,0.002773103,0.7514884,0.009609169,0.00001906532],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005569472,0.0004286275,0.9899426,0.0001860558,0.000028976,0.00002619479,0.00004558238,0.0001091736,0.003663313],"genre_scores_gemma":[0.4976872,0.00191183,0.4925137,0.0002076965,0.0001261755,0.0004745183,0.0003547006,0.0001224548,0.006601729],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001961616,"threshold_uncertainty_score":0.007117927,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09125022645307555,"score_gpt":0.2508552840312436,"score_spread":0.1596050575781681,"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."}}