169 citations · 228 across the 13 of their papers we have counts for
14 papers
Satisfiability.jl: Satisfiability Modulo Theories in Julia
Emiko Soroka, Mykel J. Kochenderfer, Sanjay Lall
Satisfiability modulo theories (SMT) is a core tool in formal verification. While the SMT-LIB specification language can be used to interact with theorem proving software, a high-l…
Optimal Dorfman Group Testing for Symmetric Distributions
Nicholas C. Landolfi, Sanjay Lall
We study Dorfman's classical group testing protocol in a novel setting where individual specimen statuses are modeled as exchangeable random variables. We are motivated by infectio…
Probabilistic Modeling Using Tree Linear Cascades
Nicholas C. Landolfi, Sanjay Lall
We introduce tree linear cascades, a class of linear structural equation models for which the error variables are uncorrelated but need not be Gaussian nor independent. We show tha…
Resistance Distance and Control Performance for bittide Synchronization
Sanjay Lall, Calin Cascaval, Martin Izzard +1
We discuss control of bittide distributed systems, which are designed to provide logical synchronization between networked machines by observing data flow rates between adjacent sy…
Modeling and Control of bittide Synchronization
Sanjay Lall, Calin Cascaval, Martin Izzard +1
Distributed system applications rely on a fine-grain common sense of time. Existing systems maintain the common sense of time by keeping each independent machine as close as possib…
Shape-Based Approach to Household Load Curve Clustering and Prediction
Thanchanok Teeraratkul, Daniel O'Neill, Sanjay Lall
Consumer Demand Response (DR) is an important research and industry problem, which seeks to categorize, predict and modify consumer's energy consumption. Unfortunately, traditional…