Low-power wireless communication is a central building block of cyber-physical systems
and the Internet of Things. Conventional low-power wireless protocols make avoiding packet …

Smart manufacturing aims to overcome the limitations of today's rigid assembly lines by
making the material flow and manufacturing process more flexible, versatile, and scalable …

In recent times, the functioning of various aspects of modern society—ranging from the
various infrastructural utilities such as electrical power, water to socio-economical aspects …

Modern software-intensive systems often interact with an environment whose behavior
changes over time, often unpredictably. The occurrence of changes may jeopardize their …

Low-power wireless technology promises greater flexibility and lower costs in cyber-physical
systems. To reap these benefits, communication protocols must deliver packets reliably …

Closing feedback loops fast and over long distances is key to emerging applications; for
example, robot motion control and swarm coordination require update intervals of tens of …

Formal verification is used to establish the compliance of software and hardware systems
with important classes of requirements. System compliance with functional requirements is …

In cyber-physical systems (CPS), the communication among the sensing, actuating, and
computing elements is often subject to hard real-time constraints. Real-time communication …

Numerous studies have shown that concurrent transmissions can help boost wireless
network performance despite the possibility of packet collisions. However, while these works …

While high throughput is the key for a number of important applications of sensor networks,
performance of the state-of-the-art approach is often poor in practice. This is because if even …