A Logical Framework for Self-Optimizing Networked Cyber-Physical Systems
Abstract:
The objective of this research is to develop foundations for the newly emerging generation of Networked Cyber-Physical Systems (NCPS). NCPS present many intellectual challenges not suitably addressed by existing computing paradigms. They must achieve system-wide objectives through local, asynchronous actions, using distributed control loops through the environment.
Submitted by Minyoung Kim
on
Abstract:
The objective of this research is to develop foundations for the newly emerging generation of Networked Cyber-Physical Systems (NCPS). NCPS present many intellectual challenges not suitably addressed by existing computing paradigms. They must achieve system-wide objectives through local, asynchronous actions, using distributed control loops through the environment.
Submitted by Minyoung Kim
on