20 citations · 60 across the 7 of their papers we have counts for
5 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…
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…
Contract-based Hierarchical Resilience Management for Cyber-Physical Systems
Mohammad Shihabul Haque, Daniel Jun Xian Ng, Arvind Easwaran +1
Orchestrated collaborative effort of physical and cyber components to satisfy given requirements is the central concept behind Cyber-Physical Systems (CPS). To duly ensure the perf…