3 papers
eess.SY2021
Competitive Perimeter Defense on a Line
Shivam Bajaj, Eric Torng, Shaunak D. Bopardikar
We consider a perimeter defense problem in which a single vehicle seeks to defend a compact region from intruders in a one-dimensional environment parameterized by the perimeter si…
cs.DC2020
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems (Technical Report)
Vidhya Tekken Valapil, Sandeep Kulkarni, Eric Torng +1
Monitoring distributed systems to ensure their correctness is a challenging and expensive but essential problem. It is challenging because while execution of a distributed system c…
cs.DC2017
Monitoring Partially Synchronous Distributed Systems using SMT Solvers
Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep Kulkarni +2
In this paper, we discuss the feasibility of monitoring partially synchronous distributed systems to detect latent bugs, i.e., errors caused by concurrency and race conditions amon…