{"id":"W1512540778","doi":"","title":"Timed State Tree Structures: Supervisory Control and Fault Diagnosis","year":2010,"lang":"en","type":"dissertation","venue":"TSpace (University of Toronto)","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"University of Toronto","keywords":"Supervisory control; State (computer science); Fault tree analysis; Computer science; Process (computing); State space; Fault (geology); Tree (set theory); Event (particle physics); Finite-state machine; Distributed computing; Event tree; Automaton; Real-time computing; Control engineering; Control (management); Algorithm; Theoretical computer science; Engineering; Mathematics; Reliability engineering; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002038896,0.0002953983,0.0005523905,0.0001108101,0.000212229,0.00006709385,0.00126721,0.0003784515,0.0007174311],"category_scores_gemma":[0.00003539366,0.0003592626,0.0001383063,0.00008477498,0.0000701541,0.0008312102,0.0001500989,0.000318324,0.00000960688],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001573867,"about_ca_system_score_gemma":0.0001535228,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.04977722,"about_ca_topic_score_gemma":0.1972746,"domain_scores_codex":[0.9983964,0.0001037014,0.0001661884,0.0005895961,0.0004430116,0.0003011201],"domain_scores_gemma":[0.9983903,0.0001607784,0.0003492909,0.000705199,0.0002265782,0.000167856],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.0003186218,0.0001125476,0.001144434,0.0007002341,0.0005221175,0.0001093369,0.1087591,0.000177122,0.00565712,0.002255195,0.002028355,0.8782158],"study_design_scores_gemma":[0.01173997,0.000866295,0.7691255,0.001213973,0.0008668438,0.00004540915,0.05099264,0.1452574,0.001553205,0.001691221,0.01249948,0.004148065],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9168838,0.006271858,0.03822884,0.0004794498,0.001839295,0.0008383465,0.0001080045,0.0003120226,0.03503841],"genre_scores_gemma":[0.978757,0.0009886783,0.01281737,0.00002637287,0.00004693443,0.000001629008,0.00004922372,0.00002374339,0.00728904],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8740677,"threshold_uncertainty_score":0.9998859,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01385443380036309,"score_gpt":0.2308604591102354,"score_spread":0.2170060253098723,"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."}}