Follow
Navid Hashemi
Title
Cited by
Cited by
Year
A comparison of stealthy sensor attacks on control systems
N Hashemi, C Murguia, J Ruths
IEEE 2018 Annual American Control Conference (ACC), 973-979, 2018
412018
Certifying incremental quadratic constraints for neural networks via convex optimization
N Hashemi, J Ruths, M Fazlyab
Learning for Dynamics and Control, 842-853, 2021
262021
Codesign for resilience and performance
N Hashemi, J Ruths
IEEE Transactions on Control of Network Systems 10 (3), 1387-1399, 2022
18*2022
Generalized chi-squared detector for LTI systems with non-Gaussian noise
N Hashemi, J Ruths
IEEE 2019 American Control Conference (ACC), 404-410, 2019
162019
Higher-order moment-based anomaly detection
V Renganathan, N Hashemi, J Ruths, TH Summers
IEEE Control Systems Letters 6, 211-216, 2021
152021
Constraining attackers and enabling operators via actuation limits
SH Kafash, N Hashemi, C Murguia, J Ruths
2018 IEEE Conference on Decision and Control (CDC), 4535-4540, 2018
142018
Distributionally Robust Tuning of Anomaly Detectors in Cyber-Physical Systems with Stealthy Attacks
V Renganathan, N Hashemi, J Ruths, TH Summers
IEEE 2020 American Control Conference (ACC), 1247-1252, 2020
132020
Gain design via LMIs to minimize the impact of stealthy attacks
N Hashemi, J Ruths
2020 American Control Conference (ACC), 1274-1279, 2020
132020
Filtering Approaches for Dealing with Noise in Anomaly Detection
N Hashemi, EV German, JP Ramirez, J Ruths
2019 IEEE 58th Conference on Decision and Control (CDC), 5356-5361, 2019
122019
Data-driven reachability analysis of stochastic dynamical systems with conformal inference
N Hashemi, X Qin, L Lindemann, JV Deshmukh
2023 62nd IEEE Conference on Decision and Control (CDC), 3102-3109, 2023
112023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
N Hashemi, B Hoxha, T Yamaguchi, D Prokhorov, G Fainekos, ...
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical …, 2023
102023
Risk-awareness in learning neural controllers for temporal logic objectives
N Hashemi, X Qin, JV Deshmukh, G Fainekos, B Hoxha, D Prokhorov, ...
2023 American Control Conference (ACC), 4096-4103, 2023
82023
Scaling Learning-based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
N Hashemi, B Hoxha, D Prokhorov, G Fainekos, JV Deshmukh
ACM Transactions on Cyber-Physical Systems 8 (4), 1-28, 2024
42024
Conformance Testing for Stochastic Cyber-Physical Systems.
X Qin, N Hashemi, L Lindemann, JV Deshmukh
FMCAD, 294-305, 2023
32023
Performance Bounds for Neural Network Estimators: Applications in Fault Detection
N Hashemi, M Fazlyab, J Ruths
IEEE 2021 American Control Conference (ACC), 3260-3266, 2021
32021
Statistical reachability analysis of stochastic cyber-physical systems under distribution shift
N Hashemi, L Lindemann, JV Deshmukh
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2024
12024
LB4TL: A smooth semantics for temporal logic to train neural feedback controllers
N Hashemi, S Williams, B Hoxha, D Prokhorov, G Fainekos, J Deshmukh
IFAC-PapersOnLine 58 (11), 183-188, 2024
12024
Practical detectors to identify worst-case attacks
D Umsonst, N Hashemi, H Sandberg, J Ruths
2022 IEEE Conference on Control Technology and Applications (CCTA), 197-204, 2022
12022
Generalized outer bounds on the finite geometric sum of ellipsoids
N Hashemi, J Ruths
arXiv preprint arXiv:2006.08739, 2020
12020
Sampling-Based and Gradient-Based Efficient Scenario Generation
V Kudalkar, N Hashemi, S Mukhopadhyay, S Mallick, C Budnik, ...
International Conference on Runtime Verification, 70-88, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20