论文标题
演示摘要：基于合同的网络物理系统的分层弹性框架
Demo Abstract: Contract-based Hierarchical Resilience Framework for Cyber-Physical Systems
论文作者
论文摘要
该演示提供了一个框架，用于通过使用层次参数假设合同来建立弹性的网络物理系统（CPS）网络基础结构。具有颜色检测训练模型的Fischertechnik排序线用于展示我们的框架。
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.
