{"id":"https://openalex.org/W3127716161","doi":"https://doi.org/10.1145/3556543","title":"A Passive Online Technique for Learning Hybrid Automata from Input/Output Traces","display_name":"A Passive Online Technique for Learning Hybrid Automata from Input/Output Traces","publication_year":2022,"publication_date":"2022-08-16","ids":{"openalex":"https://openalex.org/W3127716161","doi":"https://doi.org/10.1145/3556543","mag":"3127716161"},"language":"en","primary_location":{"id":"doi:10.1145/3556543","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3556543","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing 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/A5039859091","display_name":"Iman Saberi","orcid":"https://orcid.org/0000-0001-6595-5519"},"institutions":[{"id":"https://openalex.org/I23946033","display_name":"University of Tehran","ror":"https://ror.org/05vf56z40","country_code":"IR","type":"education","lineage":["https://openalex.org/I23946033"]}],"countries":["IR"],"is_corresponding":true,"raw_author_name":"Iman Saberi","raw_affiliation_strings":["University of Tehran, Department of Electrical and Computer Engineering, Tehran, Iran"],"affiliations":[{"raw_affiliation_string":"University of Tehran, Department of Electrical and Computer Engineering, Tehran, Iran","institution_ids":["https://openalex.org/I23946033"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011331492","display_name":"Fathiyeh Faghih","orcid":"https://orcid.org/0000-0002-8877-6895"},"institutions":[{"id":"https://openalex.org/I23946033","display_name":"University of Tehran","ror":"https://ror.org/05vf56z40","country_code":"IR","type":"education","lineage":["https://openalex.org/I23946033"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Fathiyeh Faghih","raw_affiliation_strings":["University of Tehran, Department of Electrical and Computer Engineering, Tehran, Iran"],"affiliations":[{"raw_affiliation_string":"University of Tehran, Department of Electrical and Computer Engineering, Tehran, Iran","institution_ids":["https://openalex.org/I23946033"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061852884","display_name":"Farzad Sobhi Bavil","orcid":"https://orcid.org/0000-0001-9947-1045"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Farzad Sobhi Bavil","raw_affiliation_strings":["Department of Electronic Research and Innovation, Crouse Company, Tehran, Iran"],"affiliations":[{"raw_affiliation_string":"Department of Electronic Research and Innovation, Crouse Company, Tehran, Iran","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5039859091"],"corresponding_institution_ids":["https://openalex.org/I23946033"],"apc_list":null,"apc_paid":null,"fwci":3.6952,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.93051459,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"22","issue":"1","first_page":"1","last_page":"24"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"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/T12072","display_name":"Machine Learning and Algorithms","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/T10142","display_name":"Formal Methods in Verification","score":0.996399998664856,"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.8937217593193054},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7717533111572266},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.6787945032119751},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.5485301613807678},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5226340293884277},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.46701839566230774},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.4654702842235565},{"id":"https://openalex.org/keywords/dynamic-time-warping","display_name":"Dynamic time warping","score":0.4493168890476227},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42910951375961304},{"id":"https://openalex.org/keywords/input/output","display_name":"Input/output","score":0.4133973717689514},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3558151125907898},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2962678074836731},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.21683764457702637},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2006680965423584}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8937217593193054},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7717533111572266},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.6787945032119751},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.5485301613807678},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5226340293884277},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.46701839566230774},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4654702842235565},{"id":"https://openalex.org/C88516994","wikidata":"https://www.wikidata.org/wiki/Q1268863","display_name":"Dynamic time warping","level":2,"score":0.4493168890476227},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42910951375961304},{"id":"https://openalex.org/C196697905","wikidata":"https://www.wikidata.org/wiki/Q2042052","display_name":"Input/output","level":2,"score":0.4133973717689514},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3558151125907898},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2962678074836731},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.21683764457702637},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2006680965423584},{"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3556543","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3556543","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1550306788","https://openalex.org/W1941193032","https://openalex.org/W1990707482","https://openalex.org/W2017603160","https://openalex.org/W2063102387","https://openalex.org/W2065337337","https://openalex.org/W2074010768","https://openalex.org/W2086092403","https://openalex.org/W2091735588","https://openalex.org/W2091932246","https://openalex.org/W2094783813","https://openalex.org/W2148922260","https://openalex.org/W2339048773","https://openalex.org/W2500302530","https://openalex.org/W2561427878","https://openalex.org/W2765706918","https://openalex.org/W2811002841","https://openalex.org/W2866060364","https://openalex.org/W2883261023","https://openalex.org/W2895591442","https://openalex.org/W2909693411","https://openalex.org/W2912432686","https://openalex.org/W2956034981","https://openalex.org/W2958210738","https://openalex.org/W2963125544","https://openalex.org/W2997095483","https://openalex.org/W3004939941","https://openalex.org/W3082211610","https://openalex.org/W3117099911","https://openalex.org/W3120742815","https://openalex.org/W3189981105","https://openalex.org/W4242700588"],"related_works":["https://openalex.org/W1495105673","https://openalex.org/W2095644384","https://openalex.org/W42165","https://openalex.org/W2020061635","https://openalex.org/W2029666815","https://openalex.org/W1968401573","https://openalex.org/W2047013661","https://openalex.org/W2538038171","https://openalex.org/W1524267824","https://openalex.org/W2025792734"],"abstract_inverted_index":{"Specification":[0],"synthesis":[1,127],"is":[2,17,40,92,113,140],"the":[3,10,31,79,93,106,123,129,145,158,177],"process":[4,36],"of":[5,13,30,34,54,82,176],"deriving":[6],"a":[7,14,51,71,83],"model":[8,58],"from":[9,78,128],"input-output":[11,80],"traces":[12,81],"system.":[15,86],"It":[16],"used":[18,141,155],"extensively":[19],"in":[20,89,144,166],"test":[21],"design,":[22],"reverse":[23],"engineering,":[24],"and":[25,49,56,63,132,169],"system":[26,124],"identification.":[27],"One":[28],"type":[29],"resulting":[32],"artifact":[33],"this":[35,67,102],"for":[37,74,96],"cyber-physical":[38,85],"systems":[39,59],"hybrid":[41,76],"automata.":[42],"They":[43],"are":[44],"intuitive,":[45],"precise,":[46],"tool":[47],"independent,":[48],"at":[50],"high":[52],"level":[53],"abstraction,":[55],"can":[57,153],"with":[60,122],"both":[61],"discrete":[62],"continuous":[64],"variables.":[65],"In":[66,147],"article,":[68],"we":[69],"propose":[70],"new":[72,151],"technique":[73],"synthesizing":[75],"automaton":[77],"non-linear":[84,90],"Similarity":[87],"detection":[88],"behaviors":[91],"main":[94],"challenge":[95],"extracting":[97],"such":[98],"models.":[99],"We":[100,162],"address":[101],"problem":[103],"by":[104],"utilizing":[105],"Dynamic":[107],"Time":[108],"Warping":[109],"technique.":[110],"Our":[111],"approach":[112],"passive,":[114],"meaning":[115],"that":[116,136],"it":[117],"does":[118],"not":[119],"need":[120],"interaction":[121],"during":[125],"automata":[126,179],"logged":[130],"traces;":[131],"online,":[133],"which":[134],"means":[135],"each":[137,150],"input/output":[138],"trace":[139,152],"only":[142],"once":[143],"procedure.":[146],"other":[148],"words,":[149],"be":[154],"to":[156],"improve":[157],"already":[159],"synthesized":[160],"automaton.":[161],"evaluated":[163],"our":[164],"algorithm":[165],"one":[167],"industrial":[168],"two":[170],"simulated":[171],"case":[172],"studies.":[173],"The":[174],"accuracy":[175],"derived":[178],"shows":[180],"promising":[181],"results.":[182]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}