ESE

The intersection of dynamical systems and networks are used to model a huge variety of phenomena such as the spread of disease, multi-agent systems, opinions in social networks, and more. Many properties of these network phenomena can be understood by examining the eigenvalue spectrum of a matrix representation of the underlying graph. Using this intuition, […]

High-level synthesis has accelerated the adoption of autotuners to explore design spaces. Design-space size increases exponentially in the number of design parameters, and synthesizing a single configuration for a device-scale application easily consumes hours, so existing autotuners are frequently demonstrated with small kernels and few configurations to render the problem tractable. This dissertation shows that […]

Signal Temporal Logic (STL) is a common way to express a broad range of real-time constraints that can be imposed on control systems. Spatial robustness of STL specifications, quantifying permissible spatial perturbations, has been widely studied in the literature. However, despite the importance of various time-critical systems, temporal robustness of STL has not yet been […]

Epidemiological spreading processes constitute the core of a large number of disparate networks. In some, faster spread is desirable, in others containing the spread is critically important. We focus on understanding the spatio-temporal spread of epidemics over contact networks with the goal of facilitating or containing the spread as the case may be. In this […]