Deducing causes for the absence of states in supervised systems

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

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.

Original languageEnglish
Title of host publication2019 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019
Place of PublicationPiscataway
PublisherInstitute of Electrical and Electronics Engineers
Pages144-149
Number of pages6
ISBN (Electronic)978-1-7281-0521-5
DOIs
Publication statusPublished - 1 Apr 2019
Event6th International Conference on Control, Decision and Information Technologies, CoDIT 2019 - Paris, France
Duration: 23 Apr 201926 Apr 2019

Conference

Conference6th International Conference on Control, Decision and Information Technologies, CoDIT 2019
CountryFrance
CityParis
Period23/04/1926/04/19

Fingerprint Dive into the research topics of 'Deducing causes for the absence of states in supervised systems'. Together they form a unique fingerprint.

Cite this