Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence

Asian Journal of Control ◽

10.1002/asjc.1253 ◽

2015 ◽

Vol 18 (5) ◽

pp. 1679-1687 ◽

Author(s):

Fuchun Liu ◽

Rui Zhao ◽

Taizhe Tan ◽

Qiansheng Zhang

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Bisimulation Equivalence

Download Full-text

Control of nondeterministic discrete event systems for bisimulation equivalence

Proceedings of the 2004 American Control Conference ◽

10.23919/acc.2004.1384017 ◽

2004 ◽

Author(s):

Changyan Zhou ◽

R. Kumar ◽

Shengbing Jiang

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Bisimulation Equivalence

Download Full-text

Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence

IEEE Transactions on Automatic Control ◽

10.1109/tac.2006.875036 ◽

2006 ◽

Vol 51 (5) ◽

pp. 754-765 ◽

Author(s):

C. Zhou ◽

R. Kumar ◽

S. Jiang

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Bisimulation Equivalence

Download Full-text

Analysis and control of fuzzy discrete event systems using bisimulation equivalence

Theoretical Computer Science ◽

10.1016/j.tcs.2012.05.037 ◽

2012 ◽

Vol 456 ◽

pp. 100-111 ◽

Author(s):

Hongyan Xing ◽

Qiansheng Zhang ◽

Kaisheng Huang

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Bisimulation Equivalence ◽

Download Full-text

Linear Discrete-Event Systems: An Architecture and Simulator

10.23919/acc.1990.4790691 ◽

1990 ◽

Author(s):

Martin E. Kaliski ◽

Sylvia Ritz

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

Output Feedback Control for a Class of Nondeterministic Discrete Event Systems

10.23919/acc.1990.4790690 ◽

1990 ◽

Author(s):

Jing-Yue Lin ◽

Dan Ionescu

Keyword(s):

Feedback Control ◽

Output Feedback ◽

Discrete Event Systems ◽

Discrete Event ◽

Output Feedback Control ◽

Download Full-text

Fault-tolerant supervisory control of discrete-event systems

10.31274/etd-180810-2755 ◽

2009 ◽

Author(s):

Qin Wen

Keyword(s):

Supervisory Control ◽

Discrete Event Systems ◽

Fault Tolerant ◽

Discrete Event ◽

Download Full-text

Specification of Intelligent Controllers for Discrete Event Systems in a Temporal Logic Framework

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)49868-5 ◽

1992 ◽

Vol 25 (20) ◽

pp. 237-242

Author(s):

Dan Ionescu ◽

Jing-Yue Lin ◽

Hyung Soo Hwang

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Intelligent Controllers

Download Full-text

Strong co-observability conditions for decentralized supervisory control of discrete event systems

Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) ◽

10.1109/cdc.2001.980821 ◽

2003 ◽

Author(s):

S. Takai ◽

T. Ushio

Keyword(s):

Supervisory Control ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

On Optimal Supervisor Design for Discrete-Event Systems Modeled With Petri Nets via Constraint Simplification

IEEE Transactions on Systems Man and Cybernetics Systems ◽

10.1109/tsmc.2021.3069201 ◽

2021 ◽

pp. 1-15

Author(s):

YuFeng Chen ◽

YuTing Li ◽

ZhiWu Li ◽

NaiQi Wu

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Supervisor Design

Download Full-text

Fuzzy Infinite-step Opacity Measure of Discrete Event Systems and Its Applications

IEEE Transactions on Fuzzy Systems ◽

10.1109/tfuzz.2020.3044359 ◽

2020 ◽

pp. 1-1

Author(s):

Weilin Deng ◽

Daowen Qiu ◽

Jingkai Yang

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text