4 papers
An Introduction to PMU-Defect-Robust Power Domination: Bounds, Bipartites, and Block Graphs
Beth Bjorkman, Esther Conrad, Mary Flagg
Sensors called phasor measurement units (PMUs) are used to monitor the electric power network. The power domination problem seeks to minimize the number of PMUs needed to monitor t…
Introduction to Robust Power Domination
Beth Bjorkman, Esther Conrad
Sensors called phasor measurement units (PMUs) are used to monitor the electric power network. The power domination problem seeks to minimize the number of PMUs needed to monitor t…
Positive Semidefinite Initial Cost Product Throttling
Esther Conrad
Product throttling answers the question of minimizing the product of the resources needed to accomplish a task, and the time in which it takes to accomplish the task. In product th…
A Compositional Proof Framework for FRETish Requirements
Esther Conrad, Laura Titolo, Dimitra Giannakopoulou +2
Structured natural languages provide a trade space between ambiguous natural languages that make up most written requirements and mathematical formal specifications such as Linear…