{"id":"https://openalex.org/W1594653033","doi":"https://doi.org/10.23919/ecc.2009.7074697","title":"Efficient nonconflict check by using automaton abstractions","display_name":"Efficient nonconflict check by using automaton abstractions","publication_year":2009,"publication_date":"2009-08-01","ids":{"openalex":"https://openalex.org/W1594653033","doi":"https://doi.org/10.23919/ecc.2009.7074697","mag":"1594653033"},"language":"en","primary_location":{"id":"doi:10.23919/ecc.2009.7074697","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc.2009.7074697","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 European Control Conference (ECC)","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/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":"Rong Su","raw_affiliation_strings":["Systems Engineering Group in Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands","Systems Engineering Group in Department of Mechanical Engineering, Eindhoven University of Technology, PO Box 513, 5600 MB, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Systems Engineering Group in Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The 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, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"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, The 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, The 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":"middle","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, The Netherlands","Systems Engineering Group in Department of Mechanical Engineering, Eindhoven University of Technology, PO Box 513, 5600 MB, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Systems Engineering Group in Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The 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, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013220391","display_name":"A.T. Hofkamp","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":"Albert T. Hofkamp","raw_affiliation_strings":["Systems Engineering Group in Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands","Systems Engineering Group in Department of Mechanical Engineering, Eindhoven University of Technology, PO Box 513, 5600 MB, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Systems Engineering Group in Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The 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, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5046844818"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05851207,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1997","last_page":"2002"},"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.9966999888420105,"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.9966999888420105,"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.9955999851226807,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9825999736785889,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/automaton","display_name":"Automaton","score":0.8562095165252686},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8175275325775146},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.6848725080490112},{"id":"https://openalex.org/keywords/dfa-minimization","display_name":"DFA minimization","score":0.5377801656723022},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5330489873886108},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.44447457790374756},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4162202477455139},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.41573113203048706},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.36430326104164124},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17895466089248657},{"id":"https://openalex.org/keywords/nondeterministic-finite-automaton","display_name":"Nondeterministic finite automaton","score":0.15751326084136963}],"concepts":[{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.8562095165252686},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8175275325775146},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.6848725080490112},{"id":"https://openalex.org/C65753522","wikidata":"https://www.wikidata.org/wiki/Q5204896","display_name":"DFA minimization","level":5,"score":0.5377801656723022},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5330489873886108},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.44447457790374756},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4162202477455139},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.41573113203048706},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36430326104164124},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17895466089248657},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.15751326084136963}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.23919/ecc.2009.7074697","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc.2009.7074697","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 European Control Conference (ECC)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/eb23f694-a5cf-4907-879e-21a687e5711f","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/eb23f694-a5cf-4907-879e-21a687e5711f","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 & Hofkamp, A T 2009, Efficient nonconflict check by using automaton abstractions. in Proceedings of 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary., TuA8.6, Institute of Electrical and Electronics Engineers, Piscataway, pp. 1997-2002, 10th European Control Conference, ECC 2009, Budapest, Hungary, 23/08/09.","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:879643","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=879643","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":""},{"id":"pmh:cwi:oai:cwi.nl:14901","is_oa":false,"landing_page_url":"https://ir.cwi.nl/pub/14901","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":"","raw_type":"info:eu-repo/semantics/conferencepaper"},{"id":"pmh:oai:library.tue.nl:868581","is_oa":false,"landing_page_url":"http://repository.tue.nl/868581","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":""},{"id":"pmh:oai:library.tue.nl:879643","is_oa":false,"landing_page_url":"http://repository.tue.nl/879643","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":""},{"id":"pmh:oai:pure.tue.nl:publications/eb23f694-a5cf-4907-879e-21a687e5711f","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=84955214837&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 & Hofkamp, A T 2009, Efficient nonconflict check by using automaton abstractions. in Proceedings of 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary., TuA8.6, Institute of Electrical and Electronics Engineers, Piscataway, pp. 1997-2002, 10th European Control Conference, ECC 2009, Budapest, Hungary, 23/08/09.","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:tue:oai:pure.tue.nl:publications/eb23f694-a5cf-4907-879e-21a687e5711f","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/eb23f694-a5cf-4907-879e-21a687e5711f","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":"Proceedings of 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary, 1997 - 2002","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2724597727","https://openalex.org/W1750171350","https://openalex.org/W1513971594","https://openalex.org/W2508541108","https://openalex.org/W2315419748","https://openalex.org/W2580138440","https://openalex.org/W1589300776","https://openalex.org/W1594653033","https://openalex.org/W1524267824","https://openalex.org/W4317533142"],"abstract_inverted_index":{"In":[0,40],"Ramadge-Wonham":[1],"supervisory":[2],"control":[3],"theory":[4],"we":[5,43],"often":[6],"need":[7],"to":[8,66],"check":[9,23,65],"nonconflict":[10,64],"of":[11,30,36,56],"plants":[12,37],"and":[13,38],"corresponding":[14],"synthesized":[15],"supervisors.":[16,39],"For":[17],"a":[18,22,25,45],"large":[19],"system":[20,77],"such":[21],"imposes":[24],"great":[26],"computational":[27],"challenge":[28],"because":[29],"the":[31,63,75],"complexity":[32],"incurred":[33],"by":[34],"composition":[35],"this":[41],"paper":[42],"present":[44],"novel":[46],"procedure":[47],"based":[48],"on":[49,69],"automaton":[50],"abstractions,":[51],"which":[52],"removes":[53],"internal":[54],"transitions":[55],"relevant":[57],"automata":[58],"at":[59],"each":[60],"step,":[61],"allowing":[62],"be":[67,79],"performed":[68],"relatively":[70],"small":[71],"automata,":[72],"even":[73],"though":[74],"original":[76],"can":[78],"fairly":[80],"large.":[81]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}