A New Supervisor Synthesis Approach for Discrete-Event Systems With Infinite Behavior

IEEE Access ◽

10.1109/access.2019.2954557 ◽

2019 ◽

Vol 7 ◽

pp. 168455-168466

Author(s):

Wei Tang ◽

Ting Jiao ◽

Renyuan Zhang

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Supervisor Synthesis ◽

Synthesis Approach

Download Full-text

Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications

2008 47th IEEE Conference on Decision and Control ◽

10.1109/cdc.2008.4739115 ◽

2008 ◽

Cited By ~ 4

Author(s):

Yu Ru ◽

Maria Paola Cabasino ◽

Alessandro Giua ◽

Christoforos N. Hadjicostis

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Supervisor Synthesis

Download Full-text

Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays and Lossy Channels

2019 IEEE 58th Conference on Decision and Control (CDC) ◽

10.1109/cdc40024.2019.9029888 ◽

2019 ◽

Cited By ~ 1

Author(s):

Yuting Zhu ◽

Liyong Lin ◽

Simon Ware ◽

Rong Su

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Communication Delays ◽

Event Systems ◽

Supervisor Synthesis

Download Full-text

Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays

IEEE Transactions on Automatic Control ◽

10.1109/tac.2014.2369771 ◽

2015 ◽

Vol 60 (8) ◽

pp. 2183-2188 ◽

Cited By ~ 26

Author(s):

Shaolong Shu ◽

Feng Lin

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Communication Delays ◽

Event Systems ◽

Supervisor Synthesis

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 ◽

Cited By ~ 13

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

Decision fusion and supervisor synthesis in decentralized discrete-event systems

Proceedings of the 1997 American Control Conference (Cat. No.97CH36041) ◽

10.1109/acc.1997.608978 ◽

1997 ◽

Cited By ~ 28

Author(s):

J.H. Prosser ◽

M. Kam ◽

H.G. Kwatny

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Decision Fusion ◽

Event Systems ◽

Supervisor Synthesis

Download Full-text

On supervisor synthesis of discrete event systems

Proceedings. 2005 IEEE Networking, Sensing and Control, 2005. ◽

10.1109/icnsc.2005.1461276 ◽

2005 ◽

Author(s):

Mi Zhao ◽

Zhiwu Li ◽

JingWei Liang

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Supervisor Synthesis

Download Full-text

Supervisor synthesis for a class of concurrent discrete event systems

42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475) ◽

10.1109/cdc.2003.1273029 ◽

2004 ◽

Author(s):

S. Takai ◽

T. Ushio

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Supervisor Synthesis

Download Full-text

Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications

Discrete Event Dynamic Systems ◽

10.1007/s10626-012-0152-0 ◽

2012 ◽

Vol 24 (3) ◽

pp. 275-307 ◽

Cited By ~ 11

Author(s):

Yu Ru ◽

Maria Paola Cabasino ◽

Alessandro Giua ◽

Christoforos N. Hadjicostis

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Partial Observation ◽

Event Systems ◽

Supervisor Synthesis

Download Full-text

A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems

IEEE Transactions on Automatic Control ◽

10.1109/tac.2018.2793662 ◽

2018 ◽

Vol 63 (10) ◽

pp. 3345-3360 ◽

Cited By ~ 16

Author(s):

Huimin Zhang ◽

Lei Feng ◽

Zhiwu Li

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Synthesis Approach

Download Full-text

Parameterized supervisor synthesis for a modular class of discrete event systems

SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483) ◽

10.1109/icsmc.2003.1244684 ◽

2004 ◽

Cited By ~ 22

Author(s):

B. Zouari ◽

K. Barkaoui

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Modular Class ◽

Event Systems ◽

Supervisor Synthesis

Download Full-text