32 citations · 92 across the 26 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
math.OC2015★ 3 cited
A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks
Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo +3
We address the problem of estimating the state of a differentially flat system from measurements that may be corrupted by an adversarial attack. In cyber-physical systems, maliciou…
math.OC2014
Secure State Estimation For Cyber Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli +3
We address the problem of detecting and mitigating the effect of malicious attacks to the sensors of a linear dynamical system. We develop a novel, efficient algorithm that uses a…