Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Event and State Observations

Kimura, Katsuyuki; Takai, Shigemasa

doi:10.1587/transfun.e97.a.1500

Cited by 15 publications

(3 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…events, that is, Σ = Σ uc ∪Σ c and Σ uc ∩Σ c = ∅. In order to formalize the intuition that uncontrollable events are not disabled by supervisors, the notion of Σ uc -admissibility is adopted in [2,3,5,6]. Definition 2.…”

Section: Preliminariesmentioning

confidence: 99%

“…Definition 2. [2] Given a plant G = (X, Σ, −→, X 0 ), a supervisor S = (Y, Σ, −→, Y 0 ) is said to be Σ uc -admissible with respect to G if, for any reachable state (y, x) in S||G,…”

Section: Preliminariesmentioning

confidence: 99%

“…The supervisory control theory, originating from the work of Ramadge and Wonham [1], provides a framework for control of discrete event systems. In this theory [1,2,3,4,5,6,7,8,9,10,11], both plants and specifications are modeled as (non)deterministic automata. A supervisor controller, called supervisor, is also modeled as an automaton, which exerts control over a plant such that the supervised system runs as desired.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

School of Teacher, Nanjing Xiao Zhuang University, Nanjing, 210000, China

Wang¹

2017

Advances in Psychological Science

View full text Add to dashboard Cite

The nuclide 14 C can be produced in the atmosphere by high energy particles and γ-rays from high-energy phenomena. Through the carbon cycle, some of 14 CO 2 produced in the atmosphere can be retained in annual tree rings 1, 2 . Four events of rapid increase of the 14 C content occurred in AD 775, AD 994, BC 660 and BC 3371 were found 3-6 . Recently, the data of Jull et al. (2020) was inconsistent with our records around BC 3371. We measured our sample again and found the 14 C records are consistent with the value in Wang et al. (2017). Therefore, our 14 C records are robust. The inconsistency may be caused by the difference of calendar ages for the wood samples, or the physical origin of the event. First, crossdating on ring width can be performed only between trees whose growth has the same environmental conditions. Because the master tree-ring for dendrochronology is lack for Chinese trees. The master tree-ring from California has to be used. Therefore, the calendar ages derived from dendrochronology may be not precise. Second, the 14 C even may be not global. One evidence

show abstract

Section: Preliminariesmentioning

confidence: 99%

Section: Preliminariesmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

School of Teacher, Nanjing Xiao Zhuang University, Nanjing, 210000, China

Wang¹

2017

Advances in Psychological Science

View full text Add to dashboard Cite

show abstract

Supervisory Control of Nondeterministic Discrete‐Event Systems

Takai

2020

Wiley Encyclopedia of Electrical and Electronics Engineering

View full text Add to dashboard Cite

In this article, we consider a supervisory control problem for nondeterministic discrete‐event systems. In the conventional supervisory control problem for the deterministic plant with the deterministic specification, equivalence of the generated or marked language of the supervised plant and the specification language is required. When both the plant and the specification are nondeterministic, a notion of equivalence stronger than language equivalence is required. Bisimulation equivalence is stronger than language equivalence and it has been widely used for verification and control of dynamical systems. A bisimilarity control problem requires us to synthesize a possibly nondeterministic supervisor such that the supervised plant and the specification are bisimilar. We present a necessary and sufficient condition for the existence of a supervisor that solves the bisimilarity control problem and how to synthesize such a supervisor if it exists. Furthermore, we show that a nondeterministic supervisor is more powerful than a deterministic one for the bisimilarity control problem.

show abstract

Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems

Takai

2022

Automatica

View full text Add to dashboard Cite

Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Event and State Observations

Cited by 15 publications

References 19 publications

School of Teacher, Nanjing Xiao Zhuang University, Nanjing, 210000, China

School of Teacher, Nanjing Xiao Zhuang University, Nanjing, 210000, China

Supervisory Control of Nondeterministic Discrete‐Event Systems

Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems

Contact Info

Product

Resources

About