{"id":"https://openalex.org/W4415884162","doi":"https://doi.org/10.1109/icpm66919.2025.11220671","title":"Discovering Automata Models Tailored for the Control of Discrete Event Systems","display_name":"Discovering Automata Models Tailored for the Control of Discrete Event Systems","publication_year":2025,"publication_date":"2025-10-20","ids":{"openalex":"https://openalex.org/W4415884162","doi":"https://doi.org/10.1109/icpm66919.2025.11220671"},"language":null,"primary_location":{"id":"doi:10.1109/icpm66919.2025.11220671","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icpm66919.2025.11220671","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 7th International Conference on Process Mining (ICPM)","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/A5022298795","display_name":"Rosaine Fiorio Semler","orcid":"https://orcid.org/0000-0002-1347-8586"},"institutions":[{"id":"https://openalex.org/I1283613182","display_name":"Universidade Tecnol\u00f3gica Federal do Paran\u00e1","ror":"https://ror.org/002v2kq79","country_code":"BR","type":"education","lineage":["https://openalex.org/I1283613182"]},{"id":"https://openalex.org/I52418104","display_name":"Universidade Federal do Paran\u00e1","ror":"https://ror.org/05syd6y78","country_code":"BR","type":"education","lineage":["https://openalex.org/I52418104"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Rosaine F. Semler","raw_affiliation_strings":["UTFPR,Graduate Program in Electrical Engineering and Industrial Informatics,Curitiba,Brazil"],"affiliations":[{"raw_affiliation_string":"UTFPR,Graduate Program in Electrical Engineering and Industrial Informatics,Curitiba,Brazil","institution_ids":["https://openalex.org/I1283613182","https://openalex.org/I52418104"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023563822","display_name":"Jhonnatan Ricardo Semler","orcid":null},"institutions":[{"id":"https://openalex.org/I52418104","display_name":"Universidade Federal do Paran\u00e1","ror":"https://ror.org/05syd6y78","country_code":"BR","type":"education","lineage":["https://openalex.org/I52418104"]},{"id":"https://openalex.org/I1283613182","display_name":"Universidade Tecnol\u00f3gica Federal do Paran\u00e1","ror":"https://ror.org/002v2kq79","country_code":"BR","type":"education","lineage":["https://openalex.org/I1283613182"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Jhonnatan R. Semler","raw_affiliation_strings":["UTFPR,Graduate Program in Electrical Engineering and Industrial Informatics,Curitiba,Brazil"],"affiliations":[{"raw_affiliation_string":"UTFPR,Graduate Program in Electrical Engineering and Industrial Informatics,Curitiba,Brazil","institution_ids":["https://openalex.org/I1283613182","https://openalex.org/I52418104"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029512198","display_name":"Marco A. Wehrmeister","orcid":"https://orcid.org/0000-0002-1415-5527"},"institutions":[{"id":"https://openalex.org/I52418104","display_name":"Universidade Federal do Paran\u00e1","ror":"https://ror.org/05syd6y78","country_code":"BR","type":"education","lineage":["https://openalex.org/I52418104"]},{"id":"https://openalex.org/I1283613182","display_name":"Universidade Tecnol\u00f3gica Federal do Paran\u00e1","ror":"https://ror.org/002v2kq79","country_code":"BR","type":"education","lineage":["https://openalex.org/I1283613182"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Marco A. Wehrmeister","raw_affiliation_strings":["UTFPR,Graduate Program in Electrical Engineering and Industrial Informatics,Curitiba,Brazil"],"affiliations":[{"raw_affiliation_string":"UTFPR,Graduate Program in Electrical Engineering and Industrial Informatics,Curitiba,Brazil","institution_ids":["https://openalex.org/I1283613182","https://openalex.org/I52418104"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032606600","display_name":"Luiz Fernando Puttow Southier","orcid":"https://orcid.org/0000-0003-2420-4094"},"institutions":[{"id":"https://openalex.org/I4210158700","display_name":"Faculdade de Pato Branco","ror":"https://ror.org/05t3r3e66","country_code":"BR","type":"education","lineage":["https://openalex.org/I4210158700"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Luiz F. P. Southier","raw_affiliation_strings":["UTFPR,Graduate Program in Electrical and Computer Engineering,Pato Branco,Brazil"],"affiliations":[{"raw_affiliation_string":"UTFPR,Graduate Program in Electrical and Computer Engineering,Pato Branco,Brazil","institution_ids":["https://openalex.org/I4210158700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047076392","display_name":"C\u00e9sar A. Uribe","orcid":"https://orcid.org/0000-0002-7080-9724"},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"C\u00e9sar A. Uribe","raw_affiliation_strings":["Rice University,Department of Electrical and Computer Engineering,Houston,USA"],"affiliations":[{"raw_affiliation_string":"Rice University,Department of Electrical and Computer Engineering,Houston,USA","institution_ids":["https://openalex.org/I74775410"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041838419","display_name":"Jos\u00e9 E.R. Cury","orcid":"https://orcid.org/0000-0001-7740-8539"},"institutions":[{"id":"https://openalex.org/I4210158700","display_name":"Faculdade de Pato Branco","ror":"https://ror.org/05t3r3e66","country_code":"BR","type":"education","lineage":["https://openalex.org/I4210158700"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Jos\u00e9 E. R. Cury","raw_affiliation_strings":["UTFPR,Graduate Program in Electrical and Computer Engineering,Pato Branco,Brazil"],"affiliations":[{"raw_affiliation_string":"UTFPR,Graduate Program in Electrical and Computer Engineering,Pato Branco,Brazil","institution_ids":["https://openalex.org/I4210158700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039827669","display_name":"Marcelo Teixeira","orcid":"https://orcid.org/0000-0002-1008-7838"},"institutions":[{"id":"https://openalex.org/I4210158700","display_name":"Faculdade de Pato Branco","ror":"https://ror.org/05t3r3e66","country_code":"BR","type":"education","lineage":["https://openalex.org/I4210158700"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Marcelo Teixeira","raw_affiliation_strings":["UTFPR,Graduate Program in Electrical and Computer Engineering,Pato Branco,Brazil"],"affiliations":[{"raw_affiliation_string":"UTFPR,Graduate Program in Electrical and Computer Engineering,Pato Branco,Brazil","institution_ids":["https://openalex.org/I4210158700"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5022298795"],"corresponding_institution_ids":["https://openalex.org/I1283613182","https://openalex.org/I52418104"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.52922637,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.954200029373169,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.954200029373169,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.024000000208616257,"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/T12127","display_name":"Software System Performance and Reliability","score":0.00430000014603138,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/automaton","display_name":"Automaton","score":0.7120000123977661},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6944000124931335},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.579800009727478},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4302999973297119},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4246000051498413},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.40369999408721924},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.38350000977516174},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.34779998660087585}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.75},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7120000123977661},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6944000124931335},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.579800009727478},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4302999973297119},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4246000051498413},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4056999981403351},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.40369999408721924},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.38839998841285706},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.38350000977516174},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.34779998660087585},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3384000062942505},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.31049999594688416},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2973000109195709},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.29670000076293945},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.2865000069141388},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.2854999899864197},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2777000069618225},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.2759000062942505},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2727999985218048},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.265500009059906},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.25690001249313354},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.25380000472068787}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icpm66919.2025.11220671","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icpm66919.2025.11220671","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 7th International Conference on Process Mining (ICPM)","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":47,"referenced_works":["https://openalex.org/W13464662","https://openalex.org/W1574032607","https://openalex.org/W1945283334","https://openalex.org/W1980373437","https://openalex.org/W1985716338","https://openalex.org/W1991164445","https://openalex.org/W2000950277","https://openalex.org/W2009886933","https://openalex.org/W2013892611","https://openalex.org/W2038057323","https://openalex.org/W2047547708","https://openalex.org/W2050240546","https://openalex.org/W2059057465","https://openalex.org/W2098250644","https://openalex.org/W2099540492","https://openalex.org/W2113071192","https://openalex.org/W2126923860","https://openalex.org/W2158891129","https://openalex.org/W2336082409","https://openalex.org/W2509841691","https://openalex.org/W2524096432","https://openalex.org/W2524998273","https://openalex.org/W2607172616","https://openalex.org/W2767274788","https://openalex.org/W2773897169","https://openalex.org/W2800448691","https://openalex.org/W2803837939","https://openalex.org/W2808171667","https://openalex.org/W2906281935","https://openalex.org/W2963107557","https://openalex.org/W2965135032","https://openalex.org/W3007795728","https://openalex.org/W3037716082","https://openalex.org/W3044946215","https://openalex.org/W3126373819","https://openalex.org/W4205176208","https://openalex.org/W4248855359","https://openalex.org/W4253589178","https://openalex.org/W4285226895","https://openalex.org/W4297094130","https://openalex.org/W4297325278","https://openalex.org/W4320168516","https://openalex.org/W4322101905","https://openalex.org/W4385688029","https://openalex.org/W4399375407","https://openalex.org/W4404320458","https://openalex.org/W4410258181"],"related_works":[],"abstract_inverted_index":{"Observing":[0],"processes":[1],"as":[2],"Discrete":[3],"Event":[4],"Systems":[5],"(DESs)":[6],"allows":[7],"for":[8,95],"the":[9,44,49,60,81,105,122,127,150,162,178,182],"construction":[10,151],"of":[11,59,104,129,152],"formal":[12],"models":[13,30,40,92,153],"that":[14,76,101,115,154],"assist":[15],"analysis,":[16],"control,":[17,37],"optimization,":[18],"correction,":[19],"etc.":[20],"Process":[21],"Mining":[22],"(PM)":[23],"can":[24],"be":[25,78],"used":[26,193],"to":[27,89,112,138,148,194],"discover":[28,90],"DES":[29,36,96],"from":[31,80],"event":[32,53,143],"logs.":[33],"To":[34],"support":[35],"such":[38],"discovered":[39],"must":[41],"accurately":[42],"capture":[43,139],"reachable":[45],"state":[46],"space":[47],"and":[48,57,72,131,145,157,165,184],"patterns":[50,141],"formed":[51],"by":[52,121,125],"transitions.":[54],"The":[55],"diversity":[56],"complexity":[58],"possible":[61],"paths":[62],"during":[63],"PM":[64,172],"introduce":[65],"a":[66,70,87],"trade-off":[67],"between":[68,161],"generalizing":[69],"model":[71],"preserving":[73],"non-generalizable":[74],"details":[75],"may":[77],"helpful,":[79],"control":[82],"perspective.":[83],"This":[84],"paper":[85],"proposes":[86],"method":[88,109,187],"automata":[91],"particularly":[93],"tailored":[94],"control.":[97],"Based":[98],"on":[99],"premises":[100],"fit":[102],"many":[103],"systems":[106],"discussed,":[107],"our":[108,186,196],"is":[110,173],"able":[111],"identify":[113],"cycles":[114],"represent":[116],"different":[117],"complete":[118],"tasks":[119],"performed":[120],"system.":[123],"Furthermore,":[124],"formalizing":[126],"notions":[128],"fixed":[130],"variable":[132],"repetition":[133],"structures,":[134],"we":[135],"show":[136],"how":[137,185],"recurring":[140],"in":[142,171,181],"logs":[144],"use":[146],"them":[147],"guide":[149],"balance":[155],"precision":[156],"generalization.":[158],"A":[159],"comparison":[160],"proposed":[163],"approach":[164],"other":[166],"state-of-the-art":[167,183],"approaches":[168],"usually":[169],"employed":[170],"also":[174],"presented.":[175],"It":[176],"evidences":[177],"current":[179],"gaps":[180],"addresses":[188],"them.":[189],"Case":[190],"studies":[191],"are":[192],"illustrate":[195],"results.":[197]},"counts_by_year":[],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-11-04T00:00:00"}