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

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

New approach combining numerical technique and simulation for analysis of large discrete event systems based on Petri nets

IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028) ◽

10.1109/icsmc.1999.814196 ◽

2003 ◽

Author(s):

Ming-Hung Lin ◽

Li-Chen Fu

Keyword(s):

Discrete Event Systems ◽

Numerical Technique ◽

Discrete Event ◽

New Approach ◽

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

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

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

Synthesis of maximally permissive non-blocking supervisors for partially observed discrete event systems

53rd IEEE Conference on Decision and Control ◽

10.1109/cdc.2014.7040195 ◽

2014 ◽

Author(s):

Xiang Yin ◽

Stephane Lafortune

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Partially Observed

Download Full-text