The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
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.
How it got here
How it got here
agent via openalex
Added
2026-10-27 02:36 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{swartjes2016why,
title = {Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors},
author = {L. Swartjes and Michel A. Reniers and D.A. van Beek and Wan J. Fokkink},
year = {2016},
journal = {International Workshop on Discrete Event Systems},
pages = {14--21},
doi = {10.1109/wodes.2016.7497820},
}