A generalized temporal logic approach for control problems of a class of nondeterministic discrete event systems

Mapping Intimacies ◽

10.1109/cdc.1990.203437 ◽

1990 ◽

Cited By ~ 9

Author(s):

J.-Y. Lin ◽

D. Ionescu

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Discrete Event ◽

Control Problems ◽

Event Systems ◽

Logic Approach

Download Full-text

A Temporal Logic Approach to the Control of Discrete Event Systems

1991 American Control Conference ◽

10.23919/acc.1991.4791940 ◽

1991 ◽

Cited By ~ 2

Author(s):

Jing-Yue Lin ◽

Dan Ionescu

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Logic Approach

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

The Complexity of Some Basic Control Problems for Discrete Event Systems

NATO ASI Series - Advanced Computing Concepts and Techniques in Control Engineering ◽

10.1007/978-3-642-83548-3_6 ◽

1988 ◽

pp. 171-190 ◽

Cited By ~ 4

Author(s):

Peter J. Ramadge

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Control Problems ◽

Event Systems

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 ◽

Cited By ~ 21

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 ◽

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

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 ◽

Event Systems

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 3

Author(s):

Dan Ionescu ◽

Jing-Yue Lin

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems

Download Full-text