A Comparison of Stealthy Sensor Attacks on Control Systems. - Navid Hashemi; Carlos Murguia; Justin Ruths (ACC, 2018)

Constraining Attackers and Enabling Operators via Actuation Limits. - Sahand Hadizadeh Kafash; Navid Hashemi; Carlos Murguia; Justin Ruths (CDC, 2018)

Generalized chi-squared detector for LTI systems with non-Gaussian noise. - Navid Hashemi; Justin Ruths (ACC, 2019)

Filtering Approaches for Dealing with Noise in Anomaly Detection. - Navid Hashemi; Eduardo Verdugo German; Jonatan Pena Ramirez; Justin Ruths (CDC, 2019)

Gain Design via LMIs to Minimize the Impact of Stealthy Attacks. - Navid Hashemi; Justin Ruths (ACC, 2020)

Distributionally Robust Tuning of Anomaly Detectors in Cyber-Physical Systems with Stealthy Attacks. - Venkatraman Renganathan; Navid Hashemi; Justin Ruths; Tyler H. Summers (ACC, 2020)

Co-design for Security and Performance: Geometric Tools. - Navid Hashemi; Justin Ruths (CoRR, 2020)

Vibration transfer path analysis and path ranking for NVH optimization of a vehicle interior. - Babak Sakhaei; Mohammad Durali; Navid Hashemi (CoRR, 2020)

Performance Bounds for Neural Network Estimators: Applications in Fault Detection. - Navid Hashemi; Mahyar Fazlyab; Justin Ruths (ACC, 2021)

Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization. - Navid Hashemi; Justin Ruths; Mahyar Fazlyab (L4DC, 2021)

Generalized Outer Bounds on the Finite Geometric Sum of Ellipsoids. - Navid Hashemi; Justin Ruths (CoRR, 2021)

Practical Detectors to Identify Worst-Case Attacks. - David Umsonst; Navid Hashemi; Henrik Sandberg; Justin Ruths (CCTA, 2022)

Higher-Order Moment-Based Anomaly Detection. - Venkatraman Renganathan; Navid Hashemi; Justin Ruths; Tyler H. Summers (IEEE Control. Syst. Lett., 2022)

Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. - Navid Hashemi; Xin Qin; Jyotirmoy V. Deshmukh; Georgios Fainekos; Bardh Hoxha; Danil V. Prokhorov; Tomoya Yamaguchi 001 (ACC, 2023)

Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference. - Navid Hashemi; Xin Qin; Lars Lindemann; Jyotirmoy V. Deshmukh (CDC, 2023)

Convex Optimization-Based Policy Adaptation to Compensate for Distributional Shifts. - Navid Hashemi; Justin Ruths; Jyotirmoy V. Deshmukh (CDC, 2023)

Conformance Testing for Stochastic Cyber-Physical Systems. - Xin Qin; Navid Hashemi; Lars Lindemann; Jyotirmoy V. Deshmukh (FMCAD, 2023)

A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems. - Navid Hashemi; Bardh Hoxha; Tomoya Yamaguchi 001; Danil V. Prokhorov; Georgios Fainekos; Jyotirmoy Deshmukh (ICCPS, 2023)

Codesign for Resilience and Performance. - Navid Hashemi; Justin Ruths (IEEE Trans. Control. Netw. Syst., 2023)

LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers. - Navid Hashemi; Samuel Williams; Bardh Hoxha; Danil V. Prokhorov; Georgios Fainekos; Jyotirmoy Deshmukh (ADHS, 2024)

Sampling-Based and Gradient-Based Efficient Scenario Generation. - Vidisha Kudalkar; Navid Hashemi; Shilpa Mukhopadhyay; Swapnil Mallick; Christof J. Budnik; Parinitha Nagaraja; Jyotirmoy V. Deshmukh (RV, 2024)

Scaling Learning based Policy Optimization for Temporal Tasks via Dropout. - Navid Hashemi; Bardh Hoxha; Danil V. Prokhorov; Georgios Fainekos; Jyotirmoy Deshmukh (CoRR, 2024)

Scaling Learning-based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout. - Navid Hashemi; Bardh Hoxha; Danil V. Prokhorov; Georgios Fainekos; Jyotirmoy V. Deshmukh (ACM Trans. Cyber Phys. Syst., 2024)

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems Under Distribution Shift. - Navid Hashemi; Lars Lindemann; Jyotirmoy V. Deshmukh (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis. - Navid Hashemi; Lars Lindemann; Jyotirmoy V. Deshmukh (NeuS, 2025)