On modelling the state-space of manufacturing systems using UML

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 45, Issue 6 PART 1, 2012, Pages 469-474

  Schutz D ^a   Legat, C ^b   Vogel Heuser, B ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b SIEMENS AG   (Germany)

Author keywords

Flexible and reconfigurable manufacturing systems; Formalisms and modelling techniques; Manufacturing system engineering

Indexed keywords

COMPUTER AIDED MANUFACTURING; DEGREES OF FREEDOM (MECHANICS); ENGINEERING EDUCATION; MACHINE COMPONENTS; MACHINE ORIENTED LANGUAGES; MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING;

AUTOMATION SOFTWARE; FIELD LEVEL; MACHINE STATE; MANUFACTURING PLANT; META MODEL; MODELLING TECHNIQUES; OBJECT ORIENTED; RECONFIGURABLE MANUFACTURING SYSTEM;

MANUFACTURE;

EID: 84866104870     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20120523-3-RO-2023.00118     Document Type: Conference Paper

References (21)

1. Berruet, P., Lallican, J., Rossi, A., and Philippe, J. (2007). Generation of control for conveying systems based on component approach. In IEEE SMC, 1408-1414.
2. Braun, S., Obermeier, M., and Vogel-Heuser, B. (2010). Usability evaluation of modeling notations for software engineering in machine and plant automation. In IEEE ETFA. Bilbao, Spain.
3. de Souza, L., Spiess, P., Guinard, D., Köhler, M., Karnouskos, S., and Savio, D. (2008). Socrades: A web service based shop floor integration infrastructure. In C. Floerkemeier, M. Langheinrich, E. Fleisch, F. Mattern, and S. Sarma (eds.), The Internet of Things, volume 4952 of LNCS, 50-67. Springer Berlin/Heidelberg.
4. Estevez, E., Marcos, M., and Orive, D. (2007). Automatic generation of plc automation projects from component-based models. Journal of Advanced Manufacturing Technology, 35(5-6), 527-540.
5. Ewert, D., Hauck, E., Schilberg, D., and Jeschke, S. (2010). Cognitive assembly planning using state graphs. In 3rd AHFE.
6. Fantuzzi, C., Bonfe, M., Fanfoni, F., and Secchi, C. (2011). A design pattern for translating uml software models into IEC 61131-3 programming languages. In 18th IFAC World Congress.
7. Ferrarini, L., Veber, C., Lüder, A., Peschke, J., Katogeras, A., Gialelis, J., Rode, J., Wünsch, D., and Chapurlat, V. (2006). Control architecture for reconfigurable manufacturing systems - the PABADIS'PROMISE approach. In IEEE ETFA, 20-22.
8. Henry, S., Zamai, E., and Jacomino, M. (2004). Real time reconfiguration of manufacturing systems. In IEEE SMC, volume 5, 4266 - 4271.
9. Jammes, F., Smit, H., Lastra, J., and Delamer, I. (2005). Orchestration of service-oriented manufacturing processes. In IEEE ETFA, volume 1, 8-624.
10. Legat, C., Schütz, D., and Vogel-Heuser, B. (2012). Automatic generation of field control strategies for supporting (re-)engineering of manufacturing systems. In 14th IFAC INCOM, accepted paper.
11. Lüder, A. and Peschke, J. (2007). Incremental design of distributed control systems using GAIA-UML. In IEEE ETFA, 1076-1083.
12. Miller, R. and Shanahan, M. (1999). The event calculus in classical logic - alternative axiomatisations. Electronic Transactions on Artificial Intelligence, 3, 77-105.
13. Mosemann, H. and Friedrich (2001). Automatic decomposition of planned assembly sequences into skill primitives. IEEE Transactions on Robotics and Automation, 17(5), 709-717.
14. Object Management Group (2008). OMG Systems Modeling Language (OMG SysML) V1.1.
15. Object Management Group (2009). OMG Unified Modeling Language (OMG UML) V2.2.
16. Reiter, R. (2001). Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamic Systems. MIT Press.
17. Ruml, W., Do, M.B., and Fromherz, M.P.J. (2005). Online planning and scheduling for high-speed manufacturing. In 15th ICAPS. Monterey, CA, US.
18. Thramboulidis, K. (2010). The 3+1 SysML view-model in model integrated mechatronics. Journal of Software Engineering and Applications, 3, 109-118.
19. Westkämper, E. (2003). Adaptable production structures. In Manufacturing Technologies for Machines of the Future (21st Century Technologies), 87-120. Springer.
20. Witsch, D. and 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. Milano, Italy.
21. Wooldridge, M., Jennings, N.R., and Kinny, D. (2000). The Gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems, 3, 285-312.