{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004020154,0.0009237758,0.0008281625,0.001055483,0.0004419149,0.001964218,0.001221074,0.0006214645,0.003364733],"category_scores_gemma":[0.01192322,0.0003433301,0.0009704539,0.0005129977,0.00170034,0.002216079,0.0008951788,0.0009737636,0.0003328121],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001993644,"about_ca_system_score_gemma":0.001890705,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005193983,"about_ca_topic_score_gemma":0.002851033,"domain_scores_codex":[0.9972731,0.001231307,0.0001264517,0.0002571479,0.0008678429,0.0002440856],"domain_scores_gemma":[0.9919518,0.005455107,0.0006712038,0.0007934523,0.0009685864,0.000159887],"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.00008241069,0.00003866805,0.0006632803,0.00008767762,0.00002316946,0.00003865371,0.00006720689,0.9421108,0.002068032,0.04702348,0.0001727464,0.007623997],"study_design_scores_gemma":[0.000003333164,0.00001606387,0.00006703732,0.000005238564,0.000006070331,0.000003751975,0.000006696878,0.9925217,0.0008364033,0.006412352,0.0001183882,0.000003032172],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03863334,0.0001029873,0.9570405,0.0001179721,0.00002760949,0.00005717622,0.00009509429,0.0009765843,0.002948642],"genre_scores_gemma":[0.9563122,0.00009025971,0.0420749,0.0000207911,0.00001928853,0.00008442998,0.00008807665,0.0001250702,0.001185018],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005193983,"threshold_uncertainty_score":0.02126086,"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."}}