An equivalent LTL/Kripke structure for the condition sequence/condition system model

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 37, Issue 18, 2004, Pages 57-62

  Ashley, Jeff ^a   Holloway, L E ^b  

^a KENTUCKY STATE UNIVERSITY   (United States)

^b Center for Manufacturing   (United States)

Author keywords

Condition systems; Languages; Linear temporal logic; Petri nets

Indexed keywords

COMPUTER CIRCUITS; DISCRETE EVENT SIMULATION; PETRI NETS; QUERY LANGUAGES; SPECIFICATIONS;

CONDITION SYSTEMS; INPUT AND OUTPUTS; INPUT/OUTPUT BEHAVIORS; INTERACTING SYSTEM; KRIPKE STRUCTURE; LINEAR TEMPORAL LOGIC; LINEAR TIME TEMPORAL LOGIC; SYSTEM MODELING;

TEMPORAL LOGIC;

EID: 26444478604     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1016/S1474-6670(17)30722-X     Document Type: Conference Paper

References (7)

1. Ashley, Jeffrey (2004). Diagnosis of Condition Systems. PhD thesis. University of Kentucky.
2. Holloway, L. and J . Ashley (1998a) Condition languages and condit ion systems for modeling ambiguous cont rol specifications. In: lEE International Workshop on Discrete Event Sys tems (WODES98). Cagliari.
3. Holloway, L. E. and J. Ashley (1998b). Elaborative orderings of condition languages. In: Proceedings of 1998 IEEE Conference on Decision and Control. Tampa.
4. Holloway, L. E ., X. Guan, R.. Sundaravadivelu and J. Ashley (2000). Automated synthesis and composition of taskblocks for control or manufacturing systems. IEEE Transactions on Systems. Man and Cybernetics: Part B 30(5), 696-712.
5. Huth, M. and M. Ryan (2000 ). Logic in Computer Science: Afodelling and reasoning about systems. Cambridge University Press.
6. Manna, Z. and A. Pnuelli (1991). The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag.
7. Sreenivas, R.S and B.H. Krogh (1991 ). On condition element systems with discrete state realizations. Discrete Event Dynamic Theory and Applications.