An algebraic temporal logic approach to the forbidden state problem in discrete event control

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

10.1007/bfb0033539 ◽

2005 ◽

pp. 107-114

Author(s):

KiamTian Seow ◽

R. Devanathan

Keyword(s):

Temporal Logic ◽

Discrete Event ◽

State Problem ◽

Discrete Event Control ◽

Logic Approach

Download Full-text

A temporal logic approach to discrete event control for the safety canonical class

Systems & Control Letters ◽

10.1016/0167-6911(96)00032-1 ◽

1996 ◽

Vol 28 (4) ◽

pp. 205-217 ◽

Cited By ~ 11

Author(s):

Kiam Tian Seow ◽

R. Devanathan

Keyword(s):

Temporal Logic ◽

Discrete Event ◽

Canonical Class ◽

Discrete Event Control ◽

Logic Approach

Download Full-text

A temporal logic approach to discrete event control

Proceedings of 1995 IEEE International Conference on Robotics and Automation ◽

10.1109/robot.1995.525479 ◽

2002 ◽

Author(s):

Kiam Tian Seow ◽

R. Devanathan

Keyword(s):

Temporal Logic ◽

Discrete Event ◽

Discrete Event Control ◽

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

Temporal logic and extended state machines in discrete-event control

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

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

1988 ◽

pp. 215-236 ◽

Cited By ~ 2

Author(s):

J. S. Ostroff

Keyword(s):

Temporal Logic ◽

Discrete Event ◽

State Machines ◽

Extended State ◽

Discrete Event Control

Download Full-text

Integrating Temporal Logic as a State-Based Specification Language for Discrete-Event Control Design in Finite Automata

IEEE Transactions on Automation Science and Engineering ◽

10.1109/tase.2006.881904 ◽

2007 ◽

Vol 4 (3) ◽

pp. 451-464 ◽

Cited By ~ 19

Author(s):

Kiam Tian Seow

Keyword(s):

Temporal Logic ◽

Finite Automata ◽

Discrete Event ◽

Control Design ◽

Specification Language ◽

Discrete Event Control

Download Full-text

A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control

IEEE Transactions on Systems Man and Cybernetics Systems ◽

10.1109/tsmc.2014.2303051 ◽

2014 ◽

Vol 44 (9) ◽

pp. 1204-1215 ◽

Cited By ~ 4

Author(s):

Amrith Dhananjayan ◽

Kiam Tian Seow

Keyword(s):

Real Time ◽

Temporal Logic ◽

Discrete Event ◽

Metric Temporal Logic ◽

Discrete Event Control

Download Full-text

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

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

Discrete-event control over communication networks

2007 European Control Conference (ECC) ◽

10.23919/ecc.2007.7068529 ◽

2007 ◽

Author(s):

P. Gohari ◽

A. Mannani

Keyword(s):

Communication Networks ◽

Discrete Event ◽

Discrete Event Control

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

Discrete event control with active events

Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C) ◽

10.1109/robot.1999.769943 ◽

2003 ◽

Author(s):

M. Heymann ◽

Feng Lin ◽

G. Meyer

Keyword(s):

Discrete Event ◽

Discrete Event Control

Download Full-text