Supervisory control of discrete event systems with CTL* temporal logic specifications

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

10.1109/cdc.2001.980826 ◽

2003 ◽

Cited By ~ 6

Author(s):

Shengbing Jiang ◽

R. Kumar

Keyword(s):

Temporal Logic ◽

Supervisory Control ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems

Download Full-text

Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications

SIAM Journal on Control and Optimization ◽

10.1137/s0363012902409982 ◽

2006 ◽

Vol 44 (6) ◽

pp. 2079-2103 ◽

Cited By ~ 55

Author(s):

Shengbing Jiang ◽

Ratnesh Kumar

Keyword(s):

Temporal Logic ◽

Supervisory Control ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems

Download Full-text

Supervisory Control of Fair Discrete-Event Systems: A Canonical Temporal Logic Foundation

IEEE Transactions on Automatic Control ◽

10.1109/tac.2020.3037156 ◽

2020 ◽

pp. 1-1

Author(s):

Kiam Tian Seow

Keyword(s):

Temporal Logic ◽

Supervisory Control ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems

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 ◽

Event Systems

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 ◽

Event Systems

Download Full-text

Intersection-based Decentralized Supervisory Control of Probabilistic Discrete Event Systems

IEEE Transactions on Automatic Control ◽

10.1109/tac.2021.3061673 ◽

2021 ◽

pp. 1-1

Author(s):

Weilin Deng ◽

Daowen Qiu ◽

Jingkai Yang

Keyword(s):

Supervisory Control ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems

Download Full-text

Local Mean Payoff Supervisory Control for Discrete Event Systems

IEEE Transactions on Automatic Control ◽

10.1109/tac.2021.3075186 ◽

2021 ◽

pp. 1-1

Author(s):

Yiding Ji ◽

Xiang Yin ◽

Stephane Lafortune

Keyword(s):

Supervisory Control ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Local Mean ◽

Mean Payoff

Download Full-text

Towards probabilistic intrusion detection in supervisory control of discrete event systems

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2020.12.2321 ◽

2020 ◽

Vol 53 (2) ◽

pp. 1776-1782

Author(s):

Rômulo Meira-Góes ◽

Christoforos Keroglou ◽

Stéphane Lafortune

Keyword(s):

Intrusion Detection ◽

Supervisory Control ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems

Download Full-text

Supervisory Control Of Discrete Event Systems Under Nondeterministic Observations

2019 18th European Control Conference (ECC) ◽

10.23919/ecc.2019.8796204 ◽

2019 ◽

Cited By ~ 1

Author(s):

Lei Zhou ◽

Shaolong Shu ◽

Feng Lin

Keyword(s):

Supervisory Control ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems

Download Full-text

Use of a Metric in Supervisory Control of Probabilistic Discrete Event Systems

IFAC Proceedings Volumes ◽

10.3182/20100830-3-de-4013.00037 ◽

2010 ◽

Vol 43 (12) ◽

pp. 217-222

Author(s):

Vera Pantelic ◽

Mark Lawford

Keyword(s):

Supervisory Control ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems

Download Full-text