Why is my supervisor empty? : finding causes for the unreachability of states in synthesized supervisors

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaties (Scopus)

Uittreksel

Although supervisory control synthesis has been around for many years, adoption is still low. A weak point of synthesis is the absence of a reporting mechanism. When an empty or unexpected supervisor is returned, it is very difficult to explain why this is the case. It is desired to return an explanation for a question, like, Why is my supervisor empty?. In general, the information needed to provide such an explanation is not present in the synthesized result. In this paper, causes (explanations) are generated for questions regarding the absence of behavior in the synthesized system. To this end, it is first investigated what information is needed and how it should be stored. Based on these findings, information of the influence of each requirement is encoded in the supervisor. This is done by annotating colors. The resulting so-called colored predicates can be used after synthesis to derive a cause for a given question.

TaalEngels
Titel2016 13th International Workshop on Discrete Event Systems, WODES 2016, 30 May - 1 June, Xián, China
Plaats van productiePiscataway
UitgeverijInstitute of Electrical and Electronics Engineers
Pagina's14-21
Aantal pagina's8
ISBN van geprinte versie9781509041909
DOI's
StatusGepubliceerd - 22 jun 2016
Evenement13th International Workshop on Discrete Event Systems (WODES 2016) - Xi'an, China
Duur: 30 mei 20161 jun 2016
Congresnummer: 13
http://wodes2016.diee.unica.it/home1-9-2.html

Congres

Congres13th International Workshop on Discrete Event Systems (WODES 2016)
Verkorte titelWODES 2016
LandChina
StadXi'an
Periode30/05/161/06/16
Internet adres

Vingerafdruk

Supervisory personnel
Synthesis
Supervisory Control
Predicate
Color
Requirements

Citeer dit

Swartjes, L., Reniers, M. A., Van Beek, D. A., & Fokkink, W. J. (2016). Why is my supervisor empty? : finding causes for the unreachability of states in synthesized supervisors. In 2016 13th International Workshop on Discrete Event Systems, WODES 2016, 30 May - 1 June, Xián, China (blz. 14-21). [Mo_1_A.3] Piscataway: Institute of Electrical and Electronics Engineers. DOI: 10.1109/WODES.2016.7497820
Swartjes, L. ; Reniers, M.A. ; Van Beek, D.A. ; Fokkink, W.J./ Why is my supervisor empty? : finding causes for the unreachability of states in synthesized supervisors. 2016 13th International Workshop on Discrete Event Systems, WODES 2016, 30 May - 1 June, Xián, China. Piscataway : Institute of Electrical and Electronics Engineers, 2016. blz. 14-21
@inproceedings{b93c8a8641d44d0fa3ee63c54b0b7e04,
title = "Why is my supervisor empty? : finding causes for the unreachability of states in synthesized supervisors",
abstract = "Although supervisory control synthesis has been around for many years, adoption is still low. A weak point of synthesis is the absence of a reporting mechanism. When an empty or unexpected supervisor is returned, it is very difficult to explain why this is the case. It is desired to return an explanation for a question, like, Why is my supervisor empty?. In general, the information needed to provide such an explanation is not present in the synthesized result. In this paper, causes (explanations) are generated for questions regarding the absence of behavior in the synthesized system. To this end, it is first investigated what information is needed and how it should be stored. Based on these findings, information of the influence of each requirement is encoded in the supervisor. This is done by annotating colors. The resulting so-called colored predicates can be used after synthesis to derive a cause for a given question.",
author = "L. Swartjes and M.A. Reniers and {Van Beek}, D.A. and W.J. Fokkink",
year = "2016",
month = "6",
day = "22",
doi = "10.1109/WODES.2016.7497820",
language = "English",
isbn = "9781509041909",
pages = "14--21",
booktitle = "2016 13th International Workshop on Discrete Event Systems, WODES 2016, 30 May - 1 June, Xi{\'a}n, China",
publisher = "Institute of Electrical and Electronics Engineers",
address = "United States",

}

Swartjes, L, Reniers, MA, Van Beek, DA & Fokkink, WJ 2016, Why is my supervisor empty? : finding causes for the unreachability of states in synthesized supervisors. in 2016 13th International Workshop on Discrete Event Systems, WODES 2016, 30 May - 1 June, Xián, China., Mo_1_A.3, Institute of Electrical and Electronics Engineers, Piscataway, blz. 14-21, Xi'an, China, 30/05/16. DOI: 10.1109/WODES.2016.7497820

Why is my supervisor empty? : finding causes for the unreachability of states in synthesized supervisors. / Swartjes, L.; Reniers, M.A.; Van Beek, D.A.; Fokkink, W.J.

2016 13th International Workshop on Discrete Event Systems, WODES 2016, 30 May - 1 June, Xián, China. Piscataway : Institute of Electrical and Electronics Engineers, 2016. blz. 14-21 Mo_1_A.3.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

TY - GEN

T1 - Why is my supervisor empty? : finding causes for the unreachability of states in synthesized supervisors

AU - Swartjes,L.

AU - Reniers,M.A.

AU - Van Beek,D.A.

AU - Fokkink,W.J.

PY - 2016/6/22

Y1 - 2016/6/22

N2 - Although supervisory control synthesis has been around for many years, adoption is still low. A weak point of synthesis is the absence of a reporting mechanism. When an empty or unexpected supervisor is returned, it is very difficult to explain why this is the case. It is desired to return an explanation for a question, like, Why is my supervisor empty?. In general, the information needed to provide such an explanation is not present in the synthesized result. In this paper, causes (explanations) are generated for questions regarding the absence of behavior in the synthesized system. To this end, it is first investigated what information is needed and how it should be stored. Based on these findings, information of the influence of each requirement is encoded in the supervisor. This is done by annotating colors. The resulting so-called colored predicates can be used after synthesis to derive a cause for a given question.

AB - Although supervisory control synthesis has been around for many years, adoption is still low. A weak point of synthesis is the absence of a reporting mechanism. When an empty or unexpected supervisor is returned, it is very difficult to explain why this is the case. It is desired to return an explanation for a question, like, Why is my supervisor empty?. In general, the information needed to provide such an explanation is not present in the synthesized result. In this paper, causes (explanations) are generated for questions regarding the absence of behavior in the synthesized system. To this end, it is first investigated what information is needed and how it should be stored. Based on these findings, information of the influence of each requirement is encoded in the supervisor. This is done by annotating colors. The resulting so-called colored predicates can be used after synthesis to derive a cause for a given question.

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

U2 - 10.1109/WODES.2016.7497820

DO - 10.1109/WODES.2016.7497820

M3 - Conference contribution

SN - 9781509041909

SP - 14

EP - 21

BT - 2016 13th International Workshop on Discrete Event Systems, WODES 2016, 30 May - 1 June, Xián, China

PB - Institute of Electrical and Electronics Engineers

CY - Piscataway

ER -

Swartjes L, Reniers MA, Van Beek DA, Fokkink WJ. Why is my supervisor empty? : finding causes for the unreachability of states in synthesized supervisors. In 2016 13th International Workshop on Discrete Event Systems, WODES 2016, 30 May - 1 June, Xián, China. Piscataway: Institute of Electrical and Electronics Engineers. 2016. blz. 14-21. Mo_1_A.3. Beschikbaar vanaf, DOI: 10.1109/WODES.2016.7497820