Event-condition-action systems for reconfigurable logic control

IEEE Transactions on Automation Science and Engineering

Volumn 4, Issue 2, 2007, Pages 167-180

  Almeida, E Emanuel ^a,b   Luntz, Jonathan E ^a,c   Tilbury, Dawn M ^a,c  

^a IEEE   (Portugal)

^b EFACEC Group   (Portugal)

^c UNIVERSITY OF MICHIGAN   (United States)

Author keywords

Data bases; Discrete event systems (DES); Finite state machines; Logical control; Rule based systems

Indexed keywords

EVENT CONDITION ACTION (ECA) PARADIGM; MODULAR LOGIC CONTROLLERS; RECONFIGURABLE CONTROL;

DATABASE SYSTEMS; DISCRETE EVENT SIMULATION; FINITE AUTOMATA; KNOWLEDGE BASED SYSTEMS; LOGIC DESIGN; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING;

PROGRAMMABLE LOGIC CONTROLLERS;

EID: 34147125889     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2006.880857     Document Type: Article

References (41)

1. Y. Koren, U. Heisel, F. Jovane, T. Moriwaki, G. Pritschow, G. Ulsoy, and H. V. Brussel, "Reconfigurable manufacturing systems," in Ann. CIRP, 1999, vol. 48, no. 2, pp. 527-540.
2. E. W. Endsley and D. M. Tilbury, "Modular finite state machines for logic control," in Proc. IFAC Workshop on Discrete Event Systems, Sep. 2004, pp. 403-408.
3. E. W. Endsley, "Modular finite state machines for logic control: Theory, verification and applications to reconfigurable manufacturing systems," Ph.D. dissertation, Mech. Eng. Dept., Univ. Michigan, Ann Arbor, 2004.
4. R. S. Sreenivas and B. H. Krogh, "Petri-net based models for condition/event systems," in Proc. American Control Conf., 1991, vol. 3, pp. 2899-2904.
5. R. W. Lewis, Modeling Control Systems using IEC 61499. London, U.K.: Inst. Elect Eng., 2001.
6. G. Papamarkos, A. Poulovassilis, and P. T. Wood, "Event-condition- action rale languages for the semantic web," presented at the Workshop on Semantic Web and Databases, 2003.
7. M. Zoumboulakis, G. Roussos, and A. Poulovassilis, "Active rules for sensor databases," in Proc. 1st Workshop on Data Management for Sensor Networks, Aug. 2004, pp. 49-55.
8. K. R. Dittrich, S. Gatziu, and A. Geppert, "The active database management system manifesto: A rulebase of ADBMS features," presented at the Int. Workshop Rules and Database Systems, 1995.
9. N. Paton, Ed., Active Rules in Database Systems. New York: Springer-Verlag, 1999.
10. J. Widom and S. Ceri, Active Database Systems: Triggers and Rules for Advanced Database Processing. San Mateo, CA: Morgan-Kaufmann, 1996.
11. E. Baralis and J. Widom, "An algebraic approach to static analysis of active database rales," ACM Trans. Database Systems, pp. 269-332, Sep. 2000.
12. B. Meyer, Object-Oriented Software Construction, 2nd ed. Upper Saddle River, NJ: Prentice-Hall, 1997.
13. M. R. Lucas, "Understanding and assessing logic control design methodologies," Ph.D. dissertation, Mech. Eng. Dept., Univ. Michigan, Ann Arbor, 2003.
14. E. Park, D. M. Tilbury, and P. P. Khargonekar, "Modular logic controllers for machining systems: Formal representation and performance analysis using Petri nets," IEEE Trans. Robot. Autom., vol. 15, no. 6, pp. 1046-1061, Dec. 1999.
15. M. Rausch and H. M. Hanisch, "Net condition/event systems with multiple condition outputs," in Proc., IEEE Conf. Emerging Technologies and Factory Automation, 1995, vol. 1, pp. 592-600.
16. H.-M. Hanisch and V. Vyatkin, "Acheiving reconfigurability of automation systems by using the new international standard IEC 61499: A developer's view," in The Industrial Information Technology Handbook, 2005, pp. 1-20.
17. E. Almeida and D. Tilbury, "Automatic logic generation for reconfigurable cell-based manufacturing systems," in Proc. IFAC Workshop on Discrete Event Systems, Sep. 2004, pp. 31-36.
18. M. G. Mehrabi, A. G. Ulsoy, and Y. Koren, "Reconfigurable manufacturing systems and their enabling technologies," Int. J. Manuf. Technol. Manag., vol. 1, no. 1, pp. 113-130, 2000.
19. _, "Reconfigurable manufacturing systems: Key to future manufacturing," J. Intell., Manuf., vol. 11, no. 4, pp. 403-419, 2000.
20. E. Clark, O. Grunberg, and D. Peled, Model Checking. Cambridge, MA: MIT Press, 1999.
21. R. Huuck, "Software verification for programmable logic controllers," Ph.D. dissertation, Dept. Comput. Sci. Appl. Math., Kiel Univ., Germany, 2003.
22. E. W. Endsley and D. M. Tilbury, "Modular verification of modular finite state machines," in Proc. IEEE Conf. Decision and Control, 2004, pp. 972-979.
23. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Norwell, MA: Kluwer, 1999.
24. D. Harel and A. Pnueli, "On the development of reactive systems," NATO ASI Series F: Comput. Syst. Sci., pp. 477-498, 1989.
25. G. Berry, "The Foundations of Esterel," in Proof, Language, and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C. Stirling, and M. Tofte, Eds. Cambridge, MA: MIT Press, 2000, ch. 14, pp. 425-454.
26. R. W. Lewis, Programming Industrial Control Systems Using IEC 61131-3 Revised Edition. London, U.K.: Inst. Elect. Eng., 1998.
27. C. Zaniolo, S. Ceri, C. Falutsos, R. T. Snodgrass, V. S. Subrahmanian, and R. Zicari, Advanced Database Systems. San Mateo, CA: Morgan-Kaufmann, 1997.
28. J. Bae, H. Bae, S.-H. Kang, and Y. Kim, "Automatic control of work-flow processes using ECA rules," IEEE Trans. Knowl. Data Eng., vol. 16, no. 6, pp. 1010-1023, Aug. 2004.
29. N. Chaudhry, J. Moyne, and E. A. Rundensteiner, "Active controller: Utilizing active databases for implementing multi-step control of semiconductor manufacturing," IEEE Trans. Compon., Packag. Manuf. Technol. Part C: Manuf., vol. 21, no. 3, pp. 217-224, Jul. 1998.
30. B. Wu and K. Dube, "Applying event-condition-action mechanism in healthcare: A computerised clinical test-ordering protocol system (TOPS)," presented at the 3rd Int. Symp. Cooperative Database Systems for Advanced Applications, Beijing, China, Apr. 2001.
31. P. J. G. Ramadge and W. M. Wonham, "The Control of Discrete Event Systems," in Proc. IEEE, Jan. 1989, vol. 77, no. 1, pp. 81-98.
32. R. S. Sreenivas and B. H. Krogh, "On condition/event systems with discrete state realizations," Discrete Event Dynam. Syst. : Theory Appl., vol. 2, no. 1, pp. 209-236, 1991.
33. V. Vyatkin, H. M. Hanisch, and T. Pfeiffer, "Object-oriented modular place/transition formalism for systematic modeling and validation of industrial automation systems," in Proc IEEE Int. Conf. Industrial Informatics, 2003, pp. 224-232.
34. M. Schlesinger and G. Loerincze, "Rule modelling and simulation in ALFRED," in Proc. 3rd Int. Workshop Rules in Database Systems. London, U.K.: Springer-Verlag, 1997, vol. 1312, pp. 83-99, Lecture Notes in Computer Science.
35. D. Zimmer, A. Meckenstock, and R. Unland, "Using Petri nets for rule termination analysis," in Proc. Workshop on Databases: Active and Real, pp. 49-55.
36. X. Li, J. M. Marín, and S. V. Chapa, "A structural model of ECA rules in active databases," in Proc. MICAI: Advances in Artificial Intelligence. 2nd Mexican Int. Conf. Artificial Intelligence, 2002, pp. 486-493.
37. D. Harel, "Statecharts: A visual formalization for complex systems," Sci. Comput. Programming, vol. 8, no. 3, pp. 231-274, 1987.
38. D. Harel and A. Naamad, "The STATEMATE semantics of Statecharts," Trans. Softw. Eng. Method., vol. 5, no. 4, pp. 293-333, 1996.
39. E. Almeida, J. Luntz, and D.M. Tilbury, "Modular finite state machines implemented as event-condition-action systems," presented at the 16th IFAC World Congr., Jul. 2005.
40. M. R. Lucas and D. M. Tilbury, "Methods of measuring the size and complexity of PLC programs in different logic control design methodologies," Int. J. Adv. Manuf. Technol., vol. 26, no. 5-6, pp. 436-447, 2005.
41. J. Moyne, J. Korsakas, and D. M. Tilbury, "Reconfigurable factory testbed (RFT): A distributed testbed for reconfigurable manufacturing systems," presented at the Jpn.-USA Symp. Flexible Automation, Jul. 2004.