Concurrency

file

Visible to the public Reconciling Safety with the Internet for Cyber-Physical Systems

Overview. The Internet of Things (IoT) leverages Internet technology in cyber-physical systems, but the protocols and principles of the Internet were not designed for interacting with the physical world. For example, timeliness is not a factor in any widespread Internet technology, with Quality-of-Service (QoS) features having been routinely omitted for decades.

file

Visible to the public A Mathematical Theory of Cyber-Physical Systems

Overview. The fundamental challenge in cyber-physical systems is the confluence of distinct scientific and engineering models, methods, and tools for cyber and physical systems. Cyber systems are primarily about processing information, formally modeled as patterns of bits. Physical systems are primarily about structure and dynamics, the evolution of the state of the system in time. There are certainly connections between these models, methods, and tools. For example, cyber methods may be used to build simulations of physical systems, and physical systems (e.g.