Diagnosis of discrete event systems in rules-based model using first-order linear temporal logic

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 ◽  
Event Systems

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

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 ◽  
Event Systems
Sign in / Sign up

Export Citation Format

Share Document