Integrated Verification, Simulation and Visualization for Industrial Applications

  • Duration:

Realizing the idea of Industrie 4.0 requires the fast and reliable changeover of cyber-physical systems (CPS). The overall goal of the INVERSIV project is the development of a system for validating functional models of cyber-physical systems and especially cyber-physical production systems. Based on real-time sensor data these models allow simulating critical processes and monitoring, analysis, diagnosis and prediction of failure states as well as their removal. If a failure during simulation is detected, steps for removing the failure have to be provisioned. In INVERSIV we will explore the design and evaluation of alternative configurations of CPS using modules for semantic sensor data analysis, hybrid automata, and agent technologies which are used for representing human activities and interactions necessary for maintaining the production. An essential aspect of INVERSIV is the creation of a common representation of the CPS shared between the modules which allows combining the INVERSIV assets for monitoring and analyzing CPS.



Share project:

Contact Person
Ingo Zinnikus


Publications about the project

Erik Herrmann, Martin Manns, Han Du, Somayeh Hosseini, Klaus Fischer

In: Nadia Magnenat-Thalmann, Daniel Thalmann (editor). Computer Animation and Virtual Worlds (CAVW) 28 3-4 John Wiley & Sons Ltd 5/2017.

To the publication
Luca Mazzola, Patrick Kapahnke, Matthias Klusch

In: Information Integration and Web-based Applications and Services. International Conference on Information Integration and Web-based Applications & Services (iiWAS-17) 19th ACM International Conference on Information Integration and Web-based Applications and Services Salzburg Austria ACM 2017.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz