Cloud computing as a new internet-based computing model provides different resources as
a service dynamically. Today, cloud computing is actually one of the main improvements in …

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 …

Industrial Cyber-Physical System applications, especially distributed ones are designed and
implemented in many standard approaches, one of them being IEC 61499 distributed …

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 …

Abstract IEC 61499 Standard for Function Blocks Architecture is an executable component
model for distributed embedded control system design that combines block-diagrams and …

In this paper a new modelling approach is presented to be used for formal-verification of
block-diagram executable specifications of distributed industrial cyber-physical systems …

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 …

This paper presents a model-checking framework for the purpose of design and
implementation of robust smart grid applications based on distributed intelligence. The …

One of the most hyped concepts in the manufacturing industry is 'Industry 4.0'. The 'Industry
4.0'concept is grabbing the attention of every manufacturing industry across the globe …

In this chapter, we explain the significance and need for a spiritual approach among techies
that would help them be human-centric, compassionate and value-based for sustainable …