Demo Abstract: Contract-based Hierarchical Resilience Framework for Cyber-Physical Systems

04/09/2020

∙

by   Daniel Jun Xian Ng, et al.

∙

0

∙

share

This demonstration presents a framework for building a resilient Cyber-Physical Systems (CPS) cyber-infrastructure through the use of hierarchical parametric assume-guarantee contracts. A Fischertechnik Sorting Line with Color Detection training model is used to showcase our framework.