{"id":"https://openalex.org/W4226399679","doi":"https://doi.org/10.1109/iske54062.2021.9755388","title":"A Language for Performance Evaluation Based on the Combination of CTRML and MMTD and Its Algorithm","display_name":"A Language for Performance Evaluation Based on the Combination of CTRML and MMTD and Its Algorithm","publication_year":2021,"publication_date":"2021-11-26","ids":{"openalex":"https://openalex.org/W4226399679","doi":"https://doi.org/10.1109/iske54062.2021.9755388"},"language":"en","primary_location":{"id":"doi:10.1109/iske54062.2021.9755388","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iske54062.2021.9755388","pdf_url":null,"source":{"id":"https://openalex.org/S4363608381","display_name":"2021 16th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 16th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5100717602","display_name":"Fujun Wang","orcid":"https://orcid.org/0000-0002-7978-4033"},"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":"Fujun Wang","raw_affiliation_strings":["Nanjing University of Aeronautics and Astronautics,College of Computer Science and Technology,Nanjing,China","College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanjing University of Aeronautics and Astronautics,College of Computer Science and Technology,Nanjing,China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]}]},{"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/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":"Zining Cao","raw_affiliation_strings":["Nanjing University of Aeronautics and Astronautics,College of Computer Science and Technology,Nanjing,China","Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, China","College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","Science and Technology on Electrooptic Control Laboratory, Luoyang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanjing University of Aeronautics and Astronautics,College of Computer Science and Technology,Nanjing,China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, China","institution_ids":[]},{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"Science and Technology on Electrooptic Control Laboratory, Luoyang, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100623971","display_name":"Shuya Wang","orcid":"https://orcid.org/0000-0002-2779-2883"},"institutions":[{"id":"https://openalex.org/I41198531","display_name":"Nanjing University of Posts and Telecommunications","ror":"https://ror.org/043bpky34","country_code":"CN","type":"education","lineage":["https://openalex.org/I41198531"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuya Wang","raw_affiliation_strings":["Nanjing University of Posts and Telecommunications,Tongda College,Yangzhou,China","Tongda College, Nanjing University of Posts and Telecommunications, Yangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanjing University of Posts and Telecommunications,Tongda College,Yangzhou,China","institution_ids":["https://openalex.org/I41198531"]},{"raw_affiliation_string":"Tongda College, Nanjing University of Posts and Telecommunications, Yangzhou, China","institution_ids":["https://openalex.org/I41198531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061602620","display_name":"Hui Zong","orcid":null},"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":"Hui Zong","raw_affiliation_strings":["Nanjing University of Aeronautics and Astronautics,College of Computer Science and Technology,Nanjing,China","College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanjing University of Aeronautics and Astronautics,College of Computer Science and Technology,Nanjing,China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101513482","display_name":"Weiwei L\u00fc","orcid":"https://orcid.org/0000-0003-0107-8486"},"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/I72565114","display_name":"Luoyang Institute of Science and Technology","ror":"https://ror.org/04nraex26","country_code":"CN","type":"education","lineage":["https://openalex.org/I72565114"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weiwei Lu","raw_affiliation_strings":["Science and Technology on Electrooptic Control Laboratory,Luoyang,China","Science and Technology on Electrooptic Control Laboratory, Luoyang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Science and Technology on Electrooptic Control Laboratory,Luoyang,China","institution_ids":["https://openalex.org/I4210120442","https://openalex.org/I72565114"]},{"raw_affiliation_string":"Science and Technology on Electrooptic Control Laboratory, Luoyang, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2713,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.49474216,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"29","issue":null,"first_page":"95","last_page":"100"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9879000186920166,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9879000186920166,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9807000160217285,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9552000164985657,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7300567030906677},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4651558995246887}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7300567030906677},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4651558995246887}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iske54062.2021.9755388","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iske54062.2021.9755388","pdf_url":null,"source":{"id":"https://openalex.org/S4363608381","display_name":"2021 16th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 16th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.4300000071525574}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W173641204","https://openalex.org/W427198658","https://openalex.org/W1516852392","https://openalex.org/W1589128016","https://openalex.org/W1995469594","https://openalex.org/W2020092565","https://openalex.org/W2123273652","https://openalex.org/W2160136100","https://openalex.org/W2336283925","https://openalex.org/W2386312852","https://openalex.org/W2543273067","https://openalex.org/W2809681923","https://openalex.org/W2970786652","https://openalex.org/W3142526198","https://openalex.org/W4297837668","https://openalex.org/W6606953289","https://openalex.org/W6787858396"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Safety-critical":[0],"systems":[1],"are":[2,39,44,55,145,184],"becoming":[3],"more":[4],"common":[5],"around":[6],"us,":[7],"how":[8],"to":[9,21,46,115,180],"conduct":[10],"performance":[11,89,174,194],"evaluation":[12,19,90,175,195],"becomes":[13],"an":[14],"important":[15],"practical":[16],"concern.":[17],"Performance":[18],"means":[20],"describe,":[22],"analyze,":[23],"and":[24,102,177],"optimize":[25],"the":[26,59,74,79,95,98,104,117,127,137,162,165,170,181,190],"dynamic,":[27],"time-dependent":[28],"behavior":[29],"of":[30,78,97,108,110,139,189],"systems.":[31],"Traditional":[32],"temporal":[33,37],"logics,":[34],"even":[35],"probabilistic":[36,60,130,154,171],"logics":[38],"expressive":[40,187],"enough,":[41],"but":[42],"they":[43,54],"limited":[45],"producing":[47],"only":[48,64],"true":[49,65],"or":[50,66],"false":[51,67],"responses,":[52,68],"as":[53],"still":[56],"logics.":[57],"Meanwhile,":[58],"operator":[61],"can":[62],"produce":[63],"without":[69],"any":[70],"other":[71],"information,":[72,119],"like":[73],"medium":[75],"truth":[76],"degree":[77],"property.":[80],"To":[81,147],"overcome":[82],"this":[83,149],"problem,":[84],"a":[85,151,199],"novel":[86,166,191],"language":[87,183,192],"for":[88,164,169,193],"was":[91,157,196],"proposed,":[92],"which":[93,120,133,160],"absorbs":[94],"advantages":[96],"existing":[99,128],"formal":[100],"languages":[101],"uses":[103],"distance":[105],"ratio":[106],"function":[107],"\u201cMeasure":[109],"Medium":[111],"Truth":[112],"Degree":[113],"(MMTD)\u201d":[114],"quantify":[116],"additional":[118],"we":[121],"called":[122],"fuzzy":[123],"information.":[124],"In":[125],"addition,":[126],"approximate":[129,153],"bisimulation":[131,155],"relations,":[132],"do":[134],"not":[135],"take":[136],"case":[138,200],"convex":[140],"combination":[141],"transitions":[142],"into":[143],"account,":[144],"deficient.":[146],"tackle":[148],"issue,":[150],"new":[152,182],"relation":[156],"put":[158],"forward,":[159],"forms":[161],"basis":[163],"language,":[167],"especially":[168],"operator.":[172],"The":[173,186],"algorithm":[176],"properties":[178],"related":[179],"given.":[185],"ability":[188],"demonstrated":[197],"by":[198],"study.":[201]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}