activity
20162026
most citedVerifying Controllers Against Adversarial Examples with Bayesian Optimization

29 citations · 77 across the 21 of their papers we have counts for

collaborators
Showing eess.SYShow all

5 papers · 1 filter

eess.SY2018

Exact minimum number of bits to stabilize a linear system

Victoria Kostina, Yuval Peres, Gireeja Ranade +1

We consider an unstable scalar linear stochastic system, , where is the system gain, 's are independent random variables with bounded …

eess.SY2018★ 1 cited

Stabilizing a system with an unbounded random gain using only a finite number of bits

Victoria Kostina, Yuval Peres, Gireeja Ranade +1

We study the stabilization of an unpredictable linear control system where the controller must act based on a rate-limited observation of the state. More precisely, we consider the…

eess.SY2018

Stabilizing a linear system using phone calls when time is information

Mohammad Javad Khojasteh, Massimo Franceschetti, Gireeja Ranade

We consider the problem of stabilizing an undisturbed, scalar, linear system over a "timing" channel, namely a channel where information is communicated through the timestamps of t…

eess.SY2018★ 29 cited

Verifying Controllers Against Adversarial Examples with Bayesian Optimization

Shromona Ghosh, Felix Berkenkamp, Gireeja Ranade +2

Recent successes in reinforcement learning have lead to the development of complex controllers for real-world robots. As these robots are deployed in safety-critical applications a…

eess.SY2016★ 2 cited

When multiplicative noise stymies control

Jian Ding, Yuval Peres, Gireeja Ranade +1

We consider the stabilization of an unstable discrete-time linear system that is observed over a channel corrupted by continuous multiplicative noise. Our main result shows that if…