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

Date

2014-10-10

Author

Schmidt, Klaus Verner

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

107
views

0
downloads

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.

Subject Keywords

Discrete event system, Supervisory control, State attraction, Partial observation

URI

https://hdl.handle.net/11511/38717

Journal

Information Sciences

DOI

https://doi.org/10.1016/j.ins.2014.05.026

Collections

Department of Electrical and Electronics Engineering, Article

Suggestions

OpenMETU
Core

Applied supervisory control for a flexible manufacturing system Moor, Thomas; Schmidt, Klaus Verner; Perk, Sebastian (2010-12-01) This paper presents a case study in the design and implementation of a discrete event system (DES) of real-world complexity. Our DES plant is a flexible manufacturing system (FMS) laboratory model that consists of 29 interacting components and is controlled via 107 digital signals. Regarding controller design, we apply a hierarchical and decentralised synthesis method from earlier work in order to achieve nonblocking and safe closed-loop behaviour. Regarding implementation, we discuss how digital signals tr...
On maximal permissiveness of hierarchical and modular supervisory control approaches for discrete event systems Schmidt, Klaus Verner (2008-08-26) Recently, several efficient modular and hierarchical approaches for the control of discrete event systems (DES) have been proposed. Although these methods are very suitable for dealing with the state space explosion problem, their common limitation is that either maximal permissiveness is not addressed or unnecessarily restrictive conditions are required in order to ensure maximally permissive control. In this paper we develop a unified framework for the investigation of maximal permissiveness of modular co...
Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems SCHMİDT, KLAUS WERNER; Schmidt, Klaus Verner (2011-04-01) The subject of this paper is the synthesis of natural projections that serve as nonblocking and maximally permissive abstractions for the hierarchical and decentralized control of large-scale discrete event systems. To this end, existing concepts for nonblocking abstractions such as natural observers and marked string accepting (msa)-observers are extended by local control consistency (LCC) as a novel sufficient condition for maximal permissiveness. Furthermore, it is shown that, similar to the natural obse...
A finite field framework for modeling, analysis and control of finite state automata Reger, Johann; Schmidt, Klaus Verner (Informa UK Limited, 2004-09-01) In this paper, we address the modeling, analysis and control of finite state automata, which represent a standard class of discrete event systems. As opposed to graph theoretical methods, we consider an algebraic framework that resides on the finite field F-2 which is defined on a set of two elements with the operations addition and multiplication, both carried out modulo 2. The key characteristic of the model is its functional completeness in the sense that it is capable of describing most of the finite st...
A Numerically Stable Algorithm for Eccentrically Metamaterial Covered Circular Cylinders DİKMEN, FATİH; SEVER, EMRAH; TUCHKİN, YURY ALEXANDEROVİCH; Sabah, Cumali (2016-08-18) The regularization for monochromatic TM/TE-z polarized waves scattering from multiple non intersecting circular penetrable boundaries has recently been proven to be a requisite for its stable numerical implementation for a wide scope of parameters. The validity and necessity of corresponding regularization algorithm will be demonstrated for medium parameters which are from a double negative (DNG) material media. The preliminary numerical results which already prove the properties mentioned above are given i...

Citation Formats

K. V. Schmidt, “A framework for state attraction of discrete event systems under partial observation,” Information Sciences, pp. 265–280, 2014, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/38717.