Real-time monitoring and optimization of production and logistics processes significantly improve the efficiency of production systems. Advanced production management solutions require real-time information about the status of products, production, and resources. As real-time locating systems (also referred to as indoor positioning systems) can enrich the available information, these systems started to gain attention in industrial environments in recent years. This paper provides a review of the possible technologies and applications related to production control and logistics, quality management, safety, and efficiency monitoring. This work also provides a workflow to clarify the steps of a typical real-time locating system project, including the cleaning, pre-processing, and analysis of the data to provide a guideline and reference for research and development of indoor positioning-based manufacturing solutions.

Digital Twins will change how systems and products are engineered and operated. Individual virtual representations of assets help to develop, maintain and change single components or whole factories. Aerospace engineering, product design and intelligent manufacturing are hot spots for the use of Digital Twins. Simultaneously, globalized markets lead to a growing awareness of dependability and quality, which increases the importance of verification and validation. The Digital Twin could prove to be key enabler for efficient verification and validation processes. This paper presents the results of the literature review of approaches that use Digital Twins for verification and validation purposes. Many solutions have been found for a wide range of challenges in various fields of application. This survey discusses the underlying methods and the elements of Digital Twins already in use. Most research approaches focus on simulations and three methodological clusters of approaches sharing similar ideas were identified.

The demand for reconfigurations of production systems is increasing, driven by shorter innovation and product life cycles and economic volatility. Another trend in the domain of industrial automation is the emergence of cyber-physical production systems, which offer promising potentials, for example, self-organization capabilities. A suitable cyber-physical production system architecture that incorporates knowledge modelling and management concerns, plus a reconfiguration management methodology, is crucial for realizing self-organized reconfiguration management. In this paper, first reference architectures, architectural patterns, and basic principles, as well as knowledge modelling and management approaches, are discussed in general. Afterwards, these are examined concerning the reconfiguration management use case focusing on UML/XML-based and ontology-based approaches. A novel approach comprising a multi-agent system and the MAPE-K concept for reconfiguration management is presented. In addition, the approach contains a service-oriented architecture for a deterministic plant control within a layered architecture. The knowledge modelling is realized through a UML information model, which can be integrated into the system utilizing XML files. Furthermore, the provided tool support is described. It enables a user to describe system components in an effort-reduced manner and conform to the schema defined by the information model and its restrictions via a GUI.

Flexible intralogistics systems use automated guided vehicles (AGV) to transport goods. In assembly and warehouses, AGVs and human workers often work side by side. For optimal navigation, AGVs must consider human movement and estimate future positions of workers. Using real-time locating systems (RTLS) to improve human-robot collaboration enables more energy-efficient and safer AGV wayfinding strategies. This paper gives a summary on the topics RTLS, AGV wayfinding and trajectory prediction and introduces the momentum-based approach to predicting future worker positions in factories and warehouses. The results show that ultra-wideband-based RTLS are very well suited for trajectory prediction in the production sector.

Zusammenfassung: Durch zunehmende Agilität im Entwicklungsprozess, kürzere Lebenszyklen und sich ändernde Kunden- und Gesetzgeberanforderungen müssen Produktionssysteme wandlungsfähig sein. Aber jede Veränderung des Systemverhaltens muss anschließend auch erneut abgesichert werden. Zur Absicherung sicherheitskritischer Funktionen eignen sich formale Verifikationsmethoden. Allerdings ist hierzu ein hoher Modellierungsaufwand notwendig, was den Einsatz formaler Verifikationsmethoden in der Praxis hemmt. Zudem empfiehlt sich eine Überprüfung der zur formalen Verifikation eingesetzten Modelle. Zur Bewältigung der Herausforderungen für die Absicherung, die eine Rekonfiguration während des Betriebs nach sich zieht, werden in diesem Beitrag zwei vielversprechende und sich gegenseitig ergänzende Ansätze für die lebenszyklusübergreifende Absicherung von Produktionssystemen vorgestellt.