{"id":"https://openalex.org/W4410239400","doi":"https://doi.org/10.3390/sym17050726","title":"Symmetry-Aware Hybrid Verification for Complex Building Information Systems","display_name":"Symmetry-Aware Hybrid Verification for Complex Building Information Systems","publication_year":2025,"publication_date":"2025-05-09","ids":{"openalex":"https://openalex.org/W4410239400","doi":"https://doi.org/10.3390/sym17050726"},"language":"en","primary_location":{"id":"doi:10.3390/sym17050726","is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym17050726","pdf_url":"https://www.mdpi.com/2073-8994/17/5/726/pdf?version=1746782507","source":{"id":"https://openalex.org/S190787756","display_name":"Symmetry","issn_l":"2073-8994","issn":["2073-8994"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Symmetry","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2073-8994/17/5/726/pdf?version=1746782507","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038345735","display_name":"Linlin Kong","orcid":"https://orcid.org/0000-0001-7846-9819"},"institutions":[{"id":"https://openalex.org/I4210163363","display_name":"PLA Army Engineering University","ror":"https://ror.org/05mgp8x93","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210163363"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Linlin Kong","raw_affiliation_strings":["College of Defense Engineering, Army Engineering University of PLA, Nanjing 210000, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Defense Engineering, Army Engineering University of PLA, Nanjing 210000, China","institution_ids":["https://openalex.org/I4210163363"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100650553","display_name":"Qiliang Yang","orcid":"https://orcid.org/0000-0002-3274-2119"},"institutions":[{"id":"https://openalex.org/I4210163363","display_name":"PLA Army Engineering University","ror":"https://ror.org/05mgp8x93","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210163363"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Qiliang Yang","raw_affiliation_strings":["College of Defense Engineering, Army Engineering University of PLA, Nanjing 210000, China"],"raw_orcid":"https://orcid.org/0000-0002-3274-2119","affiliations":[{"raw_affiliation_string":"College of Defense Engineering, Army Engineering University of PLA, Nanjing 210000, China","institution_ids":["https://openalex.org/I4210163363"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077843531","display_name":"Yaoqin Zhang","orcid":null},"institutions":[{"id":"https://openalex.org/I11838497","display_name":"Aviation Industry Corporation of China (China)","ror":"https://ror.org/02wq41p38","country_code":"CN","type":"company","lineage":["https://openalex.org/I11838497"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yaoqin Zhang","raw_affiliation_strings":["Lei Hua Institute of Electronic Technology, Aviation Industry Corporation of China, Wuxi 214125, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lei Hua Institute of Electronic Technology, Aviation Industry Corporation of China, Wuxi 214125, China","institution_ids":["https://openalex.org/I11838497"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100601220","display_name":"Xuewei Zhang","orcid":"https://orcid.org/0000-0002-5165-4886"},"institutions":[{"id":"https://openalex.org/I4210163363","display_name":"PLA Army Engineering University","ror":"https://ror.org/05mgp8x93","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210163363"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xuewei Zhang","raw_affiliation_strings":["College of Defense Engineering, Army Engineering University of PLA, Nanjing 210000, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Defense Engineering, Army Engineering University of PLA, Nanjing 210000, China","institution_ids":["https://openalex.org/I4210163363"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091592364","display_name":"Qizhen Zhou","orcid":"https://orcid.org/0000-0001-5509-0902"},"institutions":[{"id":"https://openalex.org/I4210163363","display_name":"PLA Army Engineering University","ror":"https://ror.org/05mgp8x93","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210163363"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qizhen Zhou","raw_affiliation_strings":["College of Defense Engineering, Army Engineering University of PLA, Nanjing 210000, China"],"raw_orcid":"https://orcid.org/0000-0001-5509-0902","affiliations":[{"raw_affiliation_string":"College of Defense Engineering, Army Engineering University of PLA, Nanjing 210000, China","institution_ids":["https://openalex.org/I4210163363"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5100650553"],"corresponding_institution_ids":["https://openalex.org/I4210163363"],"apc_list":{"value":2000,"currency":"CHF","value_usd":2165},"apc_paid":{"value":2000,"currency":"CHF","value_usd":2165},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09048362,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"17","issue":"5","first_page":"726","last_page":"726"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9952999949455261,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9952999949455261,"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"}},{"id":"https://openalex.org/T11006","display_name":"BIM and Construction Integration","score":0.9930999875068665,"subfield":{"id":"https://openalex.org/subfields/2215","display_name":"Building and Construction"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9925000071525574,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.658998966217041},{"id":"https://openalex.org/keywords/symmetry","display_name":"Symmetry (geometry)","score":0.5409345030784607},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.33895012736320496},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2085292637348175},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.13555559515953064}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.658998966217041},{"id":"https://openalex.org/C2779886137","wikidata":"https://www.wikidata.org/wiki/Q21030012","display_name":"Symmetry (geometry)","level":2,"score":0.5409345030784607},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.33895012736320496},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2085292637348175},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.13555559515953064}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3390/sym17050726","is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym17050726","pdf_url":"https://www.mdpi.com/2073-8994/17/5/726/pdf?version=1746782507","source":{"id":"https://openalex.org/S190787756","display_name":"Symmetry","issn_l":"2073-8994","issn":["2073-8994"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Symmetry","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.3390/sym17050726","is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym17050726","pdf_url":"https://www.mdpi.com/2073-8994/17/5/726/pdf?version=1746782507","source":{"id":"https://openalex.org/S190787756","display_name":"Symmetry","issn_l":"2073-8994","issn":["2073-8994"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Symmetry","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G198314816","display_name":null,"funder_award_id":"2023YFC3107100","funder_id":"https://openalex.org/F4320322769","funder_display_name":"Natural Science Foundation of Jiangsu Province"},{"id":"https://openalex.org/G3510126116","display_name":null,"funder_award_id":"2023YFC3107100","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3889164782","display_name":null,"funder_award_id":"52178307","funder_id":"https://openalex.org/F4320322769","funder_display_name":"Natural Science Foundation of Jiangsu Province"},{"id":"https://openalex.org/G4359178521","display_name":null,"funder_award_id":"BK20210439","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G5830929718","display_name":null,"funder_award_id":"BK20210439","funder_id":"https://openalex.org/F4320322769","funder_display_name":"Natural Science Foundation of Jiangsu Province"},{"id":"https://openalex.org/G8343213085","display_name":null,"funder_award_id":"52178307","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8527290388","display_name":null,"funder_award_id":"52178307","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G8914618126","display_name":null,"funder_award_id":"2023YFC3107100","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G8967430108","display_name":null,"funder_award_id":"BK20210439","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322769","display_name":"Natural Science Foundation of Jiangsu Province","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410239400.pdf","grobid_xml":"https://content.openalex.org/works/W4410239400.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W1042486207","https://openalex.org/W1963672662","https://openalex.org/W2039712107","https://openalex.org/W2966906878","https://openalex.org/W3014757175","https://openalex.org/W3154818440","https://openalex.org/W3157995872","https://openalex.org/W3173663646","https://openalex.org/W4206201438","https://openalex.org/W4206750134","https://openalex.org/W4280493844","https://openalex.org/W4286502900","https://openalex.org/W4287009135","https://openalex.org/W4296764892","https://openalex.org/W4313193894","https://openalex.org/W4319601668","https://openalex.org/W4320035636","https://openalex.org/W4320925225","https://openalex.org/W4324290821","https://openalex.org/W4362456600","https://openalex.org/W4379144534","https://openalex.org/W4380611640","https://openalex.org/W4380988890","https://openalex.org/W4381050463","https://openalex.org/W4382364307","https://openalex.org/W4385757195","https://openalex.org/W4385777628","https://openalex.org/W4386484307","https://openalex.org/W4387212888","https://openalex.org/W4387442990","https://openalex.org/W4387456106","https://openalex.org/W4387781033","https://openalex.org/W4392578434","https://openalex.org/W4396830784","https://openalex.org/W4401020753","https://openalex.org/W4402121515","https://openalex.org/W6794339080"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"As":[0],"building":[1,13,38,68,109,205,230,286],"information":[2,14,39,110,206],"model":[3,162,217],"technologies":[4],"become":[5,71],"more":[6],"complex":[7,55,67,108,204,285],"and":[8,22,45,64,96,104,117,123,154,163,184,199,233,242,272],"interconnected,":[9],"the":[10,30,35,47,51,62,101,112,133,142,146,160,167,173,177,186,196,203,214,225,237,240,265,281],"validation":[11,49,85,128,156,188],"of":[12,29,37,50,54,66,107,148,166,176,182,189,202,229,239,254,284],"models":[15,122],"remains":[16],"critical":[17],"to":[18,60,99,194,212],"ensure":[19,61],"their":[20],"reliability":[21,65,106,155,201],"effectiveness":[23],"in":[24,41,151],"practical":[25,105,200],"applications.":[26],"However,":[27],"most":[28],"existing":[31],"research":[32],"focuses":[33],"on":[34],"application":[36],"modeling":[40,159],"a":[42,72,82,180,219,260,277],"single":[43],"domain":[44],"lacks":[46],"collaborative":[48,282],"overall":[52],"behavior":[53,232],"dynamic":[56,124,191,227,273],"systems.":[57,287],"Therefore,":[58],"how":[59],"correctness":[63,103,198],"systems":[69],"has":[70],"challenging":[73],"issue.":[74],"To":[75],"solve":[76],"this":[77,79],"problem,":[78],"paper":[80],"proposes":[81],"symmetry-aware":[83],"hybrid":[84],"framework":[86,113],"that":[87,264],"combines":[88],"Timed":[89],"Automata":[90],"(TA),":[91],"Unified":[92],"Modeling":[93],"Language":[94],"(UML),":[95],"AnyLogic":[97,209],"simulation":[98,221],"enhance":[100,195],"logical":[102,152,197],"systems;":[111],"inherently":[114],"preserves":[115],"structural":[116,161,216],"temporal":[118],"symmetry":[119],"between":[120],"formal":[121,187,270],"simulations,":[125],"ensuring":[126],"consistent":[127],"across":[129],"virtual\u2013physical":[130],"interactions.":[131],"Taking":[132],"Building":[134],"Information":[135],"Physical":[136],"Model":[137],"(BIPM)":[138],"as":[139,259],"an":[140,244,251,255],"example,":[141],"method":[143,266],"first":[144],"solves":[145],"defects":[147],"traditional":[149],"methods":[150],"consistency":[153],"by":[157],"firstly":[158],"behavioral":[164,174],"logic":[165,175],"BIPM":[168,178,215],"through":[169],"UML":[170],"normalization,":[171],"transforming":[172],"into":[179,218],"network":[181],"TA,":[183],"realizing":[185],"its":[190],"interaction":[192],"mechanism":[193],"system.":[207],"Secondly,":[208],"is":[210],"used":[211],"map":[213],"visual":[220],"model,":[222,241],"which":[223],"supports":[224],"real-time":[226],"display":[228],"system":[231,258],"performance":[234],"analysis,":[235],"enhances":[236],"interpretability":[238],"provides":[243],"intuitive":[245],"decision-making":[246],"platform":[247],"for":[248,280],"stakeholders.":[249],"Finally,":[250],"empirical":[252],"study":[253,262],"air":[256],"conditioning":[257],"case":[261],"shows":[263],"can":[267],"effectively":[268],"integrate":[269],"verification":[271,283],"visualization":[274],"techniques,":[275],"providing":[276],"scalable":[278],"solution":[279]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}