{"id":"https://openalex.org/W2124567282","doi":"https://doi.org/10.1109/cca.2011.6044447","title":"Using heaps-of-pieces in synthesis of time optimal supervisors","display_name":"Using heaps-of-pieces in synthesis of time optimal supervisors","publication_year":2011,"publication_date":"2011-09-01","ids":{"openalex":"https://openalex.org/W2124567282","doi":"https://doi.org/10.1109/cca.2011.6044447","mag":"2124567282"},"language":"en","primary_location":{"id":"doi:10.1109/cca.2011.6044447","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cca.2011.6044447","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE International Conference on Control Applications (CCA)","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/A5046844818","display_name":"Rong Su","orcid":"https://orcid.org/0000-0003-3448-0586"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Rong Su","raw_affiliation_strings":["Division of Control and Instrumentation, School of Electrical and Electronic Engineering, Nanyang Technological University, Singapore","Division of Control and Instrumentation, School of Electrical and Electronic Engineering, Nanyang technological University, 50 Nanyang Avenue, Singapore 639798"],"affiliations":[{"raw_affiliation_string":"Division of Control and Instrumentation, School of Electrical and Electronic Engineering, Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]},{"raw_affiliation_string":"Division of Control and Instrumentation, School of Electrical and Electronic Engineering, Nanyang technological University, 50 Nanyang Avenue, Singapore 639798","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001849550","display_name":"Jan H. van Schuppen","orcid":"https://orcid.org/0000-0001-7150-7915"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jan H. van Schuppen","raw_affiliation_strings":["Centrum voor Wiskunde en Informatica (CWI), Amsterdam, Netherlands","Centrum voor Wiskunde en Informatica (CWI) P.O. Box 94079, 1090 GB Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Centrum voor Wiskunde en Informatica (CWI), Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Centrum voor Wiskunde en Informatica (CWI) P.O. Box 94079, 1090 GB Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110277322","display_name":"Jacobus E. Rooda","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":"Jacobus E. Rooda","raw_affiliation_strings":["Systems Engineering Group in Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, Netherlands","Systems Engineering Group in Department of Mechanical Engineering, Eindhoven University of Technology, PO Box 513, 5600 MB Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Systems Engineering Group in Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Systems Engineering Group in Department of Mechanical Engineering, Eindhoven University of Technology, PO Box 513, 5600 MB Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5046844818"],"corresponding_institution_ids":["https://openalex.org/I172675005"],"apc_list":null,"apc_paid":null,"fwci":0.7555,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.78529631,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"736","last_page":"741"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9987000226974487,"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"}},"topics":[{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9987000226974487,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9969000220298767,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9950000047683716,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.9237114191055298},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7131813764572144},{"id":"https://openalex.org/keywords/job-shop-scheduling","display_name":"Job shop scheduling","score":0.7119134664535522},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.5801346302032471},{"id":"https://openalex.org/keywords/throughput","display_name":"Throughput","score":0.5477005839347839},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.42118561267852783},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.38045409321784973},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36666107177734375},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3306486904621124},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.1814427375793457},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1731904149055481},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11452382802963257},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.06107652187347412}],"concepts":[{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.9237114191055298},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7131813764572144},{"id":"https://openalex.org/C55416958","wikidata":"https://www.wikidata.org/wiki/Q6206757","display_name":"Job shop scheduling","level":3,"score":0.7119134664535522},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.5801346302032471},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.5477005839347839},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.42118561267852783},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.38045409321784973},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36666107177734375},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3306486904621124},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.1814427375793457},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1731904149055481},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11452382802963257},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.06107652187347412},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/cca.2011.6044447","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cca.2011.6044447","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE International Conference on Control Applications (CCA)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/f338cd3d-de3c-484f-a301-1617ceb1fbf1","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/f338cd3d-de3c-484f-a301-1617ceb1fbf1","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":"Su, R, van Schuppen, J H & Rooda, J E 2011, Using heaps-of-pieces in synthesis of time optimal supervisors. in 2011 IEEE International Conference on Control Applications, CCA 2011., 6044447, pp. 736-741, 2011 20th IEEE International Conference on Control Applications, CCA 2011, Denver, CO, United States, 28/09/11. https://doi.org/10.1109/CCA.2011.6044447","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.tue.nl:publications/f338cd3d-de3c-484f-a301-1617ceb1fbf1","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=80155174993&partnerID=8YFLogxK","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Su, R, van Schuppen, J H & Rooda, J E 2011, Using heaps-of-pieces in synthesis of time optimal supervisors. in 2011 IEEE International Conference on Control Applications, CCA 2011., 6044447, pp. 736-741, 2011 20th IEEE International Conference on Control Applications, CCA 2011, Denver, CO, United States, 28/09/11. https://doi.org/10.1109/CCA.2011.6044447","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1585340095","https://openalex.org/W1979349468","https://openalex.org/W2097544754","https://openalex.org/W2101508170","https://openalex.org/W2114294750","https://openalex.org/W2122967269","https://openalex.org/W2126295866","https://openalex.org/W2154148696","https://openalex.org/W2165642210","https://openalex.org/W3161476343","https://openalex.org/W6634983457","https://openalex.org/W6674632877","https://openalex.org/W6678371554"],"related_works":["https://openalex.org/W4387731985","https://openalex.org/W2755149878","https://openalex.org/W2468425257","https://openalex.org/W2941808082","https://openalex.org/W2528721242","https://openalex.org/W4377009725","https://openalex.org/W4320164562","https://openalex.org/W2356364326","https://openalex.org/W4379086698","https://openalex.org/W2372069567"],"abstract_inverted_index":{"In":[0,31],"many":[1],"practical":[2],"applications":[3],"we":[4,34,43],"need":[5],"to":[6],"compute":[7],"a":[8,22,37,52],"nonblocking":[9],"supervisor":[10,39],"that":[11,45],"not":[12],"only":[13],"complies":[14],"with":[15],"pre-specified":[16],"safety":[17],"requirements":[18],"but":[19],"also":[20],"achieves":[21],"certain":[23],"time":[24,58],"optimal":[25],"performance":[26],"such":[27],"as":[28],"maximum":[29],"throughput.":[30],"this":[32],"paper":[33],"first":[35],"present":[36],"minimum-makespan":[38],"synthesis":[40],"problem.":[41],"Then":[42],"show":[44],"the":[46,56,65],"problem":[47],"can":[48],"be":[49],"solved":[50],"by":[51,64],"terminable":[53],"algorithm,":[54],"where":[55],"execution":[57],"of":[59,67],"each":[60],"string":[61],"is":[62],"computable":[63],"theory":[66],"heaps-of-pieces.":[68]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}