A Novel Approach for Supervisor Synthesis to Enforce Opacity of Discrete Event Systems

Mapping Intimacies ◽

10.1007/978-3-030-88052-1_13 ◽

2021 ◽

pp. 210-227

Author(s):

Nour Elhouda Souid ◽

Kais Klai

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Novel Approach ◽

Supervisor Synthesis

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 ◽

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 ◽

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 ◽

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 ◽

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 ◽

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 ◽

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

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 ◽

Author(s):

B. Zouari ◽

K. Barkaoui

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Modular Class ◽

Event Systems ◽

Supervisor Synthesis

Download Full-text

Language model approach to nonblocking supervisor synthesis for nondeterministic discrete event systems

Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164) ◽

10.1109/robot.2001.932624 ◽

2002 ◽

Author(s):

S.-J. Park ◽

J.-T. Lim

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Language Model ◽

Event Systems ◽

Supervisor Synthesis ◽

Download Full-text