Diagnosis of repeated failures for discrete event systems with linear-time temporal logic specifications

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

10.1109/cdc.2003.1271639 ◽

2004 ◽

Author(s):

Shengbing Jiang ◽

R. Kumar

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Linear Time ◽

Discrete Event ◽

Event Systems ◽

Linear Time Temporal Logic

Download Full-text

Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications

Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301) ◽

10.1109/acc.2002.1024792 ◽

2003 ◽

Author(s):

Shengbing Jiang ◽

R. Kumar

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Linear Time ◽

Discrete Event ◽

Failure Diagnosis ◽

Event Systems ◽

Linear Time Temporal Logic

Download Full-text

Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications

IEEE Transactions on Automatic Control ◽

10.1109/tac.2004.829616 ◽

2004 ◽

Vol 49 (6) ◽

pp. 934-945 ◽

Author(s):

S. Jiang ◽

R. Kumar

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Linear Time ◽

Discrete Event ◽

Failure Diagnosis ◽

Event Systems ◽

Linear Time Temporal Logic

Download Full-text

Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications

IEEE Transactions on Automation Science and Engineering ◽

10.1109/tase.2005.860613 ◽

2006 ◽

Vol 3 (1) ◽

pp. 47-59 ◽

Author(s):

Shengbing Jiang ◽

R. Kumar

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Linear Time ◽

Discrete Event ◽

Event Systems ◽

Linear Time Temporal Logic

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

Specification of intelligent controllers for discrete event systems in a temporal logic framework

Control Engineering Practice ◽

10.1016/0967-0661(93)92317-w ◽

1993 ◽

Vol 1 (1) ◽

pp. 217

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Intelligent Controllers

Download Full-text

Specification of Intelligent Controllers for Discrete Event Systems in A Temporal Logic Framework

Algorithms and Architectures for Real-Time Control 1992 ◽

10.1016/b978-0-08-042050-9.50043-9 ◽

1992 ◽

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

Analysis and synthesis of discrete event systems using temporal logic

Proceedings of the 1991 IEEE International Symposium on Intelligent Control ◽

10.1109/isic.1991.187347 ◽

2002 ◽

Author(s):

F. Lin

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Analysis And Synthesis

Download Full-text

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 ◽

Author(s):

Shengbing Jiang ◽

R. Kumar

Keyword(s):

Temporal Logic ◽

Supervisory Control ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic Specifications

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e101.a.313 ◽

2018 ◽

Vol E101.A (2) ◽

pp. 313-321

Author(s):

Ami SAKAKIBARA ◽

Toshimitsu USHIO

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Discrete Event ◽

Hierarchical Control ◽

Linear Temporal Logic ◽

Download Full-text

Optimal supervision of discrete event systems in a temporal logic framework

IEEE Transactions on Systems Man and Cybernetics ◽

10.1109/21.478447 ◽

1995 ◽

Vol 25 (12) ◽

pp. 1595-1605 ◽

Author(s):

Dan Ionescu ◽

Jing-Yue Lin

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text