Model-driven diagnostics generation for industrial automation

IEEE International Conference on Industrial Informatics (INDIN)

Volumn , Issue , 2009, Pages 708-714

  Behrens, M ^a   Provan, G ^a   Boubekeur, M ^a   Mady, A ^a  

^a UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX SIMULATION; INDUSTRIAL AUTOMATION; LIGHTING SYSTEMS; MODEL-DRIVEN; SYSTEMS SIMULATION; TRANSFORMATION RULES;

SIMULATORS;

EID: 71049155830     PISSN: 19354576     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2009.5195890     Document Type: Conference Paper

References (14)

1. Gregor Goessler and Joseph Sifakis, "Composition for component-based modeling," Formal Methods for Components and Objects, Springer Lecture Notes in Computer Science.
2. J. Keppens and Q. Shen, "On compositional modeling," The Knowledge Engineering Review, vol.16(2), pp. 157-200, 2001.
3. N.P. Suh, The Principles of Design.
4. G. Labinaz, M.M. Bayoumi, and K. Rudie, "Modeling and control of hybrid systems: A survey," Proc. of the 13th Triennal World Congress, San Francisco, USA, 1996.
5. Long DE Grumberg O, "Model checking and modular verification," ACM Trans Program Lang Syst, vol.16(3), pp. 843-871, 1994.
6. "Charon: Modular specification of hybrid systems," Website, http://rtg.cis.upenn.edu/mobies/charon/.
7. M. Boubekeur A. Mady and G. Provan, "Integrated simulation platform for optimized building operations," IACSIT SC, 2009.
8. "The lydia project,"Website, http://www.st.ewi.tudelft.nl/ gemund/Lydia/.
9. K.J. De, AK Mackworth, and R. Reiter, "Characterizing Diagnosis and Systems," Artificial Intelligence, vol.56, no.2-3, pp. 197-222, 1992.
10. M. Behrens, "Model transformation from simulation to diagnosis," Tech. Rep., 2009.
11. D.C. Schmidt, "Model-driven engineering," IEEE Computer, vol.39 (2), February 2006, http://www.cs.wustl.edu/ schmidt/PDF/GEI.pdf.
12. P. Van Gorp G T. Mens, "A taxonomy of model transformation," Int'l Workshop on Graph and Model Transformation, 2005.
13. "openarchitectureware," Website, http://www. openarchitectureware.org/.
14. L. Popa W.C. Tan R. Fagin, P.G. Kolaitis, "Composing schema mappings: second-order dependencies to the rescue," ACM Transactions on Database Systems, vol.30 (4), pp. 994-1055, 2005.