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

This paper present automation system of Fault Detection and Analysis using PLC and
SCADA (Softwares-RSlogix 500 and Wonderware Intouch). The processes which are used …

The Virtual eXperiences Lab at RMIT is a “21st century lab scope,” an enabling platform for
research and prototyping in industrial automation, focusing on software engineering, next …

A product must first undergo quality assurance in the highly competitive market of today.
Leak testing is one of the most crucial steps when analyzing a product's quality, and thanks …

Behavioral types for space-aware systems are proposed as a means to facilitate the
development, commissioning, maintenance, and refactoring of systems with cyber-physical …

In this paper, we present an event handling framework for managing smart-grids and
renewable energy installations: SmartSpace. Our framework aims at supporting decisions of …

In this report, we present some spatio-temporal operators for our BeSpaceD framework. We
port operators known from functional programming languages such as filtering, folding and …

We are developing the Virtual Experiences (Vx) Lab, a research and research training
infrastructure and capability platform for global collaboration. VxLab comprises labs with …

We describe our formal methods-based spatial reasoning framework BeSpaceD and its
application in decision support for industrial automation. In particular we are supporting …

This report gives an overview of our efforts towards a formalization for a food processing
demonstrator plant. Our BeSpaceD framework is used for the formalization. The …