{"id":"W4387304729","doi":"10.1007/s11227-023-05669-3","title":"Performance modeling and quantitative evaluation for cyber-physical systems based on LTS","year":2023,"lang":"en","type":"article","venue":"The Journal of Supercomputing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Novelis (Canada)","funders":"Fundamental Research Funds for the Central Universities; Chinese Aeronautical Establishment; National Natural Science Foundation of China","keywords":"Computer science; Cyber-physical system; Probabilistic logic; Reliability (semiconductor); Software deployment; Model checking; Complex system; Distributed computing; Reliability engineering; Theoretical computer science; Artificial intelligence; Software engineering","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.007184835,0.00008490979,0.0001511583,0.0001510258,0.0002504797,0.00007885414,0.0003887312,0.00002509703,1.498363e-7],"category_scores_gemma":[0.0003798921,0.00005697938,0.00004493815,0.0003299466,0.00002567242,0.0004583063,0.00005440847,0.0001563877,0.000003725712],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005655018,"about_ca_system_score_gemma":0.00006546811,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004791933,"about_ca_topic_score_gemma":1.160732e-7,"domain_scores_codex":[0.9986249,0.0003348061,0.0003077048,0.0001101864,0.0004585398,0.0001638561],"domain_scores_gemma":[0.9983639,0.0008670527,0.0001706739,0.0001865315,0.0003752628,0.00003657529],"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.00003118744,0.00001307495,0.00005619746,0.0000310646,0.000008091828,2.815876e-7,0.002502721,0.9707125,0.0009433928,0.004055036,0.00001595334,0.02163048],"study_design_scores_gemma":[0.0003231316,0.0003423541,0.0007674222,0.0001648162,0.0000196469,0.0000165898,0.0004528784,0.99694,0.0003799325,0.0005202379,0.000006656226,0.00006635473],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5088297,0.00002947687,0.4905758,0.000124648,0.0002567371,0.0001298418,3.330196e-7,0.00001774023,0.00003570102],"genre_scores_gemma":[0.8791855,0.000008357852,0.1206247,0.00002966489,0.000138892,0.000003567947,5.977602e-7,0.000006905435,0.000001851242],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3703558,"threshold_uncertainty_score":0.2490135,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1274955694609024,"score_gpt":0.3692957388540825,"score_spread":0.2418001693931801,"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."}}