{"id":"https://openalex.org/W3005183008","doi":"https://doi.org/10.1109/lcsys.2020.2971029","title":"On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications","display_name":"On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications","publication_year":2020,"publication_date":"2020-02-04","ids":{"openalex":"https://openalex.org/W3005183008","doi":"https://doi.org/10.1109/lcsys.2020.2971029","mag":"3005183008"},"language":"en","primary_location":{"id":"doi:10.1109/lcsys.2020.2971029","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2020.2971029","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"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 Control Systems Letters","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2003.11808","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071519227","display_name":"Ami Sakakibara","orcid":"https://orcid.org/0000-0001-7997-1237"},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ami Sakakibara","raw_affiliation_strings":["Department of Systems Innovation, Graduate School of Engineering Science, Osaka University, Toyonaka, Japan"],"raw_orcid":"https://orcid.org/0000-0001-7997-1237","affiliations":[{"raw_affiliation_string":"Department of Systems Innovation, Graduate School of Engineering Science, Osaka University, Toyonaka, Japan","institution_ids":["https://openalex.org/I98285908"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046686505","display_name":"Toshimitsu Ushio","orcid":"https://orcid.org/0000-0002-4009-270X"},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Toshimitsu Ushio","raw_affiliation_strings":["Department of Systems Innovation, Graduate School of Engineering Science, Osaka University, Toyonaka, Japan"],"raw_orcid":"https://orcid.org/0000-0002-4009-270X","affiliations":[{"raw_affiliation_string":"Department of Systems Innovation, Graduate School of Engineering Science, Osaka University, Toyonaka, Japan","institution_ids":["https://openalex.org/I98285908"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I98285908"],"apc_list":null,"apc_paid":null,"fwci":1.1411,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.82477591,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"4","issue":"3","first_page":"530","last_page":"535"},"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.9998999834060669,"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.9998999834060669,"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.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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9937999844551086,"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/permissive","display_name":"Permissive","score":0.781497597694397},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.6794655919075012},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.6651376485824585},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6197032332420349},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5744484066963196},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5422078967094421},{"id":"https://openalex.org/keywords/ranking","display_name":"Ranking (information retrieval)","score":0.5287765264511108},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.4951697885990143},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.46873411536216736},{"id":"https://openalex.org/keywords/permissiveness","display_name":"Permissiveness","score":0.4670257568359375},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.43734848499298096},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3993629813194275},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.36496078968048096},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3335057497024536},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2440481185913086},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22694289684295654},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13287353515625}],"concepts":[{"id":"https://openalex.org/C15224491","wikidata":"https://www.wikidata.org/wiki/Q7169338","display_name":"Permissive","level":2,"score":0.781497597694397},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.6794655919075012},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.6651376485824585},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6197032332420349},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5744484066963196},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5422078967094421},{"id":"https://openalex.org/C189430467","wikidata":"https://www.wikidata.org/wiki/Q7293293","display_name":"Ranking (information retrieval)","level":2,"score":0.5287765264511108},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.4951697885990143},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.46873411536216736},{"id":"https://openalex.org/C2777890099","wikidata":"https://www.wikidata.org/wiki/Q7169345","display_name":"Permissiveness","level":4,"score":0.4670257568359375},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.43734848499298096},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3993629813194275},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.36496078968048096},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3335057497024536},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2440481185913086},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22694289684295654},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13287353515625},{"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/C81885089","wikidata":"https://www.wikidata.org/wiki/Q189082","display_name":"Cell culture","level":2,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C140704245","wikidata":"https://www.wikidata.org/wiki/Q3933202","display_name":"Viral replication","level":3,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/lcsys.2020.2971029","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2020.2971029","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"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 Control Systems Letters","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2003.11808","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2003.11808","pdf_url":"https://arxiv.org/pdf/2003.11808","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2003.11808","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2003.11808","pdf_url":"https://arxiv.org/pdf/2003.11808","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1369345469","display_name":"\u84ee\u5c3e\u30e1\u30bf\u6570\u7406\u30b7\u30b9\u30c6\u30e0\u30c7\u30b6\u30a4\u30f3\u30d7\u30ed\u30b8\u30a7\u30af\u30c8","funder_award_id":"JPMJER1603","funder_id":"https://openalex.org/F4320334789","funder_display_name":"Japan Science and Technology Agency"},{"id":"https://openalex.org/G3503112064","display_name":null,"funder_award_id":"JP19J13487","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G6803372825","display_name":"\u30cf\u30a4\u30d6\u30ea\u30c3\u30c9\u4ed5\u69d8\u3092\u7528\u3044\u305f\uff23\uff30\uff33\u306e\u5f62\u5f0f\u7684\u5236\u5fa1\u7cfb\u8a2d\u8a08","funder_award_id":"19J13487","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"},{"id":"https://openalex.org/F4320334789","display_name":"Japan Science and Technology Agency","ror":"https://ror.org/00097mb19"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1500884278","https://openalex.org/W1540883472","https://openalex.org/W1587663028","https://openalex.org/W1761635979","https://openalex.org/W1979349468","https://openalex.org/W2002741933","https://openalex.org/W2011012624","https://openalex.org/W2012427794","https://openalex.org/W2120967289","https://openalex.org/W2127060337","https://openalex.org/W2164827563","https://openalex.org/W2167185915","https://openalex.org/W2178250883","https://openalex.org/W2297081251","https://openalex.org/W2343223723","https://openalex.org/W2509841691","https://openalex.org/W2594675090","https://openalex.org/W2883146108","https://openalex.org/W2927644409","https://openalex.org/W3037884302","https://openalex.org/W4254050426"],"related_works":["https://openalex.org/W1772345770","https://openalex.org/W2067071563","https://openalex.org/W2057819191","https://openalex.org/W2327940634","https://openalex.org/W2802512828","https://openalex.org/W28453658","https://openalex.org/W1974325298","https://openalex.org/W2136312846","https://openalex.org/W2155646513","https://openalex.org/W3121719984"],"abstract_inverted_index":{"We":[0],"propose":[1],"an":[2,33,53],"on-line":[3,77],"supervisory":[4],"control":[5,14,78,98],"scheme":[6,114],"for":[7,35,121],"discrete":[8],"event":[9],"systems":[10],"(DESs),":[11],"where":[12],"a":[13,19,40,63,68,118,122],"specification":[15,99],"is":[16,115],"described":[17],"by":[18],"fragment":[20],"of":[21,29,48,109],"linear":[22],"temporal":[23],"logic.":[24],"On":[25],"the":[26,30,36,45,76,80,84,90,97,102,110],"product":[27],"automaton":[28],"DES":[31],"and":[32,107],"acceptor":[34],"specification,":[37],"we":[38,61],"define":[39],"ranking":[41,91],"function":[42,65,86,92],"that":[43,66],"returns":[44],"minimum":[46],"number":[47],"steps":[49],"required":[50],"to":[51,83,95],"reach":[52],"accepting":[54],"state":[55],"from":[56],"each":[57,73],"state.":[58],"In":[59],"addition,":[60],"introduce":[62],"permissiveness":[64,85,106],"indicates":[67],"time-varying":[69],"permissive":[70],"level.":[71],"At":[72],"step":[74],"during":[75],"scheme,":[79],"supervisor":[81],"refers":[82],"as":[87,89],"well":[88],"in":[93,117],"order":[94],"guarantee":[96],"while":[100],"handling":[101],"tradeoff":[103],"between":[104],"its":[105],"acceptance":[108],"specification.":[111],"The":[112],"proposed":[113],"demonstrated":[116],"surveillance":[119],"problem":[120],"mobile":[123],"robot.":[124]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":3}],"updated_date":"2026-08-05T07:39:15.569665","created_date":"2025-10-10T00:00:00"}