89 citations · 103 across the 15 of their papers we have counts for
17 papers
Delay-Induced Watermarking for Detection of Replay Attacks in Linear Systems
Christoforos Somarakis, Raman Goyal, Erfaun Noorani +1
A state-feedback watermarking signal design for the detection of replay attacks in linear systems is proposed. The control input is augmented with a random time-delayed term of the…
Differential Privacy in Nonlinear Dynamical Systems with Tracking Performance Guarantees
Dhrubajit Chowdhury, Raman Goyal, Shantanu Rane
We introduce a novel approach to make the tracking error of a class of nonlinear systems differentially private in addition to guaranteeing the tracking error performance. We use f…
System Design Approach for Control of Differentially Private Dynamical Systems
Raman Goyal, Dhrubajit Chowdhury, Shantanu Rane
This paper introduces a novel approach to concurrently design dynamic controllers and correlated differential privacy noise in dynamic control systems. An increase in privacy noise…
Incentivizing Gigaton-Scale Carbon Dioxide Removal via a Climate-Positive Blockchain
Jonathan Bachman, Sujit Chakravorti, Shantanu Rane +1
A new crypto token is proposed as an incentive mechanism to remove CO2 from the atmosphere permanently at gigaton scale. The token facilitates CO2 removal (CDR) by providing financ…
CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems
Ali Shokri, Alexandre Perez, Souma Chowdhury +6
We introduce a novel approach to automatically synthesize a mathematical representation of the control algorithms implemented in industrial cyber-physical systems (CPS), given the…
Co-Design of Watermarking and Robust Control for Security in Cyber-Physical Systems
Raman Goyal, Christoforos Somarakis, Erfaun Noorani +1
This work discusses a novel framework for simultaneous synthesis of optimal watermarking signal and robust controllers in cyber-physical systems to minimize the loss in performance…