149 citations · 206 across the 29 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LG2019★ 1 cited
AReN: Assured ReLU NN Architecture for Model Predictive Control of LTI Systems
James Ferlez, Yasser Shoukry
In this paper, we consider the problem of automatically designing a Rectified Linear Unit (ReLU) Neural Network (NN) architecture that is sufficient to implement the optimal Model…
math.OC2019
Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design
Mehrdad Showkatbakhsh, Yasser Shoukry, Suhas Diggavi +1
This paper discusses the problem of estimating the state of a linear time-invariant system when some of its sensors and actuators are compromised by an adversarial agent. In the mo…