Deducing causes for the absence of states in supervised systems

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Uittreksel

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.

Originele taal-2Engels
Titel2019 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019
Plaats van productiePiscataway
UitgeverijInstitute of Electrical and Electronics Engineers
Pagina's144-149
Aantal pagina's6
ISBN van elektronische versie978-1-7281-0521-5
DOI's
StatusGepubliceerd - 1 apr 2019
Evenement6th International Conference on Control, Decision and Information Technologies, CoDIT 2019 - Paris, Frankrijk
Duur: 23 apr 201926 apr 2019

Congres

Congres6th International Conference on Control, Decision and Information Technologies, CoDIT 2019
LandFrankrijk
StadParis
Periode23/04/1926/04/19

Vingerafdruk

Synthesis
Supervisory personnel
Feedback
Deduction
Supervisors
Standards

Citeer dit

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 (blz. 144-149). [8820346] Piscataway: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/CoDIT.2019.8820346
Swartjes, L. ; Reniers, M.A. ; Fokkink, W.J. / Deducing causes for the absence of states in supervised systems. 2019 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019. Piscataway : Institute of Electrical and Electronics Engineers, 2019. blz. 144-149
@inproceedings{52f8caca4e274ba5beaf8839f2db15ce,
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 M.A. Reniers and W.J. Fokkink",
year = "2019",
month = "4",
day = "1",
doi = "10.1109/CoDIT.2019.8820346",
language = "English",
pages = "144--149",
booktitle = "2019 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019",
publisher = "Institute of Electrical and Electronics Engineers",
address = "United States",

}

Swartjes, L, Reniers, MA & Fokkink, WJ 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, blz. 144-149, Paris, Frankrijk, 23/04/19. https://doi.org/10.1109/CoDIT.2019.8820346

Deducing causes for the absence of states in supervised systems. / Swartjes, L.; Reniers, M.A.; Fokkink, W.J.

2019 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019. Piscataway : Institute of Electrical and Electronics Engineers, 2019. blz. 144-149 8820346.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

TY - GEN

T1 - Deducing causes for the absence of states in supervised systems

AU - Swartjes, L.

AU - Reniers, M.A.

AU - Fokkink, W.J.

PY - 2019/4/1

Y1 - 2019/4/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85072826806&partnerID=8YFLogxK

U2 - 10.1109/CoDIT.2019.8820346

DO - 10.1109/CoDIT.2019.8820346

M3 - Conference contribution

AN - SCOPUS:85072826806

SP - 144

EP - 149

BT - 2019 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019

PB - Institute of Electrical and Electronics Engineers

CY - Piscataway

ER -

Swartjes L, Reniers MA, Fokkink WJ. Deducing causes for the absence of states in supervised systems. In 2019 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019. Piscataway: Institute of Electrical and Electronics Engineers. 2019. blz. 144-149. 8820346 https://doi.org/10.1109/CoDIT.2019.8820346