相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
Jinglun Li et al.
AUTOMATICA (2022)
Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications
Shigemasa Takai
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2021)
Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information
Hikmat Farhat
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2020)
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)
Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
Shigemasa Takai
AUTOMATICA (2019)
Synthesis of Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems
Naoki Kushi et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2018)
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)
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)
Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
Xiang Yin et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2016)
Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
Kai Cai et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2015)
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)
Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations
Katsuyuki Kimura et al.
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS (2014)
Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control
Changyan Zhou et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2011)
Control of nondeterministic discrete event systems for simulation equivalence
Changyan Zhou et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2007)
A small model theorem for bisimilarity control under partial observation
Changyan Zhou et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2007)
Control of nondeterministic discrete-event systems for bisimulation equivalence
Changyan Zhou et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2006)
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)
Effective computation of an Lm(G)-closed, controllable, and observable sublanguage arising in supervisory control
S Takai et al.
SYSTEMS & CONTROL LETTERS (2003)