Abstract
Motivated by the huge effort for adapting discrete field level automation software in case of (even minor) modifications of the technical system, this paper presents an approach to support the engineering and re-engineering of open-loop control software. In contrast to implement what a plant has to do, we suggest a novel modelling approach which enables describing what a plant is able to do. Based on an extension of the Unified Modelling Language meta model, an object-oriented approach for describing a manufacturing system’s state space in a consolidated way is proposed. The strict, declarative semantics of ontologies is utilized to automatically reason about this model for determining the manufacturing system’s state space and deriving an optimal operation sequence to be implemented.
Similar content being viewed by others
References
Andersson, K., Lennartson, B., Falkman, P., & Fabian, M. (2011). Generation of restart states for manufacturing cell controllers. Control Engineering Practice, 19, 1014–1022.
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., & Patel-Schneider, P. (2003). The description logic handbook: Theory, implementation and applications. Cambridge: Cambridge university press.
Berruet, P., Lallican, J., Rossi, A., & Philippe, J. (2007). Generation of control for conveying systems based on component approach. In IEEE SMC, pp. 1408–1414.
Clarke, E., Grumberg, O., Minea, M., & Peled, D. (1999). State space reduction using partial order techniques. International Journal on Software Tools for Technology Transfer (STTT), 2(3), 279–287.
de Souza, L. M. S., Spiess, P., Guinard, D., Köhler, M., Karnouskos, S., & Savio, D. (2008). SOCRADES: A web service based shop floor integration infrastructure. In Internet of things.
Deja, M., & Siemiatkowski, M. S. (2012). Feature-based generation of machining process plans for optimised parts manufacture. Journal Intelligent Manufacturing. doi:10.1007/s10845-012-0633-x.
Estevez, E., Marcos, M., & Orive, D. (2007). Automatic generation of plc automation projects from component-based models. The International Journal of Advanced Manufacturing Technology, 35(5–6), 527–540.
Fantuzzi, C., Bonfe, M., Fanfoni, F., & Secchi, C. (2011). A design pattern for translating uml software models into IEC 61131–3 programming languages. In 18th IFAC World Congress.
Ferrarini, L., Veber, C., Lüder, A., Peschke, J., Katogeras, A., Gialelis, J., et al. (2006). Control architecture for reconfigurable manufacturing systems—the pabadis‘promise approach. In IEEE ETFA, pp. 20–22.
Finkemeyer, B., Kröger, T., & Wahl, F. M. (2005). Executing assembly tasks specified by manipulation primitive nets. Advanced Robotics, 19(5), 591–611.
Ghallab, M., Nau, D. S., & Traverso, P. (2004). Automated planning: Theory and practice. Los Altos, CA: Morgan Kaufmann.
Hubauer, T., Legat, C., & Seitz, C. (2011). Empowering adaptive manufacturing with interactive diagnostics: A multi-agent approach. In 10th international conference on practical applications of agents and multi-agent systems, pp. 47–56.
Jimenez, P. (2011). Survey on assembly sequencing: a combinatorial and geometrical perspective. Journal of Intelligent Manufacturing. doi:10.1007/s10845-011-0578-5.
Khalgui, M., Mosbahi, O., Hanisch, H. M., & Li, Z. (2012). A multi-agent architectural soluction for coherent distributed reconfigurations of function blocks. Journal of Intelligent Manufacturing, 23(6), 2531–2549.
Koch, T., Achterberg, T., Andersen, E., Bastert, O., Berthold, T., Bixby, R. E., et al. (2011). Miplib 2010-mixed integer programming library version 5. Mathematical Programming Computation, 3, 103–163.
Legat, C., Hubauer, T. M., & Seitz, C. (2011). Integrated diagnosis for adaptive service-oriented manufacturing control with autonomeous products. In 2011 international conference on industrial engineering and systems management.
Legat, C., Schütz, D., & Vogel-Heuser, B. (2012). Automatic generation of field control strategies for supporting (re-)engineering of manufacturing systems. In 14th IFAC INCOM.
Loskyll, M., Schlick, J., Hodek, S., Ollinger, L., Gerber, T., & Pirvu, B. (2011). Semantic service discovery and orchestration for manufacturing processes. In IEEE ETFA.
Lüder, A., & Peschke, J. (2007). Incremental design of distributed control systems using GAIA-UML. In: IEEE ETFA, pp. 1076–1083.
Mehrabi, M., Ulsoy, A., & Koren, Y. (2000). Reconfigurable manufacturing systems: Key to future manufacturing. Journal of Intelligent Manufacturing, 11(4), 403–419.
Motik, B., Grau, B., Horrocks, I., Wu, Z., Fokoue, A., & Lutz, C. (2009). OWL 2 Web ontology language: Profiles. W3C recommendation.
Obermeier, M., Braun, S., Sommer, K., & Vogel-Heuser, B. (2011). Fundamental aspects concerning the usability evaluation of model-driven object oriented programming approaches in machine and plant automation. In 14th international conference on human–computer interaction, Springer.
Object Management Group. (2009). Unified modeling, language V2.2.
Radakovic, M., Obitko, M., & Marik, V. (2012). Dynamic explicitly specified behaviors in distributed agent-based industrial solutions. Journal of Intelligent Manufacturing, 23(6), 2601–2621.
Ruml, W., Do, M. B., & Fromherz, M. P. J. (2005). On-line planning and scheduling for high-speed manufacturing. In ICAPS.
Schütz, D., Legat, C., Vogel-Heuser, B. (2012). On modelling the state-space of manufacturing systems using UML. In 14th IFAC INCOM.
Thomas, A., Trentesaux, D., & Valckenaers, P. (2011). Intelligent distributed production control. Journal of Intelligent Manufacturing, 23(6), 2507–2512.
Thramboulidis, K. (2010). The 3+1 SysML view-model in model integrated mechatronics. Journal of Software Engineering and Applications, 3, 109–118.
Tilbury, D., & Kota, S. (1999). Integrated machine and control design for reconfigurable machine tools. In IEEE/ASME international conference on advanced intelligent Mechatronics.
Wiendahl, H. P., ElMaraghy, H. A., Nyhuis, P., Zäh, M. F., Wiendahl, H. H., Duffie, N. A., et al. (2007). Changeable manufacturing-classification, design and operation. Annuals of the CIRP: Manufacturing Technology, 56(2), 783–809.
Witsch, D., & Vogel-Heuser, B. (2011). PLC-statecharts: An approach to integrate UML-statecharts in open-loop control engineering—aspects on behavioral semantics and model-checking. In 18th IFAC World Congress, Milan, Italy.
Wooldridge, M., Jennings, N. R., & Kinny, D. (2000). The Gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems, 3, 285–312.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Legat, C., Schütz, D. & Vogel-Heuser, B. Automatic generation of field control strategies for supporting (re-)engineering of manufacturing systems. J Intell Manuf 25, 1101–1111 (2014). https://doi.org/10.1007/s10845-013-0744-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10845-013-0744-z