{"id":"https://openalex.org/W3094712168","doi":"https://doi.org/10.1109/fdl50818.2020.9232937","title":"Supervisory Control for Dynamic Feature Configuration in Product Lines","display_name":"Supervisory Control for Dynamic Feature Configuration in Product Lines","publication_year":2020,"publication_date":"2020-09-15","ids":{"openalex":"https://openalex.org/W3094712168","doi":"https://doi.org/10.1109/fdl50818.2020.9232937","mag":"3094712168"},"language":"en","primary_location":{"id":"doi:10.1109/fdl50818.2020.9232937","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl50818.2020.9232937","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 Forum for Specification and Design Languages (FDL)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.tue.nl/en/publications/ed9c82bc-734e-447f-8418-4f5e878340b8","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","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":true,"raw_author_name":"Michel Reniers","raw_affiliation_strings":["Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049724842","display_name":"Sander Thuijsman","orcid":"https://orcid.org/0000-0002-1628-8622"},"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":"Sander Thuijsman","raw_affiliation_strings":["Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"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":2,"corresponding_author_ids":["https://openalex.org/A5040487816"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":0.3977,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.69335463,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993000030517578,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993000030517578,"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"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9976000189781189,"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.9962999820709229,"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/supervisory-control","display_name":"Supervisory control","score":0.8263554573059082},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7569239139556885},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.7382389903068542},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5696843266487122},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.5376006960868835},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5352090001106262},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.46949318051338196},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4539584219455719},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.44679781794548035},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4143812954425812},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.40561428666114807},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.3358805775642395},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2648882269859314},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13405868411064148},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08432158827781677}],"concepts":[{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.8263554573059082},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7569239139556885},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.7382389903068542},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5696843266487122},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.5376006960868835},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5352090001106262},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.46949318051338196},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4539584219455719},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.44679781794548035},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4143812954425812},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.40561428666114807},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3358805775642395},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2648882269859314},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13405868411064148},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08432158827781677},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/fdl50818.2020.9232937","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl50818.2020.9232937","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 Forum for Specification and Design Languages (FDL)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.tue.nl:openaire/ed9c82bc-734e-447f-8418-4f5e878340b8","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/ed9c82bc-734e-447f-8418-4f5e878340b8","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Reniers, M A & Thuijsman, S B 2020, Supervisory Control for Dynamic Feature Configuration in Product Lines. in 2020 Forum for Specification and Design Languages (FDL)., 9232937, Institute of Electrical and Electronics Engineers, 2020 Forum on Specification and Design Languages (FDL 2020), Kiel, Germany, 15/09/20. https://doi.org/10.1109/FDL50818.2020.9232937","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:tue:oai:pure.tue.nl:publications/ed9c82bc-734e-447f-8418-4f5e878340b8","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/ed9c82bc-734e-447f-8418-4f5e878340b8","pdf_url":"https://research.tue.nl/nl/publications/ed9c82bc-734e-447f-8418-4f5e878340b8","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2020 Forum for Specification and Design Languages (FDL)","raw_type":"info:eu-repo/semantics/conferencepaper"},{"id":"pmh:oai:pure.tue.nl:publications/ed9c82bc-734e-447f-8418-4f5e878340b8","is_oa":true,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85096137541&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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Reniers, M A & Thuijsman, S B 2020, Supervisory Control for Dynamic Feature Configuration in Product Lines. in 2020 Forum for Specification and Design Languages (FDL)., 9232937, Institute of Electrical and Electronics Engineers, 2020 Forum on Specification and Design Languages (FDL 2020), Kiel, Germany, 15/09/20. https://doi.org/10.1109/FDL50818.2020.9232937","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.tue.nl:openaire/ed9c82bc-734e-447f-8418-4f5e878340b8","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/ed9c82bc-734e-447f-8418-4f5e878340b8","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Reniers, M A & Thuijsman, S B 2020, Supervisory Control for Dynamic Feature Configuration in Product Lines. in 2020 Forum for Specification and Design Languages (FDL)., 9232937, Institute of Electrical and Electronics Engineers, 2020 Forum on Specification and Design Languages (FDL 2020), Kiel, Germany, 15/09/20. https://doi.org/10.1109/FDL50818.2020.9232937","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8280684723","display_name":null,"funder_award_id":"826452","funder_id":"https://openalex.org/F4320327207","funder_display_name":"Electronic Components and Systems for European Leadership"}],"funders":[{"id":"https://openalex.org/F4320327207","display_name":"Electronic Components and Systems for European Leadership","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W70162607","https://openalex.org/W83902219","https://openalex.org/W103918656","https://openalex.org/W125598877","https://openalex.org/W1144393388","https://openalex.org/W1494019345","https://openalex.org/W1500250067","https://openalex.org/W1526908746","https://openalex.org/W1554977156","https://openalex.org/W1608654004","https://openalex.org/W1979349468","https://openalex.org/W1983392476","https://openalex.org/W2048949114","https://openalex.org/W2110025251","https://openalex.org/W2115425820","https://openalex.org/W2124108315","https://openalex.org/W2128967738","https://openalex.org/W2130195901","https://openalex.org/W2135048318","https://openalex.org/W2136138373","https://openalex.org/W2140197499","https://openalex.org/W2163119090","https://openalex.org/W2178572363","https://openalex.org/W2405981446","https://openalex.org/W2477378326","https://openalex.org/W2509841691","https://openalex.org/W2528366265","https://openalex.org/W2605822985","https://openalex.org/W2761004518","https://openalex.org/W2779379498","https://openalex.org/W2784107683","https://openalex.org/W2975892077","https://openalex.org/W2983413613","https://openalex.org/W3099806832","https://openalex.org/W4285719527","https://openalex.org/W6627422933","https://openalex.org/W6631516884","https://openalex.org/W6662427221"],"related_works":["https://openalex.org/W1552815313","https://openalex.org/W3028107872","https://openalex.org/W2182871100","https://openalex.org/W2122920927","https://openalex.org/W2353922510","https://openalex.org/W4238819820","https://openalex.org/W2388318948","https://openalex.org/W3119815114","https://openalex.org/W3131480622","https://openalex.org/W1947917691"],"abstract_inverted_index":{"In":[0],"this":[1,82],"paper":[2],"a":[3,26,66,100],"method":[4],"for":[5,9],"engineering":[6],"supervisory":[7,56],"controllers":[8],"product":[10],"lines":[11],"with":[12],"dynamic":[13,43],"feature":[14,27],"configuration":[15,44],"is":[16,23,33,53,62],"proposed.":[17],"The":[18],"variability":[19],"in":[20,55,69,81,94],"valid":[21],"configurations":[22],"described":[24],"by":[25,48],"model.":[28,103],"Behavior":[29],"of":[30,50,89],"system":[31,102],"components":[32],"achieved":[34],"using":[35,99],"(extended)":[36],"finite":[37],"automata":[38],"and":[39,42],"both":[40],"behavioral":[41,67],"constraints":[45],"are":[46,73,86,92],"expressed":[47],"means":[49],"requirements":[51,72],"as":[52],"common":[54],"control":[57,60],"theory.":[58],"Supervisory":[59],"synthesis":[61],"applied":[63],"to":[64],"compute":[65],"model":[68],"which":[70],"the":[71,77,95],"adhered":[74],"to.":[75],"For":[76],"challenges":[78],"that":[79],"arise":[80],"setting,":[83],"multiple":[84],"solutions":[85,91],"discussed.":[87],"Some":[88],"these":[90],"exemplified":[93],"ClF":[96],"tool":[97],"set":[98],"wiper":[101]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}