{"id":"https://openalex.org/W4414116905","doi":"https://doi.org/10.1109/ccta53793.2025.11151496","title":"Model Predictive Supervisory Control of Discrete Event Systems","display_name":"Model Predictive Supervisory Control of Discrete Event Systems","publication_year":2025,"publication_date":"2025-08-25","ids":{"openalex":"https://openalex.org/W4414116905","doi":"https://doi.org/10.1109/ccta53793.2025.11151496"},"language":"en","primary_location":{"id":"doi:10.1109/ccta53793.2025.11151496","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccta53793.2025.11151496","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE Conference on Control Technology and Applications (CCTA)","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/A5029687135","display_name":"Francesco Basile","orcid":"https://orcid.org/0000-0002-3204-9656"},"institutions":[{"id":"https://openalex.org/I131729948","display_name":"University of Salerno","ror":"https://ror.org/0192m2k53","country_code":"IT","type":"education","lineage":["https://openalex.org/I131729948"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Francesco Basile","raw_affiliation_strings":["DIEM, Università di Salerno,Fisciano,SA,Italy"],"affiliations":[{"raw_affiliation_string":"DIEM, Università di Salerno,Fisciano,SA,Italy","institution_ids":["https://openalex.org/I131729948"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030895170","display_name":"Alessandro Giua","orcid":"https://orcid.org/0000-0002-3859-9472"},"institutions":[{"id":"https://openalex.org/I172446870","display_name":"University of Cagliari","ror":"https://ror.org/003109y17","country_code":"IT","type":"education","lineage":["https://openalex.org/I172446870"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessandro Giua","raw_affiliation_strings":["Università di Cagliari,Dipartimento di Ingegneria elettrica ed elettronica,Cagliari,Italy"],"affiliations":[{"raw_affiliation_string":"Università di Cagliari,Dipartimento di Ingegneria elettrica ed elettronica,Cagliari,Italy","institution_ids":["https://openalex.org/I172446870"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5119589022","display_name":"Giuseppe Marcone","orcid":null},"institutions":[{"id":"https://openalex.org/I131729948","display_name":"University of Salerno","ror":"https://ror.org/0192m2k53","country_code":"IT","type":"education","lineage":["https://openalex.org/I131729948"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giuseppe Marcone","raw_affiliation_strings":["DIEM, Università di Salerno,Fisciano,SA,Italy"],"affiliations":[{"raw_affiliation_string":"DIEM, Università di Salerno,Fisciano,SA,Italy","institution_ids":["https://openalex.org/I131729948"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5029687135"],"corresponding_institution_ids":["https://openalex.org/I131729948"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.26571605,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"627","last_page":"633"},"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.9993000030517578,"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.9993000030517578,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9894999861717224,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9890000224113464,"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/petri-net","display_name":"Petri net","score":0.8805000185966492},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8690000176429749},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.7807000279426575},{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.6697999835014343},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.6395000219345093},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6086000204086304},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5913000106811523},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5676000118255615},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5248000025749207},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.47119998931884766}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8805000185966492},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8690000176429749},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.7807000279426575},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.6697999835014343},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.6395000219345093},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6086000204086304},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5913000106811523},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5676000118255615},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5248000025749207},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.47119998931884766},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4632999897003174},{"id":"https://openalex.org/C14166107","wikidata":"https://www.wikidata.org/wiki/Q253829","display_name":"Net (polyhedron)","level":2,"score":0.453900009393692},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4519999921321869},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.423799991607666},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.4129999876022339},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4043999910354614},{"id":"https://openalex.org/C55689738","wikidata":"https://www.wikidata.org/wiki/Q15963867","display_name":"Discrete time and continuous time","level":2,"score":0.39969998598098755},{"id":"https://openalex.org/C172205157","wikidata":"https://www.wikidata.org/wiki/Q1782962","display_name":"Model predictive control","level":3,"score":0.399399995803833},{"id":"https://openalex.org/C32866371","wikidata":"https://www.wikidata.org/wiki/Q5282046","display_name":"Discrete event dynamic system","level":3,"score":0.39809998869895935},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38029998540878296},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.37450000643730164},{"id":"https://openalex.org/C2776544517","wikidata":"https://www.wikidata.org/wiki/Q189447","display_name":"Unexpected events","level":2,"score":0.3650999963283539},{"id":"https://openalex.org/C194232998","wikidata":"https://www.wikidata.org/wiki/Q1606712","display_name":"Transition (genetics)","level":3,"score":0.3416000008583069},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.30090001225471497},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29030001163482666},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.2777000069618225},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.27390000224113464},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.266400009393692},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.2637999951839447},{"id":"https://openalex.org/C28761237","wikidata":"https://www.wikidata.org/wiki/Q7805321","display_name":"Time horizon","level":2,"score":0.2635999917984009},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.2563000023365021},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.25209999084472656}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ccta53793.2025.11151496","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccta53793.2025.11151496","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE Conference on Control Technology and Applications (CCTA)","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/W613759747","https://openalex.org/W1996109622","https://openalex.org/W2049578211","https://openalex.org/W2102098378","https://openalex.org/W2124935100","https://openalex.org/W2126605878","https://openalex.org/W2175982508","https://openalex.org/W2345238295","https://openalex.org/W2403044140","https://openalex.org/W3010874178","https://openalex.org/W3132837158","https://openalex.org/W4393387398"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W1552815313","https://openalex.org/W1990079087","https://openalex.org/W3202234113","https://openalex.org/W3028107872","https://openalex.org/W2182871100","https://openalex.org/W1972186475","https://openalex.org/W2556120871"],"abstract_inverted_index":{"Model":[0],"predictive":[1],"control":[2,130],"is":[3,22,66,124],"widely":[4],"used":[5],"in":[6,14,26,80],"the":[7,55,59,81,94,98,119,134,148],"process":[8],"industry":[9],"today.":[10],"However,":[11],"its":[12],"application":[13],"fields":[15],"where":[16],"a":[17,37,50,63,105,153],"discrete":[18],"event":[19],"system":[20],"model":[21],"used,":[23],"such":[24],"as":[25],"manufacturing":[27],"and":[28,72],"logistics,":[29],"remains":[30],"limited.":[31],"The":[32,85],"state":[33],"explosion":[34],"problem":[35],"represents":[36],"significant":[38],"obstacle,":[39],"which":[40],"can":[41,90],"be":[42,91,101],"mitigated,":[43],"when":[44],"using":[45],"Petri":[46,64],"net":[47,65,99],"models,":[48],"adopting":[49],"basis":[51,111,135],"marking":[52],"representation":[53],"of":[54,62,70,87,97,107,144],"reachability":[56,95],"space.":[57],"Specifically,":[58],"transition":[60,83],"set":[61,96],"partitioned":[67],"into":[68],"subsets":[69],"explicit":[71,82,140],"implicit":[73,88],"transitions.":[74],"Controllable":[75],"transitions":[76,89,141],"are":[77],"all":[78],"included":[79],"set.":[84],"firing":[86,139],"abstracted,":[92],"allowing":[93],"to":[100,126,147],"completely":[102],"characterized":[103],"by":[104,132,138,152],"subset":[106],"reachable":[108],"markings":[109,136],"called":[110],"markings.":[112],"In":[113],"this":[114],"preliminary":[115],"paper,":[116],"based":[117],"on":[118],"receding":[120],"horizon":[121,150],"approach,":[122],"it":[123],"proposed":[125],"compute":[127],"future":[128],"supervisory":[129],"actions":[131],"considering":[133],"reached":[137],"along":[142],"sequences":[143],"length":[145],"equal":[146],"prediction":[149],"specified":[151],"positive":[154],"integer.":[155]},"counts_by_year":[],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-10-10T00:00:00"}