{"id":"W2146652888","doi":"10.1109/cdc.1997.652408","title":"The hierarchical control of ST-finite state machines","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University; Canadian Institute for Advanced Research","funders":"","keywords":"Controllability; Partition (number theory); Consistency (knowledge bases); State space; Mathematics; Finite set; Finite-state machine; State (computer science); Set (abstract data type); Computer science; Theoretical computer science; Topology (electrical circuits); Pure mathematics; Discrete mathematics; Algorithm; Applied mathematics; Combinatorics; Mathematical analysis","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.000480103,0.00008502163,0.0001381981,0.00005029401,0.0001168844,0.00009680156,0.001026538,0.00002296201,0.00002758016],"category_scores_gemma":[0.0001062101,0.00004883969,0.00005519667,0.0002359297,0.00006330857,0.0001503297,0.000149158,0.0001078152,0.00004490084],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001115979,"about_ca_system_score_gemma":0.00001163138,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001790795,"about_ca_topic_score_gemma":0.000011122,"domain_scores_codex":[0.9988445,0.0001244285,0.0003011819,0.0001911926,0.0003125877,0.0002261326],"domain_scores_gemma":[0.9984012,0.0008034289,0.00008067641,0.0005887214,0.00006911976,0.00005684971],"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.00002687727,0.0001454141,0.001886562,0.00003313027,0.0001146772,0.00004985141,0.00204596,0.02288425,0.0008501394,0.2789726,0.006441282,0.6865492],"study_design_scores_gemma":[0.0003033917,0.00003173441,0.00008918095,0.000007099696,0.000001488677,0.00001097123,0.000003471565,0.9897983,0.00007932389,0.004512494,0.00509696,0.0000656013],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004039862,0.0005104963,0.9841257,0.001774068,0.0002686529,0.0001014494,0.000004651541,0.00009659954,0.009078564],"genre_scores_gemma":[0.9868681,0.00004254373,0.01086431,0.0002672909,0.00003526552,0.000006433667,1.154708e-7,0.000005024592,0.001910873],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9828283,"threshold_uncertainty_score":0.1991625,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02234442513547545,"score_gpt":0.2414136193090416,"score_spread":0.2190691941735662,"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."}}