An equivalent CTL formulation for condition sequences

Discrete Event Dynamic Systems: Theory and Applications

Volumn 15, Issue 4, 2005, Pages 333-348

  Ashley, Jeffrey ^a   Holloway, Lawrence E ^a  

^a Center for Manufacturing   (United States)

Author keywords

Computation tree logic (CTL); Condition systems; Discrete event systems (DES); Temporal logic

Indexed keywords

COMPUTATIONAL METHODS; DISCRETE TIME CONTROL SYSTEMS; TREES (MATHEMATICS);

COMPUTATION TREE LOGIC; CONDITION SYSTEMS; DISCRETE EVENT SYSTEMS; TEMPORAL LOGIC;

PETRI NETS;

EID: 26444615378     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10626-005-4056-0     Document Type: Article

References (16)

1. Ashley, J. 2004. Diagnosis of Condition Systems. Ph.D. thesis, University of Kentucky.
2. Ashley, J., and L. E. Holloway. 2004a. An equivalent LTL/Kripke structure for the condition sequence/ condition system model. In Proceedings of the 7th Workshop on Discrete Event Systems(WODES2004). Kluwer Academic Publishers.
3. Ashley, J., and L. E. Holloway. 2004b. Qualitative diagnosis of condition systems. Discret. Event Dynamic Systems: Theory and Applications 14(4): 395-412.
4. Clarke, E., and Emerson, E. 1981. Design and synthesis of synchronization skeletons for branching time temporal logic. Lect. Notes in Comput. Sci. 131: 52-71.
5. Gong, Y., and Holloway, L. E. 2001. Multi-layer state observers for condition systems. In Proceedings of the IEEE International Conference on Emerging Technologies and Factory Automation (ETFA01). Antibes, Nice, France.
6. Guan, X. 2000. Distributed Supervisory Control of Forbidden Conditions, and Automated Synthesis and Composition of Task Controllers. Ph.D. thesis, University of Kentucky.
7. Holloway, L. E., and Ashley, J. 1998. Elaborative orderings of condition languages. In Proceedings of 1998 IEEE Conference on Decision and Control, Tampa.
8. Holloway, L. E., Callahan, A., O-Rear, J., and Guan, X. 2000a. Spectool: automated synthesis of control code for discrete event controllers. In Discrete Event Systems: Analysis and Control. Boston, MA, USA: Kluwer Academic Publishers.
9. Holloway, L. E., Guan, X., Sundaravadivelu, R., and Ashley, J. 2000b. Automated synthesis and composition of taskblocks for control or manufacturing systems. IEEE Trans. Syst. Man Cybern., Part B 30(5): 696-712.
10. Huth, M., and Ryan, M. 2000. Logic in Computer Science: Modelling and Reasoning About Systems. Cambridge, England: Cambridge University Press.
11. Jiang, S., and Kumar, R. 2003. Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications. Submitted to: SIAM Journal on Control and Optimization.
12. Lin, F. 1993. Analysis and synthesis of discrete event systems using temporal logic. Control Theor. Adv. Technol. 9(1): 341-350.
13. Manna, Z., and Pnueli, A. 1991. The Temporal Logic of Reactive and Concurrent Systems. New York, NY, USA: Springer-Verlag.
14. Pnueli, A. 1977. The temporal logic of programs. In Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, pp. 46-67.
15. Prior, A. 1957. Time and Modality. Oxford: Clarendon Press.
16. Sreenivas, R., and Krogh, B. 1991. On condition/event systems with discrete state realizations. Discret. Event Dyn. Syst.: Theor. Appl. 1(2): 209-236.