{"id":"https://openalex.org/W2971586563","doi":"https://doi.org/10.1109/codit.2019.8820346","title":"Deducing causes for the absence of states in supervised systems","display_name":"Deducing causes for the absence of states in supervised systems","publication_year":2019,"publication_date":"2019-04-01","ids":{"openalex":"https://openalex.org/W2971586563","doi":"https://doi.org/10.1109/codit.2019.8820346","mag":"2971586563"},"language":"en","primary_location":{"id":"doi:10.1109/codit.2019.8820346","is_oa":false,"landing_page_url":"https://doi.org/10.1109/codit.2019.8820346","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 6th International Conference on Control, Decision and Information Technologies (CoDIT)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5044984276","display_name":"L. Swartjes","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"L. Swartjes","raw_affiliation_strings":["Vanderlande Industries B.V"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vanderlande Industries B.V","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040487816","display_name":"Michel Reniers","orcid":"https://orcid.org/0000-0002-9283-4074"},"institutions":[{"id":"https://openalex.org/I4210143979","display_name":"Systems Technology (United States)","ror":"https://ror.org/04cv8g472","country_code":"US","type":"company","lineage":["https://openalex.org/I4210143979"]},{"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","US"],"is_corresponding":false,"raw_author_name":"M.A. Reniers","raw_affiliation_strings":["Control Systems Technology Group, Eindhoven University of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Control Systems Technology Group, Eindhoven University of Technology","institution_ids":["https://openalex.org/I4210143979","https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078610814","display_name":"Wan Fokkink","orcid":"https://orcid.org/0000-0001-7443-8978"},"institutions":[{"id":"https://openalex.org/I4210143979","display_name":"Systems Technology (United States)","ror":"https://ror.org/04cv8g472","country_code":"US","type":"company","lineage":["https://openalex.org/I4210143979"]},{"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","US"],"is_corresponding":false,"raw_author_name":"W.J. Fokkink","raw_affiliation_strings":["Control Systems Technology Group, Eindhoven University of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Control Systems Technology Group, Eindhoven University of Technology","institution_ids":["https://openalex.org/I4210143979","https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"144","last_page":"149"},"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.9983000159263611,"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.9983000159263611,"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.9979000091552734,"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/T11159","display_name":"Manufacturing Process and Optimization","score":0.9976000189781189,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.903592050075531},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7147087454795837},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.6777304410934448},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.496437132358551},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3940531611442566},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3308507204055786},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3160053491592407},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.063455730676651}],"concepts":[{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.903592050075531},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7147087454795837},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.6777304410934448},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.496437132358551},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3940531611442566},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3308507204055786},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3160053491592407},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.063455730676651},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","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}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1109/codit.2019.8820346","is_oa":false,"landing_page_url":"https://doi.org/10.1109/codit.2019.8820346","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 6th International Conference on Control, Decision and Information Technologies (CoDIT)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/52f8caca-4e27-4ba5-beaf-8839f2db15ce","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/52f8caca-4e27-4ba5-beaf-8839f2db15ce","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":"Swartjes, L, Reniers, M A & Fokkink, W J 2019, Deducing causes for the absence of states in supervised systems. in 2019 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019., 8820346, Institute of Electrical and Electronics Engineers, Piscataway, pp. 144-149, 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019, Paris, France, 23/04/19. https://doi.org/10.1109/CoDIT.2019.8820346","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:914705","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=914705","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:914705","is_oa":false,"landing_page_url":"http://repository.tue.nl/914705","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:pure.tue.nl:publications/52f8caca-4e27-4ba5-beaf-8839f2db15ce","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85072826806&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":"Swartjes, L, Reniers, M A & Fokkink, W J 2019, Deducing causes for the absence of states in supervised systems. in 2019 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019., 8820346, Institute of Electrical and Electronics Engineers, Piscataway, pp. 144-149, 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019, Paris, France, 23/04/19. https://doi.org/10.1109/CoDIT.2019.8820346","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:tue:oai:pure.tue.nl:publications/52f8caca-4e27-4ba5-beaf-8839f2db15ce","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/52f8caca-4e27-4ba5-beaf-8839f2db15ce","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":"2019 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019, 144 - 149","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5199999809265137,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W199736301","https://openalex.org/W272987332","https://openalex.org/W1587663028","https://openalex.org/W1972475472","https://openalex.org/W1979349468","https://openalex.org/W2028045996","https://openalex.org/W2035939251","https://openalex.org/W2036717684","https://openalex.org/W2100637096","https://openalex.org/W2110924437","https://openalex.org/W2115425820","https://openalex.org/W2122259599","https://openalex.org/W2136138373","https://openalex.org/W2150336837","https://openalex.org/W2152522864","https://openalex.org/W2178250883","https://openalex.org/W2281419956","https://openalex.org/W2425104583","https://openalex.org/W2761004518","https://openalex.org/W2766346667","https://openalex.org/W2898879203","https://openalex.org/W4248699123","https://openalex.org/W6695573906"],"related_works":["https://openalex.org/W4387731985","https://openalex.org/W2755149878","https://openalex.org/W2941808082","https://openalex.org/W2468425257","https://openalex.org/W4377009725","https://openalex.org/W4379086698","https://openalex.org/W2528721242","https://openalex.org/W4320164562","https://openalex.org/W2356364326","https://openalex.org/W2372069567"],"abstract_inverted_index":{"A":[0],"shortcoming":[1],"of":[2,9,31,38,49,92],"state-of-the-art":[3],"synthesis":[4,78,95],"algorithms":[5],"is":[6,26,62,97,110],"the":[7,12,24,29,32,47],"lack":[8],"feedback":[10,58],"to":[11,43,59,101],"user":[13],"in":[14,22,52],"case":[15,23],"a":[16,36,50,53,69,85,93,104,113],"supervisor":[17,25],"cannot":[18],"be":[19,72,88],"synthesized":[20],"or":[21],"not":[27],"according":[28],"expectations":[30],"user.":[33],"We":[34],"present":[35],"collection":[37],"deduction":[39],"rules":[40],"that":[41,64,80,99,109],"allow":[42],"derive":[44],"reasons":[45],"for":[46,67,81,106],"absence":[48],"state":[51,84,108],"supervised":[54],"system":[55],"and":[56,79],"provide":[57],"users.":[60],"It":[61],"shown":[63],"all":[65],"states":[66],"which":[68],"cause":[70,86,105],"can":[71,87],"derived":[73],"are":[74],"actually":[75],"omitted":[76,83,111],"by":[77],"each":[82,107],"derived.":[89],"An":[90],"adaptation":[91],"standard":[94],"algorithm":[96],"provided":[98],"allows":[100],"automatically":[102],"obtain":[103],"from":[112],"plant":[114],"during":[115],"synthesis.":[116]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}