Navid Hashemi

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 34

Top Topics

Semidefinite Program

Convex Optimization

Top Venues

IEEE Control. Syst. Lett.

Publications

Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift. CoRR (2024)
Navid Hashemi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
Scaling Learning based Policy Optimization for Temporal Tasks via Dropout. CoRR (2024)
Navid Hashemi, Xin Qin, Lars Lindemann, Jyotirmoy V. Deshmukh
Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference. CoRR (2023)
Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems. ICCPS (2023)
Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. ACC (2023)
Navid Hashemi, Justin Ruths, Jyotirmoy V. Deshmukh
Convex Optimization-Based Policy Adaptation to Compensate for Distributional Shifts. CDC (2023)
Navid Hashemi, Justin Ruths, Jyotirmoy V. Deshmukh
Convex Optimization-based Policy Adaptation to Compensate for Distributional Shifts. CoRR (2023)
Navid Hashemi, Xin Qin, Lars Lindemann, Jyotirmoy V. Deshmukh
Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference. CDC (2023)
Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
Conformance Testing for Stochastic Cyber-Physical Systems. CoRR (2023)
Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
Conformance Testing for Stochastic Cyber-Physical Systems. FMCAD (2023)
Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems. CoRR (2023)
Navid Hashemi, Justin Ruths
Codesign for Resilience and Performance. IEEE Trans. Control. Netw. Syst. 10 (3) (2023)
Venkatraman Renganathan, Navid Hashemi, Justin Ruths, Tyler H. Summers
Higher-Order Moment-Based Anomaly Detection. IEEE Control. Syst. Lett. 6 (2022)
Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. CoRR (2022)
David Umsonst, Navid Hashemi, Henrik Sandberg, Justin Ruths
Practical Detectors to Identify Worst-Case Attacks. CCTA (2022)
Navid Hashemi, Justin Ruths, Mahyar Fazlyab
Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization. L4DC (2021)
Navid Hashemi, Mahyar Fazlyab, Justin Ruths
Performance Bounds for Neural Network Estimators: Applications in Fault Detection. ACC (2021)
Navid Hashemi, Mahyar Fazlyab, Justin Ruths
Performance Bounds for Neural Network Estimators: Applications in Fault Detection. CoRR (2021)
Navid Hashemi, Justin Ruths
Generalized Outer Bounds on the Finite Geometric Sum of Ellipsoids. CoRR (2021)
Venkatraman Renganathan, Navid Hashemi, Justin Ruths, Tyler H. Summers
Distributionally Robust Tuning of Anomaly Detectors in Cyber-Physical Systems with Stealthy Attacks. ACC (2020)
Navid Hashemi, Justin Ruths
Co-design for Security and Performance: Geometric Tools. CoRR (2020)
Venkatraman Renganathan, Navid Hashemi, Justin Ruths, Tyler H. Summers
Higher-Order Moment-Based Anomaly Detection. CoRR (2020)
Navid Hashemi, Justin Ruths
Gain Design via LMIs to Minimize the Impact of Stealthy Attacks. ACC (2020)
Navid Hashemi, Justin Ruths, Mahyar Fazlyab
Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization. CoRR (2020)
Babak Sakhaei, Mohammad Durali, Navid Hashemi
Vibration transfer path analysis and path ranking for NVH optimization of a vehicle interior. CoRR (2020)
Navid Hashemi, Eduardo Verdugo German, Jonatan Pena Ramirez, Justin Ruths
Filtering Approaches for Dealing with Noise in Anomaly Detection. CoRR (2019)
Navid Hashemi, Eduardo Verdugo German, Jonatan Pena Ramirez, Justin Ruths
Filtering Approaches for Dealing with Noise in Anomaly Detection. CDC (2019)
Navid Hashemi, Justin Ruths
Gain Design via LMIs to Minimize the Impact of Stealthy Attacks. CoRR (2019)
Navid Hashemi, Justin Ruths
Generalized chi-squared detector for LTI systems with non-Gaussian noise. ACC (2019)
Navid Hashemi, Justin Ruths
Generalized chi-squared detector for LTI systems with non-Gaussian noise. CoRR (2019)
Venkatraman Renganathan, Navid Hashemi, Justin Ruths, Tyler H. Summers
Distributionally Robust Tuning of Anomaly Detectors in Cyber-Physical Systems with Stealthy Attacks. CoRR (2019)
Sahand Hadizadeh Kafash, Navid Hashemi, Carlos Murguia, Justin Ruths
Constraining Attackers and Enabling Operators via Actuation Limits. CDC (2018)
Navid Hashemi, Carlos Murguia, Justin Ruths
A Comparison of Stealthy Sensor Attacks on Control Systems. ACC (2018)
Navid Hashemi, Carlos Murguia, Justin Ruths
A Comparison of Stealthy Sensor Attacks on Control Systems. CoRR (2017)