A framework for state attraction of discrete event systems under partial observation

State attraction for discrete event systems (DES) addresses the problem of reaching a desired subset of the plant state space after a bounded number of event occurrences. The problem of state attraction arises for example in fault-tolerant supervisory control or in the control of reconfigurable manu...

Full description

Saved in:
Bibliographic Details
Published in:Information sciences 2014-10, Vol.281, p.265-280
Main Authors: Schmidt, Klaus Werner, Breindl, Christian
Format: Article
Language:English
Subjects:
Attraction
Biology
Control systems
Discrete event system
Discrete event systems
Fault tolerance
Genes
Partial observation
Plants (organisms)
State attraction
Supervisors
Supervisory control
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:State attraction for discrete event systems (DES) addresses the problem of reaching a desired subset of the plant state space after a bounded number of event occurrences. The problem of state attraction arises for example in fault-tolerant supervisory control or in the control of reconfigurable manufacturing systems, and is also applicable to systems biological problems such as the control of gene regulatory networks. State attraction is investigated with the assumption of full event observation in the existing literature. This paper extends the concept of state attraction to the case of partial observation. The notion of weak attraction under partial observation (WAPO) is introduced and necessary and sufficient conditions for the existence of a supervisor under partial observation that achieves WAPO are derived. Furthermore, a solution algorithm is proposed that finds such supervisor whenever it exists. It is shown that such supervisor can always be realized as a subautomaton of the observer automaton of the DES plant. An application example from systems biology illustrates the obtained results.
ISSN:0020-0255
1872-6291
DOI:10.1016/j.ins.2014.05.026