Author:
Endsley E.W.,Almeida E.E.,Tilbury D.M.
Subject
Applied Mathematics,Electrical and Electronic Engineering,Computer Science Applications,Control and Systems Engineering
Reference32 articles.
1. Almeida, E., Luntz, J., & Tilbury, D. M. (July 2005). Modular finite state machines implemented as event-condition-action systems. In Proceedings of the IFAC world congress. Prague.
2. Almeida, E., & Tilbury, D. M. (2004). Automatic logic generation for cell-based manufacturing systems. In J. Zaytoon, V. Carre-Menetrier, C. Cassandras, & X. Cao (Eds.), Proceedings of the IFAC workshop on discrete event systems (WODES) (pp. 31–36), Reims, France.
3. Input/output discrete event processes and communication delays;Balemi;Journal of Discrete Event Dynamic Systems: Theory and Applications,1994
4. Bani Younis M., & Frey, G. (July 2003). Formalization of existing PLC programs: A survey. In Proceedings of the conference on computing engineering in systems applications (CESA), Lille, France.
5. Systems and software verification: Model-checking techniques and tools;Berard,2001
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献