{"id":"https://openalex.org/W2292732565","doi":"https://doi.org/10.1109/cdc.2015.7402766","title":"Synthesis of discrete-event controllers from sequence-based specifications","display_name":"Synthesis of discrete-event controllers from sequence-based specifications","publication_year":2015,"publication_date":"2015-12-01","ids":{"openalex":"https://openalex.org/W2292732565","doi":"https://doi.org/10.1109/cdc.2015.7402766","mag":"2292732565"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2015.7402766","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2015.7402766","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 54th IEEE Conference on Decision and Control (CDC)","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/A5077799472","display_name":"Thijs Janssen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thijs Janssen","raw_affiliation_strings":["Atlas Copco, Oosterhout, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Atlas Copco, Oosterhout, The Netherlands","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006425812","display_name":"J.M. van de Mortel\u2010Fronczak","orcid":"https://orcid.org/0000-0002-1381-5132"},"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":"Joanna van de Mortel-Fronczak","raw_affiliation_strings":["Joanna van de Mortel- Fronczak and Michel Reniers are with the Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Joanna van de Mortel- Fronczak and Michel Reniers are with the Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051836243","display_name":"Emile van Gerwen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Emile van Gerwen","raw_affiliation_strings":["FEI Company, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FEI Company, Eindhoven, The Netherlands","institution_ids":[]}]},{"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":["Joanna van de Mortel- Fronczak and Michel Reniers are with the Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Joanna van de Mortel- Fronczak and Michel Reniers are with the Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7058,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.75786996,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"7436","issue":null,"first_page":"3534","last_page":"3541"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.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.9970999956130981,"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/computer-science","display_name":"Computer science","score":0.7444421052932739},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5995277166366577},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5503371357917786},{"id":"https://openalex.org/keywords/blocking","display_name":"Blocking (statistics)","score":0.5349861979484558},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.5090298652648926},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5056657791137695},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4983253479003906},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.48420003056526184},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.4768618047237396},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.4598148763179779},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4475652277469635},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.446870893239975},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4384634792804718},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4135719835758209},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.38349655270576477},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.32403653860092163},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31156572699546814},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.2933926582336426},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2857120633125305},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13356003165245056},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.09987437725067139}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7444421052932739},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5995277166366577},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5503371357917786},{"id":"https://openalex.org/C144745244","wikidata":"https://www.wikidata.org/wiki/Q4927286","display_name":"Blocking (statistics)","level":2,"score":0.5349861979484558},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5090298652648926},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5056657791137695},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4983253479003906},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.48420003056526184},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4768618047237396},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.4598148763179779},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4475652277469635},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.446870893239975},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4384634792804718},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4135719835758209},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.38349655270576477},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32403653860092163},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31156572699546814},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.2933926582336426},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2857120633125305},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13356003165245056},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.09987437725067139},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","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/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1109/cdc.2015.7402766","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2015.7402766","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 54th IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/1f193758-2e13-4457-b777-50531bc7e8e8","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/1f193758-2e13-4457-b777-50531bc7e8e8","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":"Janssen, T M W, van de Mortel - Fronczak, J, van Gerwen, M J A M & Reniers, M A 2015, Synthesis of discrete-event controllers from sequence-based specifications. in 54th IEEE Conference on Decision and Control (CDC 2015), Osaka, Japan, December 15-18, 2015. Institute of Electrical and Electronics Engineers, Piscataway, pp. 3534-3541, 54th IEEE Conference on Decision and Control (CDC 2015), Osaka, Japan, 15/12/15. https://doi.org/10.1109/CDC.2015.7402766","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:859337","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=859337","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","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":"","raw_type":null},{"id":"pmh:883446","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=883446","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","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":"","raw_type":null},{"id":"pmh:oai:library.tue.nl:859337","is_oa":false,"landing_page_url":"http://repository.tue.nl/859337","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","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":"","raw_type":null},{"id":"pmh:oai:library.tue.nl:883446","is_oa":false,"landing_page_url":"http://repository.tue.nl/883446","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","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":"","raw_type":null},{"id":"pmh:tue:oai:pure.tue.nl:publications/1f193758-2e13-4457-b777-50531bc7e8e8","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/1f193758-2e13-4457-b777-50531bc7e8e8","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":"54th IEEE Conference on Decision and Control (CDC 2015), Osaka, Japan, December 15-18, 2015, 3534 - 3541","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W83902219","https://openalex.org/W322937049","https://openalex.org/W1498432697","https://openalex.org/W1533209541","https://openalex.org/W1978004859","https://openalex.org/W1979349468","https://openalex.org/W2000335692","https://openalex.org/W2033590510","https://openalex.org/W2048949114","https://openalex.org/W2073040551","https://openalex.org/W2078233504","https://openalex.org/W2081100947","https://openalex.org/W2088579149","https://openalex.org/W2119093089","https://openalex.org/W2122142933","https://openalex.org/W2128804846","https://openalex.org/W2135254706","https://openalex.org/W2136937530","https://openalex.org/W2158380148","https://openalex.org/W2158699648","https://openalex.org/W2161487032","https://openalex.org/W2163119090","https://openalex.org/W2509841691","https://openalex.org/W2589217375","https://openalex.org/W2804230136","https://openalex.org/W2984582970","https://openalex.org/W3144368627","https://openalex.org/W4292930798","https://openalex.org/W6662427221","https://openalex.org/W6672473274","https://openalex.org/W6678986434","https://openalex.org/W6683288295","https://openalex.org/W6683705326"],"related_works":["https://openalex.org/W2049993111","https://openalex.org/W1903167137","https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W1946493810","https://openalex.org/W1495250406","https://openalex.org/W17088386","https://openalex.org/W1608485412"],"abstract_inverted_index":{"As":[0],"recognized":[1],"by":[2],"various":[3],"engineering":[4,47,150],"disciplines,":[5],"formal":[6,30,44,83],"models":[7,45,84,107],"have":[8],"the":[9,50,71,76,100,121],"potential":[10],"to":[11,41,78,128,145,152],"support":[12],"and":[13,24,32,88,92,140],"speed":[14],"up":[15],"development":[16],"of":[17,27,43,52,73,85,124],"cyber-physical":[18],"systems.":[19],"They":[20],"enable":[21],"extensive":[22],"functional":[23],"performance":[25],"analysis":[26],"designs,":[28],"including":[29],"verification,":[31],"control":[33],"code":[34,113],"generation.":[35,114],"There":[36],"are":[37,56,97,109,138],"two":[38,126],"general":[39],"approaches":[40,127],"application":[42,123],"in":[46,148],"processes":[48],"for":[49,111],"design":[51],"discrete-event":[53],"controllers.":[54],"Controllers":[55],"modeled,":[57],"e.g.":[58],"using":[59],"sequence-based":[60],"specifications,":[61],"and,":[62],"subsequently,":[63],"verified":[64],"against":[65],"relevant":[66],"system":[67,86],"properties,":[68],"such":[69],"as":[70],"absence":[72],"blocking":[74],"or":[75],"compliance":[77],"defined":[79],"interfaces.":[80],"Alternatively,":[81],"from":[82,120],"components":[87],"requirements":[89,101],"(finite":[90],"automata":[91],"state-based":[93],"expressions)":[94],"non-blocking":[95],"controllers":[96],"synthesized":[98],"satisfying":[99],"per":[102],"definition.":[103],"In":[104],"both":[105],"cases,":[106],"used":[108],"suitable":[110],"automatic":[112],"This":[115],"paper":[116],"discusses":[117],"lessons":[118],"learned":[119],"integrated":[122],"these":[125],"an":[129],"industrial":[130],"case":[131],"study.":[132],"The":[133],"experiment":[134],"shows":[135],"that":[136,141],"they":[137],"complementary":[139],"it":[142],"is":[143],"possible":[144],"combine":[146],"them":[147],"one":[149],"process":[151],"mutual":[153],"advantage.":[154]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}