4.7 Article

Maximally Permissive Supervisors for Nonblocking Similarity Control of Nondeterministic Discrete-Event Systems

相关参考文献

注意:仅列出部分参考文献,下载原文获取全部文献信息。
Article Automation & Control Systems

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

Jinglun Li et al.

Summary: This paper tackles the supervisory control problem for partially observed discrete event systems by synthesizing a similarity-enforcing supervisor that ensures the system behaves according to the given specification. The paper extends the existence condition of a similarity-enforcing supervisor for full observation to the case of partial observation, and provides a method to synthesize the supervisor. It also demonstrates that the synthesized supervisor is maximally permissive in a global sense.

AUTOMATICA (2022)

Article Automation & Control Systems

Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications

Shigemasa Takai

Summary: In the article, the problem of synthesizing a nondeterministic supervisor for the plant and the specification modeled as nondeterministic automata is considered. The goal is to develop a maximally permissive supervisor for the similarity control problem.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2021)

Article Automation & Control Systems

Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information

Hikmat Farhat

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2020)

Article Computer Science, Hardware & Architecture

Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations

Jinglun Li et al.

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES (2019)

Article Automation & Control Systems

Synthesis of Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems

Naoki Kushi et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2018)

Article Computer Science, Hardware & Architecture

Nonblocking Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations

Hiroki Yamada et al.

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES (2018)

Article Computer Science, Hardware & Architecture

Nonblocking Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations

Hiroki Yamada et al.

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES (2018)

Article Automation & Control Systems

Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems

Xiang Yin et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2016)

Article Automation & Control Systems

Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages

Kai Cai et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2015)

Article Computer Science, Hardware & Architecture

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

Katsuyuki Kimura et al.

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES (2014)

Article Computer Science, Information Systems

Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations

Katsuyuki Kimura et al.

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS (2014)

Article Automation & Control Systems

Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control

Changyan Zhou et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2011)

Article Automation & Control Systems

Control of nondeterministic discrete event systems for simulation equivalence

Changyan Zhou et al.

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2007)

Article Automation & Control Systems

A small model theorem for bisimilarity control under partial observation

Changyan Zhou et al.

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2007)

Article Automation & Control Systems

Control of nondeterministic discrete-event systems for bisimulation equivalence

Changyan Zhou et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2006)

Article Automation & Control Systems

Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control

R Kumar et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2005)