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.
| Original language | English |
|---|---|
| Title of host publication | ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems |
| Editors | Gowri Sankar Ramachandran, Jorge Ortiz |
| Publisher | Association for Computing Machinery, Inc |
| Pages | 324-325 |
| Number of pages | 2 |
| ISBN (Electronic) | 9781450362856 |
| DOIs | |
| Publication status | Published - Apr 16 2019 |
| Externally published | Yes |
| Event | 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, part of the 2019 CPS-IoT Week - Montreal, Canada Duration: Apr 16 2019 → Apr 18 2019 |
Publication series
| Name | ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems |
|---|
Conference
| Conference | 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, part of the 2019 CPS-IoT Week |
|---|---|
| Country/Territory | Canada |
| City | Montreal |
| Period | 4/16/19 → 4/18/19 |
Bibliographical note
Publisher Copyright:© 2019 Copyright held by the owner/author(s).
ASJC Scopus Subject Areas
- Computer Networks and Communications
- Hardware and Architecture
Keywords
- Assume-Guarantee Contracts
- Cyber-Physical Systems
- Reliability