{"id":"W4237537986","doi":"10.1109/wsc.2018.8632408","title":"INTRODUCTION TO THE DISCRETE EVENT SYSTEM SPECIFICATION FORMALISM AND ITS APPLICATION FOR MODELING AND SIMULATING CYBER-PHYSICAL SYSTEMS","year":2018,"lang":"en","type":"article","venue":"2018 Winter Simulation Conference (WSC)","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"DEVS; Formalism (music); Computer science; Modular design; Discrete event simulation; Exploit; Theoretical computer science; Formal specification; Modeling and simulation; Programming language; Distributed computing; Software engineering; Simulation; Computer security","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.002247255,0.001507566,0.0008241193,0.001495811,0.000629203,0.002233396,0.001556039,0.00191413,0.01736603],"category_scores_gemma":[0.005240859,0.001053812,0.001808274,0.002879121,0.001545713,0.003914366,0.001674234,0.005861158,0.00557319],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001089854,"about_ca_system_score_gemma":0.001573123,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002158843,"about_ca_topic_score_gemma":0.001739921,"domain_scores_codex":[0.9985398,0.000421453,0.0002035267,0.0002134979,0.0005468059,0.00007488751],"domain_scores_gemma":[0.9978103,0.001386917,0.0001329779,0.0002372027,0.0003565932,0.00007603024],"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.00002564041,0.00006004018,0.0003339019,0.0008676857,0.00004617242,0.000375779,0.0005167058,0.01785414,0.004051935,0.817898,0.03986975,0.1181002],"study_design_scores_gemma":[0.0000158301,0.0000645355,0.0002473306,0.000486787,0.00002224115,0.0008566667,0.0000789734,0.02493868,0.001868306,0.2721365,0.6992314,0.00005273446],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0006501944,0.006235824,0.9686174,0.001636064,0.0008498551,0.000139839,0.000821378,0.0009878101,0.02006169],"genre_scores_gemma":[0.03389321,0.03542366,0.8934115,0.002375945,0.001816653,0.0008234255,0.00295671,0.0008421019,0.02845688],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01736603,"threshold_uncertainty_score":0.05809516,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1150593886427225,"score_gpt":0.3980029589894271,"score_spread":0.2829435703467046,"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."}}