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

Schmidt, Ece Güran; Breindl, Christian

doi:10.1016/j.ins.2014.05.026

Cited by 15 publications

(9 citation statements)

References 45 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Therefore, there exists a supremal controllable and observable sublanguage when Σ c ⊆ Σ o . It was also reported in [20] (respectively, [17] and [9]) that, under the assumption that Σ c ⊆ Σ o , there exists a supremal controlable, observable and diagnosable (respectively, opaque and attractable) sublanguage. In fact, we can prove the corresponding general result for any IS-based property in our framework.…”

Section: B Case Of σ C ⊆ σ Omentioning

confidence: 90%

“…In [21], the author studied the problem of synthesizing a supervisor that enforces detectability. The enforcement of attractability was studied in [7], [8] for the fully-observed case and more recently in [9] under the partial observation assumption.…”

Section: Previous Assumptionsmentioning

confidence: 99%

“…Anonymity is a type of opacity that is of interest in the study of privacy. Several other properties have been considered in the DES literature to capture different requirements on the behavior of the system; among them we mention detectability [5], [6] and attractability [7]- [9]. In the computer science literature on verification and reactive synthesis, linear temporal logic or branching time logic are also used to describe desired properties of systems; see, e.g., [10].…”

Section: Introductionmentioning

confidence: 99%

“…This problem was solved in [1] in the case of full observation (e.g., no unobservable events). In the partial observation setting, different solutions methodologies were proposed; see, e.g., the following original references and books [11]- [15] [16]- [19] [20] [21] None [9] …”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems

Yin

Lafortune

2016

IEEE Trans. Automat. Contr.

163

View full text Add to dashboard Cite

The problem under consideration in this paper is that of enforcement by supervisory control of a given property on a partially-observed discrete-event system. We present a general methodology that is applicable to a large class of properties previously studied (individually) in the literature. These properties include, but are not restricted to, safety, diagnosability, opacity, detectability, anonymity and attractability. When the given system does not satisfy the considered property, the objective is to synthesize a supervisor that restricts the system's behavior and provably enforces the given property; moreover, it is required that this supervisor be maximally permissive. We consider the general case where the system's events are partitioned into observable and unobservable events, and controllable and uncontrollable events, and we do not make any assumptions about these two partitions; in particular, we do not assume that all controllable events are observable. Our uniform approach first maps the considered property to a suitably-defined information state for the partially-observed system and then develops a supervisor synthesis methodology based on a finite bipartite transition system that embeds all reachable information states and all admissible supervisory control strategies. This transition system is called the All Enforcement Structure (or AES). We present an algorithm for the construction of the AES and discuss its properties. Then we use the AES to develop a synthesis algorithm that constructs a supervisor that is provably property enforcing and maximally permissive. We illustrate the application of our uniform approach to the enforcement of the above-mentioned properties.

show abstract

Section: B Case Of σ C ⊆ σ Omentioning

confidence: 90%

Section: Previous Assumptionsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems

Yin

Lafortune

2016

IEEE Trans. Automat. Contr.

163

View full text Add to dashboard Cite

show abstract

“…Another notion of stability called languagestability was proposed in [7], where stability of the system is defined in term of its behavior. The stabilization problem under partial observation was studied in [9]. The concept of stabilization can be applied to many fields, including faulttolerant control [10], the control of reconfigurable manufacturing systems [11], [12], and the control of gene regulatory networks in systems biology [9].…”

Section: Introductionmentioning

confidence: 99%

Optimal Stabilizing Controller for the Region of Weak Attraction under the Influence of Disturbances

Pruekprasert

Ushio

2016

IEICE Trans. Inf. & Syst.

View full text Add to dashboard Cite

Sasinee PRUEKPRASERT†a) , Nonmember and Toshimitsu USHIO †b) , Fellow SUMMARY This paper considers an optimal stabilization problem of quantitative discrete event systems (DESs) under the influence of disturbances. We model a DES by a deterministic weighted automaton. The control cost is concerned with the sum of the weights along the generated trajectories reaching the target state. The region of weak attraction is the set of states of the system such that all trajectories starting from them can be controlled to reach a specified set of target states and stay there indefinitely. An optimal stabilizing controller is a controller that drives the states in this region to the set of target states with minimum control cost and keeps them there. We consider two control objectives: to minimize the worst-case control cost (1) subject to all enabled trajectories and (2) subject to the enabled trajectories starting by controllable events. Moreover, we consider the disturbances which are uncontrollable events that rarely occur in the real system but may degrade the control performance when they occur. We propose a linearithmic time algorithm for the synthesis of an optimal stabilizing controller which is robust to disturbances.

show abstract

State-based supervisory control with restrictions on the supervisor realization

Leite

Baldissera

Cury

2020

Discrete Event Dyn Syst

View full text Add to dashboard Cite

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

Cited by 15 publications

References 45 publications

A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems

A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems

Optimal Stabilizing Controller for the Region of Weak Attraction under the Influence of Disturbances

State-based supervisory control with restrictions on the supervisor realization

Contact Info

Product

Resources

About