Cyber-Physical System (CPS) is a kind of large-scale and networked system that has drawn
much attention in academia recently. Existing studies provide the extent for CPS research …

This paper summarises recent developments in the application of modular formalisms to
model-based verification of industrial automation systems. The paper is a tribute to the …

This paper proposes a formal model for industrial cyber-physical systems (CPS) with
distributed control based on IEC 61499 standard and supporting time-aware computations …

Cyber-physical agnosticism (CPA) is a property of software in cyber-physical systems (CPS)
to withstand various disturbances and keep maintaining the required behaviour of the …

This paper introduces the application of formal modelling to cyber-physical systems for the
purpose of formal verification of cyber-physical agnosticism properties of decentralised …

Over the past few years, there has been a noticeable transition from centralized Industrial
Control Systems (ICS) to distributed systems. However, the challenges of distributed …

On the context of industry 4.0 there are still huge gaps, in several areas, and some scientific
and technological challenges are addressed in the domains of sensing, communication …

The growing need for smart and flexible systems in many areas of industry, such as
manufacturing, smart grids, building automation systems and others, has resulted in new …

Abstract Many applications of Cyber-Physical Systems (CPS) play a crucial role in shaping
the quality of life. The malfunction of such systems can lead to dangerous consequences …

The ever-increasing complexity of industrial control systems generates a demand for reliable
development methods. IEC 61499, a recent industrial standard, helps to develop complex …