@inproceedings{ebdc6b094267471bb70fa9db52a4f4d5,
title = "Deducing causes for the absence of states in supervised systems",
abstract = "A shortcoming of state-of-the-art synthesis algorithms is the lack of feedback to the user in case a supervisor cannot be synthesized or in case the supervisor is not according the expectations of the user. We present a collection of deduction rules that allow to derive reasons for the absence of a state in a supervised system and provide feedback to users. It is shown that all states for which a cause can be derived are actually omitted by synthesis and that for each omitted state a cause can be derived. An adaptation of a standard synthesis algorithm is provided that allows to automatically obtain a cause for each state that is omitted from a plant during synthesis.",
author = "L. Swartjes and Reniers, {M. A.} and Fokkink, {W. J.}",
year = "2019",
month = apr,
day = "1",
doi = "10.1109/CoDIT.2019.8820346",
language = "English",
series = "2019 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "144--149",
booktitle = "2019 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019",
address = "United States",
note = "6th International Conference on Control, Decision and Information Technologies, CoDIT 2019 ; Conference date: 23-04-2019 Through 26-04-2019",
}