Set Theory and Logic

   

Supervisory Control of Discrete Event Systems with State-dependent Observability

Authors: Peng Wang, Xiang-Yun Wang, Kai-Yuan Cai

This paper considers a new class of discrete event systems under partial observations. The problem is presented within the background of a manufacturing process where workpieces are loaded and transported, and this process is controlled with the partial information collected by sensors. The model extracted is novel because the observation of an event does not only depend on an event itself, but also the state where the system stays. Two standard problems are discussed in this paper: supervisor existence problem and supervisor synthesis problem. With a natural revision of observable languages, a necessary and sufficient condition is given for the existence of a supervisor. For supervisor synthesis problem, two algorithms are developed: one algorithm is to check the properties of a control specification given by a regular language,and the other one is to synthesize a supervisor if the properties hold. Within the background of manufacturing systems, an example is illustrated to show how the algorithms are applied to practical computing.

Comments: 9 Pages.

Download: PDF

Submission history

[v1] 2022-12-07 16:49:26

Unique-IP document downloads: 196 times

Vixra.org is a pre-print repository rather than a journal. Articles hosted may not yet have been verified by peer-review and should be treated as preliminary. In particular, anything that appears to include financial or legal advice or proposed medical treatments should be treated with due caution. Vixra.org will not be responsible for any consequences of actions that result from any form of use of any documents on this website.

Add your own feedback and questions here:
You are equally welcome to be positive or negative about any paper but please be polite. If you are being critical you must mention at least one specific error, otherwise your comment will be deleted as unhelpful.

comments powered by Disqus