{"id":"https://openalex.org/W3119815114","doi":"https://doi.org/10.1109/icarcv50220.2020.9305312","title":"Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events","display_name":"Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events","publication_year":2020,"publication_date":"2020-12-13","ids":{"openalex":"https://openalex.org/W3119815114","doi":"https://doi.org/10.1109/icarcv50220.2020.9305312","mag":"3119815114"},"language":"en","primary_location":{"id":"doi:10.1109/icarcv50220.2020.9305312","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icarcv50220.2020.9305312","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 16th International Conference on Control, Automation, Robotics and Vision (ICARCV)","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/A5011974544","display_name":"Aida Rashidinejad","orcid":"https://orcid.org/0000-0002-3575-5636"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Aida Rashidinejad","raw_affiliation_strings":["Eindhoven University of Technology, The Netherlands","Eindhoven University of Technology,Department of Mechanical Engineering,The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven University of Technology,Department of Mechanical Engineering,The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058395023","display_name":"Patrick van der Graaf","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Patrick van der Graaf","raw_affiliation_strings":["Eindhoven University of Technology, The Netherlands","Eindhoven University of Technology,Department of Mechanical Engineering,The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven University of Technology,Department of Mechanical Engineering,The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040487816","display_name":"Michel Reniers","orcid":"https://orcid.org/0000-0002-9283-4074"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Michel Reniers","raw_affiliation_strings":["Eindhoven University of Technology, The Netherlands","Eindhoven University of Technology,Department of Mechanical Engineering,The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven University of Technology,Department of Mechanical Engineering,The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5011974544"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":0.2814,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.64335568,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"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/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.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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9836999773979187,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/supervisor","display_name":"Supervisor","score":0.9060895442962646},{"id":"https://openalex.org/keywords/controllability","display_name":"Controllability","score":0.9036529064178467},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.8851152658462524},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.8301150798797607},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.8007977604866028},{"id":"https://openalex.org/keywords/supervisory-control-theory","display_name":"Supervisory control theory","score":0.7889838814735413},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7090938687324524},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6162387132644653},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6161115169525146},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.5356888771057129},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5211215615272522},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4950055480003357},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4508195221424103},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.45047977566719055},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.44925907254219055},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4046737849712372},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.33958977460861206},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3327316641807556},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22016015648841858},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19164836406707764},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07687005400657654}],"concepts":[{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.9060895442962646},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.9036529064178467},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.8851152658462524},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.8301150798797607},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.8007977604866028},{"id":"https://openalex.org/C2778693208","wikidata":"https://www.wikidata.org/wiki/Q7644327","display_name":"Supervisory control theory","level":4,"score":0.7889838814735413},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7090938687324524},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6162387132644653},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6161115169525146},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.5356888771057129},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5211215615272522},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4950055480003357},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4508195221424103},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.45047977566719055},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.44925907254219055},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4046737849712372},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.33958977460861206},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3327316641807556},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22016015648841858},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19164836406707764},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07687005400657654},{"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/icarcv50220.2020.9305312","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icarcv50220.2020.9305312","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 16th International Conference on Control, Automation, Robotics and Vision (ICARCV)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/6d113120-e9fc-4d81-8ab9-bab677a92f97","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/6d113120-e9fc-4d81-8ab9-bab677a92f97","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Rashidinejad, A, van der Graaf, P & Reniers, M A 2021, Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events. in 16th IEEE International Conference on Control, Automation, Robotics and Vision, ICARCV 2020., 9305312, Institute of Electrical and Electronics Engineers, pp. 1033-1040, 16th International Conference on Control, Automation, Robotics and Vision (ICARCV 2020), Virtual, Shenzhen, China, 13/12/20. https://doi.org/10.1109/ICARCV50220.2020.9305312","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:tue:oai:pure.tue.nl:publications/6d113120-e9fc-4d81-8ab9-bab677a92f97","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/6d113120-e9fc-4d81-8ab9-bab677a92f97","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"16th IEEE International Conference on Control, Automation, Robotics and Vision, ICARCV 2020, 1033 - 1040","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.46000000834465027,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W83902219","https://openalex.org/W322937049","https://openalex.org/W1505030820","https://openalex.org/W1534752314","https://openalex.org/W1567707156","https://openalex.org/W1587663028","https://openalex.org/W1599995366","https://openalex.org/W1606824214","https://openalex.org/W1966432224","https://openalex.org/W1992586213","https://openalex.org/W2002089154","https://openalex.org/W2006984763","https://openalex.org/W2059057465","https://openalex.org/W2091770693","https://openalex.org/W2101508170","https://openalex.org/W2125069991","https://openalex.org/W2139101939","https://openalex.org/W2144965436","https://openalex.org/W2147061536","https://openalex.org/W2154148696","https://openalex.org/W2163119090","https://openalex.org/W2297081251","https://openalex.org/W2509841691","https://openalex.org/W2884717594","https://openalex.org/W3161374336","https://openalex.org/W3161476343","https://openalex.org/W4302621582","https://openalex.org/W6651960628","https://openalex.org/W6795298998","https://openalex.org/W6940850466"],"related_works":["https://openalex.org/W3119815114","https://openalex.org/W39900594","https://openalex.org/W2125069991","https://openalex.org/W1607383539","https://openalex.org/W3131480622","https://openalex.org/W2791523502","https://openalex.org/W1608731678","https://openalex.org/W2377713644","https://openalex.org/W4364296810","https://openalex.org/W2028436354"],"abstract_inverted_index":{"Conventional":[0],"supervisory":[1,22],"control":[2,23],"synthesis":[3,24,37],"techniques":[4],"are":[5],"not":[6],"adequate":[7],"for":[8,26,108],"timed":[9],"automata":[10],"(TA)":[11],"due":[12],"to":[13,48,84,101,117,121],"their":[14],"infinite":[15],"state":[16],"space.":[17],"This":[18],"paper":[19],"presents":[20],"a":[21,44,49,75,90,103,112,122],"technique":[25,114],"TA":[27,45,65],"with":[28],"the":[29,57,60,64,72,109,119],"objective":[30],"of":[31,40,56,63,74,78,93],"satisfying":[32],"controllability":[33],"and":[34,105],"nonblockingness.":[35],"The":[36,53],"method":[38],"consists":[39],"three":[41],"steps.":[42],"First,":[43],"is":[46,82,99,115],"abstracted":[47],"finite":[50],"automaton":[51],"(FA).":[52],"event":[54,70],"set":[55,92],"FA":[58],"includes":[59],"discrete":[61],"events":[62,88],"as":[66,68],"well":[67],"an":[69,97],"representing":[71],"passage":[73,81],"significant":[76],"amount":[77],"time.":[79],"Time":[80],"considered":[83],"be":[85],"preemptable":[86],"by":[87],"from":[89],"given":[91],"forcible":[94],"events.":[95],"Second,":[96],"algorithm":[98],"presented":[100],"synthesize":[102],"controllable":[104],"nonblocking":[106],"supervisor":[107,120],"FA.":[110],"Finally,":[111],"time-refinement":[113],"proposed":[116],"convert":[118],"TA.":[123]},"counts_by_year":[{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}