Polynomial-time verification of diagnosability of partially observed discrete-event systems

IEEE Transactions on Automatic Control ◽

10.1109/tac.2002.802763 ◽

2002 ◽

Vol 47 (9) ◽

pp. 1491-1495 ◽

Author(s):

Tae-Sic Yoo ◽

S. Lafortune

Keyword(s):

Polynomial Time ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Partially Observed

Download Full-text

Polynomial-time verification of diagnosability of fuzzy discrete event systems

Science China Information Sciences ◽

10.1007/s11432-013-4945-z ◽

2014 ◽

Vol 57 (6) ◽

pp. 1-10 ◽

Author(s):

FuChun Liu

Keyword(s):

Polynomial Time ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

Comment on “Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm” [Automatica 47 (2011) 782–788]

10.1016/j.automatica.2013.09.040 ◽

2014 ◽

Vol 50 (1) ◽

pp. 296-297 ◽

Author(s):

Ratnesh Kumar ◽

Shengbing Jiang ◽

Changyan Zhou

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Partially Observed ◽

Download Full-text

On optimal control of a class of partially observed discrete event systems

10.1016/s0005-1098(02)00089-4 ◽

2002 ◽

Vol 38 (11) ◽

pp. 1935-1943 ◽

Author(s):

Hervé Marchand ◽

Olivier Boivineau ◽

Stéphane Lafortune

Keyword(s):

Optimal Control ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Partially Observed

Download Full-text

A new class of supervisors for partially observed discrete event systems

Proceedings of 1995 American Control Conference - ACC'95 ◽

10.1109/acc.1995.532324 ◽

2005 ◽

Author(s):

S. Takai ◽

T. Ushio ◽

S. Kodama

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

New Class ◽

Event Systems ◽

Partially Observed

Download Full-text

A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems

2015 American Control Conference (ACC) ◽

10.1109/acc.2015.7170765 ◽

2015 ◽

Author(s):

Xiang Yin ◽

Stephane Lafortune

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

New Approach ◽

Event Systems ◽

Partially Observed

Download Full-text

Comments on “Predictability of Failure Event Occurrences in Decentralized Discrete-Event Systems and Polynomial-Time Verification”

IEEE Transactions on Automation Science and Engineering ◽

10.1109/tase.2019.2923903 ◽

2019 ◽

Vol 16 (4) ◽

pp. 1988-1989

Author(s):

Ratnesh Kumar ◽

Shigemasa Takai

Keyword(s):

Polynomial Time ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Download Full-text

Effective Control Synthesis for Partially Observed Discrete-Event Systems

SIAM Journal on Control and Optimization ◽

10.1137/060673862 ◽

2009 ◽

Vol 48 (3) ◽

pp. 1858-1887 ◽

Author(s):

J. G. Thistle ◽

H. M. Lamouchi

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Effective Control ◽

Control Synthesis ◽

Event Systems ◽

Partially Observed

Download Full-text

Quantification of Secrecy in Partially Observed Stochastic Discrete Event Systems

IEEE Transactions on Automation Science and Engineering ◽

10.1109/tase.2016.2604222 ◽

2017 ◽

Vol 14 (1) ◽

pp. 185-195 ◽

Author(s):

Jun Chen ◽

Mariam Ibrahim ◽

Ratnesh Kumar

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Partially Observed ◽

Stochastic Discrete Event Systems

Download Full-text

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

IEEE Transactions on Automatic Control ◽

10.1109/tac.2015.2460391 ◽

2016 ◽

Vol 61 (5) ◽

pp. 1239-1254 ◽

Author(s):

Xiang Yin ◽

Stephane Lafortune

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Partially Observed

Download Full-text

Online supervisor synthesis for partially observed discrete-event systems

IEEE Transactions on Automatic Control ◽

10.1109/9.728885 ◽

1998 ◽

Vol 43 (11) ◽

pp. 1630-1634 ◽

Author(s):

J.H. Prosser ◽

M. Kam ◽

H.G. Kwatny

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Partially Observed ◽

Supervisor Synthesis

Download Full-text