{"id":"https://openalex.org/W2899364680","doi":"https://doi.org/10.1109/etfa.2018.8502451","title":"Synthesis of Controllers from Finite State Stack Machine Diagrams","display_name":"Synthesis of Controllers from Finite State Stack Machine Diagrams","publication_year":2018,"publication_date":"2018-09-01","ids":{"openalex":"https://openalex.org/W2899364680","doi":"https://doi.org/10.1109/etfa.2018.8502451","mag":"2899364680"},"language":"en","primary_location":{"id":"doi:10.1109/etfa.2018.8502451","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2018.8502451","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)","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/A5068037705","display_name":"Daniel Rivas","orcid":"https://orcid.org/0000-0002-4433-4681"},"institutions":[{"id":"https://openalex.org/I123044942","display_name":"Universitat Aut\u00f2noma de Barcelona","ror":"https://ror.org/052g8jq94","country_code":"ES","type":"education","lineage":["https://openalex.org/I123044942"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Daniel Rivas","raw_affiliation_strings":["Department of Microelectronics and Electronic Systems, Universitat Aut\u00f2 noma de Barcelona, Bellatera, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Microelectronics and Electronic Systems, Universitat Aut\u00f2 noma de Barcelona, Bellatera, Spain","institution_ids":["https://openalex.org/I123044942"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054794297","display_name":"Pragna Das","orcid":"https://orcid.org/0000-0003-3300-2005"},"institutions":[{"id":"https://openalex.org/I123044942","display_name":"Universitat Aut\u00f2noma de Barcelona","ror":"https://ror.org/052g8jq94","country_code":"ES","type":"education","lineage":["https://openalex.org/I123044942"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Pragna Das","raw_affiliation_strings":["Department of Microelectronics and Electronic Systems, Universitat Aut\u00f2 noma de Barcelona, Bellatera, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Microelectronics and Electronic Systems, Universitat Aut\u00f2 noma de Barcelona, Bellatera, Spain","institution_ids":["https://openalex.org/I123044942"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073772223","display_name":"Joaquin Saiz-Alcaine","orcid":null},"institutions":[{"id":"https://openalex.org/I123044942","display_name":"Universitat Aut\u00f2noma de Barcelona","ror":"https://ror.org/052g8jq94","country_code":"ES","type":"education","lineage":["https://openalex.org/I123044942"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Joaquin Saiz-Alcaine","raw_affiliation_strings":["Department of Microelectronics and Electronic Systems, Universitat Aut\u00f2 noma de Barcelona, Bellatera, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Microelectronics and Electronic Systems, Universitat Aut\u00f2 noma de Barcelona, Bellatera, Spain","institution_ids":["https://openalex.org/I123044942"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011648029","display_name":"Llu\u00eds Ribas-Xirgo","orcid":"https://orcid.org/0000-0003-1419-0485"},"institutions":[{"id":"https://openalex.org/I123044942","display_name":"Universitat Aut\u00f2noma de Barcelona","ror":"https://ror.org/052g8jq94","country_code":"ES","type":"education","lineage":["https://openalex.org/I123044942"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Lluis Ribas-Xirgo","raw_affiliation_strings":["Department of Microelectronics and Electronic Systems, Universitat Aut\u00f2 noma de Barcelona, Bellatera, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Microelectronics and Electronic Systems, Universitat Aut\u00f2 noma de Barcelona, Bellatera, Spain","institution_ids":["https://openalex.org/I123044942"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5068037705"],"corresponding_institution_ids":["https://openalex.org/I123044942"],"apc_list":null,"apc_paid":null,"fwci":0.4039,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.65193348,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1179","last_page":"1182"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9994999766349792,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9994999766349792,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing 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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9959999918937683,"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/extended-finite-state-machine","display_name":"Extended finite-state machine","score":0.9128996133804321},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.8275840282440186},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6808562278747559},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5790752172470093},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.525418758392334},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4935265779495239},{"id":"https://openalex.org/keywords/stack","display_name":"Stack (abstract data type)","score":0.48261651396751404},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.47341495752334595},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.4313652217388153},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.391437292098999},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3538600504398346},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3444178104400635},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.16992297768592834},{"id":"https://openalex.org/keywords/mechanical-engineering","display_name":"Mechanical engineering","score":0.08643823862075806}],"concepts":[{"id":"https://openalex.org/C181062253","wikidata":"https://www.wikidata.org/wiki/Q5421886","display_name":"Extended finite-state machine","level":3,"score":0.9128996133804321},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.8275840282440186},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6808562278747559},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5790752172470093},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.525418758392334},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4935265779495239},{"id":"https://openalex.org/C9395851","wikidata":"https://www.wikidata.org/wiki/Q177929","display_name":"Stack (abstract data type)","level":2,"score":0.48261651396751404},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.47341495752334595},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.4313652217388153},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.391437292098999},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3538600504398346},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3444178104400635},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16992297768592834},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.08643823862075806},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/etfa.2018.8502451","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2018.8502451","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.47999998927116394,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W54701845","https://openalex.org/W1584667375","https://openalex.org/W1853368733","https://openalex.org/W1968205912","https://openalex.org/W1971416129","https://openalex.org/W1974370672","https://openalex.org/W2010108014","https://openalex.org/W2081938726","https://openalex.org/W2096563814","https://openalex.org/W2104848200","https://openalex.org/W2132695268","https://openalex.org/W2139035828","https://openalex.org/W2156453512","https://openalex.org/W2188378882","https://openalex.org/W2554425372","https://openalex.org/W2742562413","https://openalex.org/W2778891141","https://openalex.org/W3043074253","https://openalex.org/W4232314362","https://openalex.org/W6635172161","https://openalex.org/W6780637338"],"related_works":["https://openalex.org/W4254792149","https://openalex.org/W2895802795","https://openalex.org/W4230357508","https://openalex.org/W2213014552","https://openalex.org/W4256073794","https://openalex.org/W2093565921","https://openalex.org/W2486976088","https://openalex.org/W1930392193","https://openalex.org/W105399573","https://openalex.org/W2899364680"],"abstract_inverted_index":{"Industrial":[0],"plants":[1],"are":[2],"distributed":[3],"systems":[4,17],"whose":[5,85],"automation":[6],"requires":[7],"complex":[8],"controllers.":[9],"Networks":[10],"of":[11,62,78],"state":[12,34,38,48,72],"machines":[13,35,50],"model":[14],"these":[15],"controller":[16,86],"but":[18],"their":[19],"syntheses":[20],"remain":[21],"a":[22,68,76,79],"problem.":[23],"In":[24],"this":[25],"paper,":[26],"we":[27],"approach":[28],"it":[29],"by":[30],"combining":[31],"extended":[32,46],"finite":[33,47],"(EFSM)":[36],"with":[37],"stacks.":[39],"While":[40],"EFSM":[41,89],"match":[42],"most":[43],"design":[44],"templates,":[45],"stack":[49,87],"(EFS2M)":[51],"accommodates":[52],"to":[53],"procedural":[54],"agent":[55],"architectures":[56],"for":[57,82],"modules":[58],"at":[59],"higher-abstraction":[60],"levels":[61],"the":[63],"controllers'":[64],"networks.":[65],"Results":[66],"include":[67],"code":[69],"generator":[70],"from":[71],"machine":[73],"diagrams":[74],"and":[75,90],"simulator":[77],"mobile":[80],"robot":[81],"internal":[83],"transportation":[84],"includes":[88],"EFS":[91],"<sup":[92],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[93],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">2</sup>":[94],"M.":[95]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}