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 discrete event systems in rules-based model using first-order linear temporal logic

Proceedings of the 2004 American Control Conference ◽

10.23919/acc.2004.1384663 ◽

2004 ◽

Author(s):

Z. Huang ◽

S. Bhattacharyya ◽

V. Chandra ◽

S. Jiang ◽

R. Kumar

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Discrete Event ◽

Linear Temporal Logic ◽

Order Linear ◽

First Order ◽

Download Full-text

Optimal directed control of discrete event systems with linear temporal logic constraints

2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA) ◽

10.1109/etfa.2015.7301520 ◽

2015 ◽

Author(s):

Ami Sakakibara ◽

Sasinee Pruekprasert ◽

Toshimitsu Ushio

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Discrete Event ◽

Linear Temporal Logic ◽

Download Full-text

Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2020.12.2539 ◽

2020 ◽

Vol 53 (2) ◽

pp. 2143-2148

Author(s):

Takuma Kinugawa ◽

Kazumune Hashimoto ◽

Toshimitsu Ushio

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Discrete Event ◽

Linear 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

Nonblocking Hierarchical Control of Decentralized Discrete Event Systems

IEEE Transactions on Automatic Control ◽

10.1109/tac.2008.2006817 ◽

2008 ◽

Vol 53 (10) ◽

pp. 2252-2265 ◽

Author(s):

Klaus Schmidt ◽

Thomas Moor ◽

Sebastian Perk

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Hierarchical Control ◽

Download Full-text

A New Hierarchical Control Scheme for a Class of Cyclically Repeated Discrete-Event Systems

Informatics in Control, Automation and Robotics II ◽

10.1007/978-1-4020-5626-0_27 ◽

2007 ◽

pp. 227-233 ◽

Author(s):

Danjing Li ◽

Eckart Mayer ◽

Raisch Jörg

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Hierarchical Control ◽

Event Systems ◽

Download Full-text