{"id":"W1842822917","doi":"10.1109/cdc.1994.411721","title":"State-event observers for labeled transition systems","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University; University of Toronto","funders":"","keywords":"Unobservable; Nondeterministic algorithm; Discrete event dynamic system; Event (particle physics); Transition system; Computer science; Theoretical computer science; State (computer science); Algorithm; Mathematics; Discrete mathematics; Discrete system","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.0003346913,0.0001016841,0.0001484578,0.00007009628,0.00008590847,0.0001482352,0.0004520558,0.0000410469,0.00001343742],"category_scores_gemma":[0.00001194125,0.00009119462,0.00006800995,0.0002322585,0.00000793595,0.0003963809,0.0000294871,0.00004224784,0.00006334584],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008148485,"about_ca_system_score_gemma":0.0000115463,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004254625,"about_ca_topic_score_gemma":0.000007132532,"domain_scores_codex":[0.9988823,0.00004949325,0.0002751632,0.0002943831,0.000239278,0.0002593954],"domain_scores_gemma":[0.9993229,0.00007874588,0.00005980387,0.0003738791,0.00009340607,0.00007126333],"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.00003448392,0.0005518204,0.000131003,0.0009470254,0.0002320694,0.00005576621,0.01281786,0.6434021,0.008774987,0.2049472,0.06229088,0.06581482],"study_design_scores_gemma":[0.0004530444,0.00005645503,0.000005991247,0.00003223394,0.000003090383,0.00001002526,0.00004547682,0.9944988,0.0004750839,0.00022796,0.004063079,0.000128724],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01688842,0.0003016363,0.9798297,0.0005088891,0.0007446676,0.0003955075,0.00000555805,0.0002792998,0.001046289],"genre_scores_gemma":[0.9725541,0.00001337696,0.02506281,0.0001571332,0.00005242833,0.00006941424,0.000001827696,0.00000921086,0.002079703],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9556656,"threshold_uncertainty_score":0.3718809,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05614772893101828,"score_gpt":0.2511551328674952,"score_spread":0.1950074039364769,"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."}}