{"id":"W4226326700","doi":"10.22215/etd/2022-14851","title":"Formalization of Cyber-Physical System Interface using Discrete Event System Specifications","year":2022,"lang":"en","type":"dissertation","venue":"","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Cyber-physical system; Interface (matter); DEVS; Computer science; Bridge (graph theory); Field (mathematics); Event (particle physics); Architecture; Function (biology); Distributed computing; Physical system; User interface; Embedded system; Modeling and simulation; Simulation; Programming language; Operating 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004637728,0.0009423236,0.0006076513,0.001043312,0.0006974187,0.004407683,0.002114672,0.001168922,0.006165517],"category_scores_gemma":[0.0108973,0.0007867995,0.001881941,0.0007834507,0.002536432,0.004374185,0.002213454,0.003792531,0.001695787],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001313753,"about_ca_system_score_gemma":0.003942266,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00351289,"about_ca_topic_score_gemma":0.003098457,"domain_scores_codex":[0.9953787,0.001407318,0.0006222962,0.0004569129,0.00178466,0.0003501898],"domain_scores_gemma":[0.9920815,0.004504855,0.00042478,0.001244621,0.001584869,0.0001592919],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000354587,0.00007553981,0.0002517065,0.0002227246,0.00002684446,0.000284483,0.0004309405,0.04628516,0.002986894,0.9281179,0.002056612,0.01922577],"study_design_scores_gemma":[0.0001015555,0.0001153473,0.0003079281,0.0004606281,0.00008893094,0.0003272895,0.0002625267,0.3467993,0.01589416,0.5544433,0.08113275,0.00006629554],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002945506,0.0001828069,0.9852917,0.0003699538,0.00009910466,0.0001659662,0.000218549,0.0004588175,0.0102676],"genre_scores_gemma":[0.2643318,0.001365256,0.7180887,0.0006100931,0.0002472118,0.001109645,0.002055893,0.0004956205,0.01169573],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006165517,"threshold_uncertainty_score":0.02452695,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1369407559435739,"score_gpt":0.4546938358774998,"score_spread":0.3177530799339259,"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."}}