{"id":"https://openalex.org/W4387304729","doi":"https://doi.org/10.1007/s11227-023-05669-3","title":"Performance modeling and quantitative evaluation for cyber-physical systems based on LTS","display_name":"Performance modeling and quantitative evaluation for cyber-physical systems based on LTS","publication_year":2023,"publication_date":"2023-10-03","ids":{"openalex":"https://openalex.org/W4387304729","doi":"https://doi.org/10.1007/s11227-023-05669-3"},"language":"en","primary_location":{"id":"doi:10.1007/s11227-023-05669-3","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1007/s11227-023-05669-3","pdf_url":null,"source":{"id":"https://openalex.org/S32326811","display_name":"The Journal of Supercomputing","issn_l":"0920-8542","issn":["0920-8542","1573-0484"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Journal of Supercomputing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100332568","display_name":"Zhen Li","orcid":"https://orcid.org/0000-0002-0001-2998"},"institutions":[{"id":"https://openalex.org/I4210120442","display_name":"AVIC Optronics (China)","ror":"https://ror.org/0338ntq56","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210120442"]},{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhen Li","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, No. 29 Jiangjun Rd, Nanjing, 211106, Jiangsu, China","Science and Technology on Electro-optic Control Laboratory, Luoyang, 471000, Henan, China"],"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, No. 29 Jiangjun Rd, Nanjing, 211106, Jiangsu, China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"Science and Technology on Electro-optic Control Laboratory, Luoyang, 471000, Henan, China","institution_ids":["https://openalex.org/I4210120442"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017248361","display_name":"Zining Cao","orcid":"https://orcid.org/0000-0002-4673-200X"},"institutions":[{"id":"https://openalex.org/I4210120442","display_name":"AVIC Optronics (China)","ror":"https://ror.org/0338ntq56","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210120442"]},{"id":"https://openalex.org/I70986742","display_name":"Novelis (Canada)","ror":"https://ror.org/03wn09h25","country_code":"CA","type":"company","lineage":["https://openalex.org/I70986742"]},{"id":"https://openalex.org/I890469752","display_name":"Ministry of Industry and Information Technology","ror":"https://ror.org/0385nmy68","country_code":"CN","type":"government","lineage":["https://openalex.org/I890469752"]},{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CA","CN"],"is_corresponding":true,"raw_author_name":"Zining Cao","raw_affiliation_strings":["Collaborative Innovation Center of Novel Software Technology and Industrializaton, Nanjing, 210023, Jiangsu, China","College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, No. 29 Jiangjun Rd, Nanjing, 211106, Jiangsu, China","Key Laboratory of Safety-Critical Software, Ministry of Industry and Information Technology, Nanjing, 211106, Jiangsu, China","Science and Technology on Electro-optic Control Laboratory, Luoyang, 471000, Henan, China"],"affiliations":[{"raw_affiliation_string":"Collaborative Innovation Center of Novel Software Technology and Industrializaton, Nanjing, 210023, Jiangsu, China","institution_ids":["https://openalex.org/I70986742"]},{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, No. 29 Jiangjun Rd, Nanjing, 211106, Jiangsu, China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"Key Laboratory of Safety-Critical Software, Ministry of Industry and Information Technology, Nanjing, 211106, Jiangsu, China","institution_ids":["https://openalex.org/I890469752"]},{"raw_affiliation_string":"Science and Technology on Electro-optic Control Laboratory, Luoyang, 471000, Henan, China","institution_ids":["https://openalex.org/I4210120442"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100312213","display_name":"Chao Xing","orcid":"https://orcid.org/0000-0002-6686-0420"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chao Xing","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, No. 29 Jiangjun Rd, Nanjing, 211106, Jiangsu, China"],"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, No. 29 Jiangjun Rd, Nanjing, 211106, Jiangsu, China","institution_ids":["https://openalex.org/I9842412"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5017248361"],"corresponding_institution_ids":["https://openalex.org/I4210120442","https://openalex.org/I70986742","https://openalex.org/I890469752","https://openalex.org/I9842412"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.3958,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.65856339,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"80","issue":"4","first_page":"5616","last_page":"5653"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8830472826957703},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.7159093618392944},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6591219305992126},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.6462581157684326},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.6322125196456909},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5599152445793152},{"id":"https://openalex.org/keywords/complex-system","display_name":"Complex system","score":0.41912126541137695},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4115385413169861},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.39379632472991943},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2556781768798828},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2349950671195984},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.14146339893341064}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8830472826957703},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7159093618392944},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6591219305992126},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.6462581157684326},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.6322125196456909},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5599152445793152},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.41912126541137695},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4115385413169861},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.39379632472991943},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2556781768798828},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2349950671195984},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.14146339893341064},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11227-023-05669-3","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1007/s11227-023-05669-3","pdf_url":null,"source":{"id":"https://openalex.org/S32326811","display_name":"The Journal of Supercomputing","issn_l":"0920-8542","issn":["0920-8542","1573-0484"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Journal of Supercomputing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4399999976158142,"id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G2226322849","display_name":null,"funder_award_id":"NJ2019010","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G2821560599","display_name":null,"funder_award_id":"NJ2020022","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G4238289496","display_name":null,"funder_award_id":"61572253","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6425954411","display_name":null,"funder_award_id":"20185152035","funder_id":"https://openalex.org/F4320327472","funder_display_name":"Chinese Aeronautical Establishment"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320327472","display_name":"Chinese Aeronautical Establishment","ror":null},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1571161283","https://openalex.org/W1596186423","https://openalex.org/W1782479956","https://openalex.org/W1980648830","https://openalex.org/W1994952588","https://openalex.org/W1995041806","https://openalex.org/W2071103858","https://openalex.org/W2095602520","https://openalex.org/W2129355439","https://openalex.org/W2130773092","https://openalex.org/W2166903138","https://openalex.org/W2791806437","https://openalex.org/W2794581074","https://openalex.org/W2803843036","https://openalex.org/W2804506387","https://openalex.org/W2806681860","https://openalex.org/W2892924840","https://openalex.org/W2893723308","https://openalex.org/W2912640545","https://openalex.org/W3041006851","https://openalex.org/W3047659890","https://openalex.org/W3048688750","https://openalex.org/W3090425956","https://openalex.org/W3100414354","https://openalex.org/W3112314931","https://openalex.org/W3128138820","https://openalex.org/W3199319807","https://openalex.org/W4200280474","https://openalex.org/W4210425519","https://openalex.org/W4210694415","https://openalex.org/W4242741415","https://openalex.org/W4285255746","https://openalex.org/W4297880987"],"related_works":["https://openalex.org/W2770234245","https://openalex.org/W96612179","https://openalex.org/W4229499248","https://openalex.org/W2566006169","https://openalex.org/W1567818861","https://openalex.org/W2987774938","https://openalex.org/W4256492088","https://openalex.org/W632915154","https://openalex.org/W2055733372","https://openalex.org/W3022067003"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-31T07:56:22.981413","created_date":"2025-10-10T00:00:00"}