78 citations · 286 across the 24 of their papers we have counts for
7 papers · 1 filter
Monitoring Cumulative Cost Properties
Omar Al-Bataineh, Daniel Jun Xian Ng, Arvind Easwaran
This paper considers the problem of decentralized monitoring of a class of non-functional properties (NFPs) with quantitative operators, namely cumulative cost properties. The dece…
Challenges in Digital Twin Development for Cyber-Physical Production Systems
Heejong Park, Arvind Easwaran, Sidharta Andalam
The recent advancement of information and communication technology makes digitalisation of an entire manufacturing shop-floor possible where physical processes are tightly intertwi…
Online Cycle Detection for Models with Mode-Dependent Input and Output Dependencies
Heejong Park, Arvind Easwaran, Etienne Borde
In the fields of co-simulation and component-based modelling, designers import models as building blocks to create a composite model that provides more complex functionalities. Mod…
Demo Abstract: Contract-based Hierarchical Resilience Framework for Cyber-Physical Systems
Daniel Jun Xian Ng, Arvind Easwaran, Sidharta Andalam
This demonstration presents a framework for building a resilient Cyber-Physical Systems (CPS) cyber-infrastructure through the use of hierarchical parametric assume-guarantee contr…
CLAIR: A Contract-based Framework for Developing Resilient CPS Architectures
Sidharta Andalam, Daniel Jun Xian Ng, Arvind Easwaran +1
Industrial cyber-infrastructure is normally a multilayered architecture. The purpose of the layered architecture is to hide complexity and allow independent evolution of the layers…
Contract-based Methodology for Developing Resilient Cyber-Infrastructure in the Industry 4.0 Era
Sidharta Andalam, Daniel Jun Xian Ng, Arvind Easwaran +1
As the industrial cyber-infrastructure become increasingly important to realise the objectives of Industry~4.0, the consequence of disruption due to internal or external faults bec…