Demo Abstract: Contract-based Hierarchical Resilience Framework for Cyber-Physical Systems
classification
💻 cs.SE
keywords
frameworkcyber-physicalhierarchicalsystemsabstractassume-guaranteebuildingcolor
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.