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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
5 Downloads (Pure)

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.

Original languageEnglish
Title of host publication2016 13th International Workshop on Discrete Event Systems, WODES 2016, 30 May - 1 June, Xián, China
Place of PublicationPiscataway
PublisherInstitute of Electrical and Electronics Engineers
Pages14-21
Number of pages8
ISBN (Print)9781509041909
DOIs
Publication statusPublished - 22 Jun 2016
Event13th International Workshop on Discrete Event Systems (WODES 2016) - Xi'an, China
Duration: 30 May 20161 Jun 2016
Conference number: 13
http://wodes2016.diee.unica.it/home1-9-2.html

Conference

Conference13th International Workshop on Discrete Event Systems (WODES 2016)
Abbreviated titleWODES 2016
CountryChina
CityXi'an
Period30/05/161/06/16
Internet address

Fingerprint Dive into the research topics of 'Why is my supervisor empty? : finding causes for the unreachability of states in synthesized supervisors'. Together they form a unique fingerprint.

  • Cite this

    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 (pp. 14-21). [Mo_1_A.3] Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/WODES.2016.7497820