{"id":"https://openalex.org/W4205777715","doi":"https://doi.org/10.1109/smc52423.2021.9658672","title":"New Symbolic Model and Equivalences Checking for Open Automata","display_name":"New Symbolic Model and Equivalences Checking for Open Automata","publication_year":2021,"publication_date":"2021-10-17","ids":{"openalex":"https://openalex.org/W4205777715","doi":"https://doi.org/10.1109/smc52423.2021.9658672"},"language":"en","primary_location":{"id":"doi:10.1109/smc52423.2021.9658672","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc52423.2021.9658672","pdf_url":null,"source":{"id":"https://openalex.org/S4363607761","display_name":"2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","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 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-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/A5033816758","display_name":"BiYang Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]},{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"BiYang Wang","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, Software College, East China Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, Software College, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062143465","display_name":"Eric Madelaine","orcid":"https://orcid.org/0000-0002-5552-5993"},"institutions":[{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Eric Madelaine","raw_affiliation_strings":["Inria/I3S Kairos, Universit\u00e9 C\u00f4te d\u2019Azur, Sophia Antipolis, France","Inria/I3S Kairos, Universit\u00e9 C\u00f4te d'Azur, Sophia Antipolis, France"],"affiliations":[{"raw_affiliation_string":"Inria/I3S Kairos, Universit\u00e9 C\u00f4te d\u2019Azur, Sophia Antipolis, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I201841394"]},{"raw_affiliation_string":"Inria/I3S Kairos, Universit\u00e9 C\u00f4te d'Azur, Sophia Antipolis, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I201841394"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100402983","display_name":"Min Zhang","orcid":"https://orcid.org/0000-0003-1938-2902"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Min Zhang","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, Software College, East China Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, Software College, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5033816758"],"corresponding_institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22827346,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"2360","last_page":"2367"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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.9997000098228455,"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/T11567","display_name":"semigroups and automata theory","score":0.9997000098228455,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.731545627117157},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7000099420547485},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5685042142868042},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5503513216972351},{"id":"https://openalex.org/keywords/symbolic-trajectory-evaluation","display_name":"Symbolic trajectory evaluation","score":0.47347843647003174},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4371799826622009}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.731545627117157},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7000099420547485},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5685042142868042},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5503513216972351},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.47347843647003174},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4371799826622009}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/smc52423.2021.9658672","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc52423.2021.9658672","pdf_url":null,"source":{"id":"https://openalex.org/S4363607761","display_name":"2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","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 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1607941371","https://openalex.org/W2110117589","https://openalex.org/W2194869982","https://openalex.org/W2487994048","https://openalex.org/W2913663755","https://openalex.org/W2922881962","https://openalex.org/W2995181781","https://openalex.org/W3044365571","https://openalex.org/W3126211319","https://openalex.org/W4310358378","https://openalex.org/W6680753846","https://openalex.org/W6858011150"],"related_works":["https://openalex.org/W2365988016","https://openalex.org/W1785234853","https://openalex.org/W2038864046","https://openalex.org/W1742935137","https://openalex.org/W1545972740","https://openalex.org/W2156717832","https://openalex.org/W1852145007","https://openalex.org/W2182602702","https://openalex.org/W4235160909","https://openalex.org/W2152996796"],"abstract_inverted_index":{"Open":[0],"Automata":[1],"(OA)":[2],"are":[3],"symbolic":[4],"and":[5,45,97,112],"parameterized":[6,95],"models":[7],"for":[8,39,70,90],"open":[9,13,129],"concurrent":[10],"systems,":[11,17],"where":[12,48],"means":[14,50],"partially":[15],"specified":[16],"which":[18],"can":[19],"be":[20,68],"instantiated":[21],"or":[22,125],"assembled":[23],"to":[24,67,116],"build":[25],"bigger":[26],"systems.":[27],"In":[28,74],"previous":[29],"work,":[30],"a":[31,79,100],"notion":[32],"of":[33,82,94,103],"equivalence":[34],"named":[35],"FH-Bisimulation":[36],"was":[37],"defined":[38],"OA,":[40,84],"coming":[41],"with":[42],"both":[43,87],"Strong":[44],"Weak":[46,49],"flavors,":[47],"ignoring":[51],"internal":[52],"moves":[53],"when":[54],"they":[55],"do":[56],"not":[57],"affect":[58],"the":[59,71,92,123],"external":[60],"behavior.":[61],"Both":[62],"flavors":[63],"have":[64],"been":[65],"proven":[66],"congruent":[69],"OA\u2019s":[72],"composition.":[73],"this":[75,108],"paper,":[76],"we":[77],"propose":[78],"new":[80],"definition":[81],"(weak)":[83,110],"that":[85],"is":[86],"more":[88],"expressive":[89],"encoding":[91,102],"behavior":[93],"systems":[96],"suitable":[98],"as":[99],"finite":[101],"weak":[104],"OA.":[105],"We":[106],"name":[107],"meta":[109,128],"OA":[111],"provide":[113],"two":[114],"methods":[115],"check":[117],"their":[118,127],"equivalence,":[119],"either":[120],"explicitly":[121],"building":[122],"meta-WOA,":[124],"constructing":[126],"transitions":[130],"on-demand.":[131],"The":[132],"last":[133],"strategy":[134],"has":[135],"better":[136],"termination":[137],"properties.":[138]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}