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

Analysis and synthesis procedures of discrete event systems in a temporal logic framework

Proceedings of the 1992 IEEE International Symposium on Intelligent Control ◽

10.1109/isic.1992.225089 ◽

2003 ◽

Author(s):

J.-Y. Lin ◽

D. Ionescu

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Analysis And Synthesis

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

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

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

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

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 ◽

Author(s):

Shengbing Jiang ◽

Ratnesh Kumar

Keyword(s):

Temporal Logic ◽

Supervisory Control ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

Conditions for optimization of discrete event systems using temporal logic models

11th International Conference on Analysis and Optimization of Systems Discrete Event Systems - Lecture Notes in Control and Information Sciences ◽

10.1007/bfb0033537 ◽

2005 ◽

pp. 93-100

Author(s):

Dan Ionescu

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Download Full-text