Distributed systems are comprised of multiple subsystems that interact in two distinct ways: (1) physical interactions and (2) cyber interactions; i.e. sensors, actuators and computers controlling these subsystems, and the network over which they communicate.
The Internet of Things (IoT) is becoming an attractive system paradigm, in which physical perceptions, cyber interactions, social correlations, and even cognitive thinking can be intertwined in the ubiquitous things' interconnections.
Enterprises and organizations, public or private, rightly need to exert due diligence in defining their cyber interactions and vulnerabilities and cost-effectively mitigate risk.
All these problems face two key challenges: first, how to design RC algorithms that consider the cyber-physical interactions, and especially the stochastic hybrid dynamics that results from security and reliability failures?
As concurrency and distributed behavior become ubiquitous in system design, faults due to networks, latency and cyber-physical interactions gain importance and detecting faults in pre-deployment stages becomes essential.
Fast thermal mapping techniques on the other hand may rely on wrong assumptions (e.g., steady state) and thusly produce incorrect conclusions or they can be unusable because of cyber-physical interactions that rely on transient phenomena (e.g., transient hot spots that cause throttling).
Energy re-use in computing systems derives from the cyber-physical interactions of IT resources and cooling of large-scale IT centers [1].
He and his team plan to exploit physical phenomena present in any interaction between cyber and physical worlds to derive resilient cyber-physical components with strong formal performance and resiliency guarantees.
For cyber-physical systems (CPS) that involve interaction between the "cyber" and the physical processes, the current nonlinear control theory is insufficient to addressing design challenges arising from CPSs and many related engineering applications.
First, it allows rapid recreation of message-based interactions between cyber and physical entities.
