We present our monitoring and decision framework for collaborative engineering for globally
distributed operation, support, maintenance, and services for industrial automation. The …

We present a method to engineer the control software of transport systems and analyze their
safety using the Reactive Blocks framework. The development benefits from the model …

This paper presents an approach for modeling and veri-cation of components controlling
behaviour of safety-critical systems in their physical environment. In particular, we introduce …

We propose a model-driven development approach for autonomous control systems with
emphasis on the physical space and the communication via wireless connections. In …

We present work towards using ontological information to facilitate collaborative tasks during
operation, maintenance and service of industrial automation facilities. We use semantic …

When mobile robots are employed in transportation tasks involving contact with humans,
their control software shall guarantee that in every possible circumstance safety and, in …

This paper presents a framework to apply property-based testing (PBT) on top of temporal
formal models. The aim of this work is to help software engineers to understand temporal …

We present an architecture for cloud-based analysis of manufacturing environments and
derived robot actions. We report on our implemented facility that combines visual cloud …

Abstract Virtual Experience Portals are mobile stereoscopic ultra high definition LCD
displays with human interface sensors, which can be combined into a reconfigurable …

We present work towards a toolchain that combines our existing tools Reactive Blocks and
BeSpaceD with our remote collaboration and visualization facility VxLab. Software …