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
402018
Certifying incremental quadratic constraints for neural networks via convex optimization
N Hashemi, J Ruths, M Fazlyab
Learning for Dynamics and Control, 842-853, 2021
172021
Co-design for resilience and performance
N Hashemi, J Ruths
IEEE Transactions on Control of Network Systems, 2022
14*2022
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
Generalized chi-squared detector for LTI systems with non-Gaussian noise
N Hashemi, J Ruths
IEEE 2019 American Control Conference (ACC), 404-410, 2019
132019
Higher-order moment-based anomaly detection
V Renganathan, N Hashemi, J Ruths, TH Summers
IEEE Control Systems Letters 6, 211-216, 2021
122021
Gain design via LMIs to minimize the impact of stealthy attacks
N Hashemi, J Ruths
2020 American Control Conference (ACC), 1274-1279, 2020
122020
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
82019
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
62023
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
32023
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
22023
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
22021
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
Scaling Learning based Policy Optimization for Temporal Tasks via Dropout
N Hashemi, B Hoxha, D Prokhorov, G Fainekos, J Deshmukh
arXiv preprint arXiv:2403.15826, 2024
2024
Convex Optimization-based Policy Adaptation to Compensate for Distributional Shifts
N Hashemi, J Ruths, JV Deshmukh
2023 62nd IEEE Conference on Decision and Control (CDC), 5376-5383, 2023
2023
Conformance testing for stochastic cyber-physical systems
X Qin, N Hashemi, L Lindemann, JV Deshmukh
CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023, 294, 2023
2023
Scaling Safe Learning-based Control to Long-Horizon Temporal Tasks
N Hashemi, B Hoxha, DV Prokhorov, G Fainekos, JV Deshmukh
2023
The system can't perform the operation now. Try again later.
Articles 1–19