{"id":"https://openalex.org/W3158784126","doi":"https://doi.org/10.1109/tac.2021.3075186","title":"Local Mean Payoff Supervisory Control for Discrete Event Systems","display_name":"Local Mean Payoff Supervisory Control for Discrete Event Systems","publication_year":2021,"publication_date":"2021-04-27","ids":{"openalex":"https://openalex.org/W3158784126","doi":"https://doi.org/10.1109/tac.2021.3075186","mag":"3158784126"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2021.3075186","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2021.3075186","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","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/A5084543188","display_name":"Yiding Ji","orcid":"https://orcid.org/0000-0003-2678-7051"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yiding Ji","raw_affiliation_strings":["Division of Systems Engineering, Boston University, Boston, MA, USA"],"affiliations":[{"raw_affiliation_string":"Division of Systems Engineering, Boston University, Boston, MA, USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034304769","display_name":"Xiang Yin","orcid":"https://orcid.org/0000-0003-1944-1570"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiang Yin","raw_affiliation_strings":["Department of Automation, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Department of Automation, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027585653","display_name":"St\u00e9phane Lafortune","orcid":"https://orcid.org/0000-0002-7526-6642"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephane Lafortune","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5084543188"],"corresponding_institution_ids":["https://openalex.org/I111088046"],"apc_list":null,"apc_paid":null,"fwci":2.2196,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.89223845,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"67","issue":"5","first_page":"2282","last_page":"2297"},"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.9998000264167786,"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.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.9970999956130981,"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.9937000274658203,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.9249857664108276},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.7816099524497986},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.6990092992782593},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.6980199217796326},{"id":"https://openalex.org/keywords/stochastic-game","display_name":"Stochastic game","score":0.6206609010696411},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5928535461425781},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5473437905311584},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.4868749678134918},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4304547905921936},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.361230731010437},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3386414051055908},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2798194885253906},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.227216899394989},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1320401430130005},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.10476094484329224}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9249857664108276},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.7816099524497986},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6990092992782593},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.6980199217796326},{"id":"https://openalex.org/C22171661","wikidata":"https://www.wikidata.org/wiki/Q1074380","display_name":"Stochastic game","level":2,"score":0.6206609010696411},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5928535461425781},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5473437905311584},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4868749678134918},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4304547905921936},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.361230731010437},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3386414051055908},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2798194885253906},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.227216899394989},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1320401430130005},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.10476094484329224},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"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/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tac.2021.3075186","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2021.3075186","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-119368","is_oa":false,"landing_page_url":"http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=LinksAMR&SrcApp=PARTNER_APP&DestLinkType=FullRecord&DestApp=WOS&KeyUT=000794194000013","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1195885390","display_name":null,"funder_award_id":"61833012","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G210139373","display_name":null,"funder_award_id":"62061136004","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G229885113","display_name":null,"funder_award_id":"61803259","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4506095739","display_name":null,"funder_award_id":"CNS-1738103","funder_id":"https://openalex.org/F4320335353","funder_display_name":"National Science Foundation of Sri Lanka"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335353","display_name":"National Science Foundation of Sri Lanka","ror":"https://ror.org/010xaa060"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W1594997032","https://openalex.org/W1902461641","https://openalex.org/W1976957991","https://openalex.org/W2012427794","https://openalex.org/W2040420184","https://openalex.org/W2060323123","https://openalex.org/W2086213361","https://openalex.org/W2114294750","https://openalex.org/W2126983853","https://openalex.org/W2127060337","https://openalex.org/W2133435578","https://openalex.org/W2152440281","https://openalex.org/W2219877619","https://openalex.org/W2291721834","https://openalex.org/W2293482954","https://openalex.org/W2342445930","https://openalex.org/W2343664218","https://openalex.org/W2364159064","https://openalex.org/W2497816991","https://openalex.org/W2509319011","https://openalex.org/W2509841691","https://openalex.org/W2528134256","https://openalex.org/W2559868061","https://openalex.org/W2561784930","https://openalex.org/W2566064614","https://openalex.org/W2618191880","https://openalex.org/W2771041648","https://openalex.org/W2783183134","https://openalex.org/W2884266744","https://openalex.org/W2884717594","https://openalex.org/W2902957813","https://openalex.org/W2940611068","https://openalex.org/W2957340013","https://openalex.org/W2962680936","https://openalex.org/W2964122084","https://openalex.org/W2964263874","https://openalex.org/W2974184423","https://openalex.org/W2974893747","https://openalex.org/W2983973397","https://openalex.org/W2990784851","https://openalex.org/W3005183008","https://openalex.org/W3011364142","https://openalex.org/W3012100451","https://openalex.org/W3021960365","https://openalex.org/W3048888572","https://openalex.org/W3096681988","https://openalex.org/W3102152743","https://openalex.org/W3110301153","https://openalex.org/W3162170949","https://openalex.org/W4288853474"],"related_works":["https://openalex.org/W2766647807","https://openalex.org/W2962932083","https://openalex.org/W4206341430","https://openalex.org/W3126996313","https://openalex.org/W1536962364","https://openalex.org/W2333630979","https://openalex.org/W1502177156","https://openalex.org/W2325169597","https://openalex.org/W4309988904","https://openalex.org/W2331919730"],"abstract_inverted_index":{"This":[0],"article":[1],"investigates":[2],"quantitative":[3,33,91,147,177],"supervisory":[4,129,191],"control":[5,94,130,192],"with":[6,90],"local":[7],"mean":[8,38,67],"payoff":[9,68],"objectives":[10,178],"on":[11,37,116,172],"discrete":[12],"event":[13],"systems":[14],"modeled":[15],"as":[16,23,49,75,82],"weighted":[17],"automata.":[18],"Weight":[19],"flows":[20],"are":[21,28,86,108,135,169,179],"generated":[22],"new":[24,76],"events":[25,63,77],"occur,":[26],"which":[27,47,73,134,185],"required":[29],"to":[30,64,97,155,181,187],"satisfy":[31],"some":[32],"conditions.":[34],"We":[35,110],"focus":[36],"weights":[39],"(payoffs)":[40],"over":[41],"a":[42,50,71,156],"finite":[43],"number":[44],"of":[45,57,62,101,133],"events,":[46],"serve":[48],"measure":[51],"for":[52],"the":[53,66,99,102,106,118,141,146,160,163,173,188,202],"stability":[54],"or":[55,123],"robustness":[56],"weight":[58],"flows.":[59],"The":[60,149],"range":[61],"evaluate":[65],"is":[69,95,121,152],"termed":[70],"window,":[72],"slides":[74],"occur.":[78],"Qualitative":[79],"requirements":[80,107],"such":[81],"safety":[83,166],"and":[84,144,162,167,204],"liveness":[85,168],"also":[87],"necessary":[88],"along":[89],"requirements.":[92],"Supervisory":[93],"employed":[96],"manipulate":[98],"operation":[100],"system":[103],"so":[104],"that":[105],"satisfied.":[109],"consider":[111],"two":[112,128,183,189],"different":[113],"scenarios":[114],"based":[115],"whether":[117],"window":[119],"size":[120],"fixed":[122],"not.":[124],"Correspondingly,":[125],"we":[126,195],"formulate":[127,182],"problems,":[131],"both":[132,207],"solved":[136],"sequentially":[137],"by":[138,200],"first":[139],"tackling":[140],"qualitative":[142],"issues":[143],"then":[145,153],"ones.":[148],"automaton":[150],"model":[151],"transformed":[154],"two-player":[157],"game":[158],"between":[159],"supervisor":[161],"environment,":[164],"where":[165],"enforced.":[170],"Based":[171],"intermediate":[174],"results,":[175],"several":[176],"defined":[180],"games,":[184],"correspond":[186],"proposed":[190],"problems.":[193,208],"Finally,":[194],"synthesize":[196],"provably":[197],"correct":[198],"supervisors":[199],"solving":[201],"games":[203],"completely":[205],"resolve":[206]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}