{"id":"W4298084109","doi":"10.48550/arxiv.1306.2422","title":"Relative Observability of Discrete-Event Systems and its Supremal\\n Sublanguages","year":2013,"lang":"","type":"preprint","venue":"arXiv (Cornell University)","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Ministry of Education, Culture, Sports, Science and Technology","keywords":"Observability; Sublanguage; Controllability; Observable; Event (particle physics); Supervisory control; Mathematics; Property (philosophy); Constraint (computer-aided design); Control theory (sociology); Discrete mathematics; Computer science; Applied mathematics; Control (management); Artificial intelligence; Physics; Geometry","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.001486906,0.0004689419,0.0003929085,0.0006862732,0.0003728592,0.00122606,0.0008313325,0.0003061788,0.001541607],"category_scores_gemma":[0.005090536,0.0003088435,0.001077594,0.0003713684,0.002350752,0.002842857,0.001228104,0.00158126,0.0001559065],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007438457,"about_ca_system_score_gemma":0.0006446074,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001039212,"about_ca_topic_score_gemma":0.0007319723,"domain_scores_codex":[0.9987865,0.0003053198,0.00008918702,0.000358628,0.0003599235,0.0001005061],"domain_scores_gemma":[0.9959745,0.002788681,0.000460583,0.0003229379,0.0002923593,0.0001610335],"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.0002333295,0.00009460527,0.001786228,0.0002878162,0.00004826557,0.0003458931,0.001350705,0.1059231,0.02805934,0.7967415,0.0006038686,0.0645254],"study_design_scores_gemma":[0.00002460155,0.0001443433,0.0004485525,0.00002813597,0.00002494906,0.0001351726,0.00009777597,0.4365348,0.01425806,0.5458999,0.002379163,0.00002455577],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05000606,0.00009336955,0.9476036,0.0001732279,0.00001441237,0.00002397517,0.00003957786,0.0003665221,0.001679242],"genre_scores_gemma":[0.7527995,0.0001794128,0.2433306,0.0001141032,0.00006460625,0.0001237575,0.0001409722,0.0001204249,0.003126641],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001541607,"threshold_uncertainty_score":0.007863641,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.100809891669237,"score_gpt":0.2130138748750151,"score_spread":0.112203983205778,"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."}}