{"id":"https://openalex.org/W4417246982","doi":"https://doi.org/10.1016/j.knosys.2025.115124","title":"A framework for mining CPS specification based on neural hybrid automata","display_name":"A framework for mining CPS specification based on neural hybrid automata","publication_year":2025,"publication_date":"2025-12-11","ids":{"openalex":"https://openalex.org/W4417246982","doi":"https://doi.org/10.1016/j.knosys.2025.115124"},"language":"en","primary_location":{"id":"doi:10.1016/j.knosys.2025.115124","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.knosys.2025.115124","pdf_url":null,"source":{"id":"https://openalex.org/S10169007","display_name":"Knowledge-Based Systems","issn_l":"0950-7051","issn":["0950-7051","1872-7409"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Knowledge-Based Systems","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/A5055103504","display_name":"Chao Xing","orcid":"https://orcid.org/0009-0005-4540-6316"},"institutions":[{"id":"https://openalex.org/I4210143490","display_name":"Computing Center","ror":"https://ror.org/0557kgc34","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210143490","https://openalex.org/I4210148470"]},{"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","RU"],"is_corresponding":false,"raw_author_name":"Chao Xing","raw_affiliation_strings":["Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, 210023, China","College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, 211106, China","Key Laboratory of Data Intelligence and Advanced Computing in Provincial Universities, Suzhou, 215006, China","Ministry Key Laboratory for Safety-Critical Software Development and Verification, Nanjing, 211106, China"],"raw_orcid":"https://orcid.org/0009-0005-4540-6316","affiliations":[{"raw_affiliation_string":"Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, 210023, China","institution_ids":[]},{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, 211106, China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"Key Laboratory of Data Intelligence and Advanced Computing in Provincial Universities, Suzhou, 215006, China","institution_ids":["https://openalex.org/I4210143490"]},{"raw_affiliation_string":"Ministry Key Laboratory for Safety-Critical Software Development and Verification, Nanjing, 211106, China","institution_ids":[]}]},{"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/I4210143490","display_name":"Computing Center","ror":"https://ror.org/0557kgc34","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210143490","https://openalex.org/I4210148470"]},{"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","RU"],"is_corresponding":true,"raw_author_name":"Zining Cao","raw_affiliation_strings":["Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, 210023, China","College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, 211106, China","Key Laboratory of Data Intelligence and Advanced Computing in Provincial Universities, Suzhou, 215006, China","Ministry Key Laboratory for Safety-Critical Software Development and Verification, Nanjing, 211106, China"],"raw_orcid":"https://orcid.org/0000-0002-4673-200X","affiliations":[{"raw_affiliation_string":"Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, 210023, China","institution_ids":[]},{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, 211106, China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"Key Laboratory of Data Intelligence and Advanced Computing in Provincial Universities, Suzhou, 215006, China","institution_ids":["https://openalex.org/I4210143490"]},{"raw_affiliation_string":"Ministry Key Laboratory for Safety-Critical Software Development and Verification, Nanjing, 211106, China","institution_ids":[]}]},{"author_position":"last","author":{"id":null,"display_name":"Zhen Li","orcid":"https://orcid.org/0000-0003-2357-1431"},"institutions":[{"id":"https://openalex.org/I3129496460","display_name":"Lishui University","ror":"https://ror.org/0418kp584","country_code":"CN","type":"education","lineage":["https://openalex.org/I3129496460"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhen Li","raw_affiliation_strings":["College of Mathematics and Computer Science, Lishui University, Lishui, 323000, China"],"raw_orcid":"https://orcid.org/0000-0003-2357-1431","affiliations":[{"raw_affiliation_string":"College of Mathematics and Computer Science, Lishui University, Lishui, 323000, China","institution_ids":["https://openalex.org/I3129496460"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5017248361"],"corresponding_institution_ids":["https://openalex.org/I4210143490","https://openalex.org/I9842412"],"apc_list":{"value":3130,"currency":"USD","value_usd":3130},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.35434034,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"334","issue":null,"first_page":"115124","last_page":"115124"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.527899980545044,"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.527899980545044,"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/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.053199999034404755,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"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/T12072","display_name":"Machine Learning and Algorithms","score":0.04699999839067459,"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/scalability","display_name":"Scalability","score":0.5616999864578247},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.49559998512268066},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.4875999987125397},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.4496999979019165},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.43140000104904175},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.3880999982357025},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.3677000105381012},{"id":"https://openalex.org/keywords/guard","display_name":"Guard (computer science)","score":0.35659998655319214},{"id":"https://openalex.org/keywords/hyperparameter","display_name":"Hyperparameter","score":0.35199999809265137}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.715399980545044},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5616999864578247},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.49559998512268066},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.4875999987125397},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.4496999979019165},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.43140000104904175},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.421999990940094},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3944999873638153},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.3880999982357025},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.3677000105381012},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3677000105381012},{"id":"https://openalex.org/C141141315","wikidata":"https://www.wikidata.org/wiki/Q2379942","display_name":"Guard (computer science)","level":2,"score":0.35659998655319214},{"id":"https://openalex.org/C8642999","wikidata":"https://www.wikidata.org/wiki/Q4171168","display_name":"Hyperparameter","level":2,"score":0.35199999809265137},{"id":"https://openalex.org/C95623464","wikidata":"https://www.wikidata.org/wiki/Q1096149","display_name":"Classifier (UML)","level":2,"score":0.350600004196167},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.325300008058548},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.3109999895095825},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.30649998784065247},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30379998683929443},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.28220000863075256},{"id":"https://openalex.org/C35525427","wikidata":"https://www.wikidata.org/wiki/Q745881","display_name":"Intrusion detection system","level":2,"score":0.26829999685287476},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.2671000063419342},{"id":"https://openalex.org/C161584116","wikidata":"https://www.wikidata.org/wiki/Q1952580","display_name":"Multivariate statistics","level":2,"score":0.26489999890327454},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.2646999955177307},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.2612000107765198},{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.2538999915122986},{"id":"https://openalex.org/C199163554","wikidata":"https://www.wikidata.org/wiki/Q1681619","display_name":"Univariate","level":3,"score":0.25270000100135803},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.2522999942302704},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.2513999938964844},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.25040000677108765}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/j.knosys.2025.115124","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.knosys.2025.115124","pdf_url":null,"source":{"id":"https://openalex.org/S10169007","display_name":"Knowledge-Based Systems","issn_l":"0950-7051","issn":["0950-7051","1872-7409"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Knowledge-Based Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5055147428","display_name":null,"funder_award_id":"NJ2024030","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"}],"funders":[{"id":"https://openalex.org/F4320324720","display_name":"Soochow University","ror":"https://ror.org/05t8y2r12"},{"id":"https://openalex.org/F4320328119","display_name":"National University's Basic Research Foundation of China","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":14,"referenced_works":["https://openalex.org/W1987971958","https://openalex.org/W2008348094","https://openalex.org/W2017603160","https://openalex.org/W2054658115","https://openalex.org/W2084326765","https://openalex.org/W2337713278","https://openalex.org/W2562031796","https://openalex.org/W2750156455","https://openalex.org/W2883773876","https://openalex.org/W3115948762","https://openalex.org/W3127716161","https://openalex.org/W3134574975","https://openalex.org/W3213375231","https://openalex.org/W4240592325"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-06-14T06:11:07.267592","created_date":"2025-12-11T00:00:00"}