검색결과 : 1건
| No. | Article |
|---|---|
| 1 |
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach Shoukry Y, Nuzzo P, Puggelli A, Sangiovanni-Vincentelli AL, Seshia SA, Tabuada P IEEE Transactions on Automatic Control, 62(10), 4917, 2017 |