Navid Hashemi

According to our database, Navid Hashemi authored at least 23 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., November, 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., October, 2024

Scaling Learning based Policy Optimization for Temporal Tasks via Dropout.

Navid Hashemi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh

CoRR, 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

Proceedings of the Runtime Verification - 24th International Conference, 2024

2023

Codesign for Resilience and Performance.

Navid Hashemi, Justin Ruths

IEEE Trans. Control. Netw. Syst., September, 2023

A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems.

Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Conformance Testing for Stochastic Cyber-Physical Systems.

Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh

Proceedings of the Formal Methods in Computer-Aided Design, 2023

Convex Optimization-Based Policy Adaptation to Compensate for Distributional Shifts.

Navid Hashemi, Justin Ruths, Jyotirmoy V. Deshmukh

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference.

Navid Hashemi, Xin Qin, Lars Lindemann, Jyotirmoy V. Deshmukh

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

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

Proceedings of the American Control Conference, 2023

2022

Higher-Order Moment-Based Anomaly Detection.

Venkatraman Renganathan, Navid Hashemi, Justin Ruths, Tyler H. Summers

IEEE Control. Syst. Lett., 2022

Practical Detectors to Identify Worst-Case Attacks.

David Umsonst, Navid Hashemi, Henrik Sandberg, Justin Ruths

Proceedings of the IEEE Conference on Control Technology and Applications, 2022

2021

Generalized Outer Bounds on the Finite Geometric Sum of Ellipsoids.

Navid Hashemi, Justin Ruths

CoRR, 2021

Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization.

Navid Hashemi, Justin Ruths, Mahyar Fazlyab

Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021

Performance Bounds for Neural Network Estimators: Applications in Fault Detection.

Navid Hashemi, Mahyar Fazlyab, Justin Ruths

Proceedings of the 2021 American Control Conference, 2021

2020

Vibration transfer path analysis and path ranking for NVH optimization of a vehicle interior.

Babak Sakhaei, Mohammad Durali, Navid Hashemi

CoRR, 2020

Co-design for Security and Performance: Geometric Tools.

Navid Hashemi, Justin Ruths

CoRR, 2020

Distributionally Robust Tuning of Anomaly Detectors in Cyber-Physical Systems with Stealthy Attacks.

Venkatraman Renganathan, Navid Hashemi, Justin Ruths, Tyler H. Summers

Proceedings of the 2020 American Control Conference, 2020

Gain Design via LMIs to Minimize the Impact of Stealthy Attacks.

Navid Hashemi, Justin Ruths

Proceedings of the 2020 American Control Conference, 2020

2019

Filtering Approaches for Dealing with Noise in Anomaly Detection.

Navid Hashemi, Eduardo Verdugo German, Jonatan Pena Ramirez, Justin Ruths

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Generalized chi-squared detector for LTI systems with non-Gaussian noise.

Navid Hashemi, Justin Ruths

Proceedings of the 2019 American Control Conference, 2019

2018

Constraining Attackers and Enabling Operators via Actuation Limits.

Sahand Hadizadeh Kafash, Navid Hashemi, Carlos Murguia, Justin Ruths

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

A Comparison of Stealthy Sensor Attacks on Control Systems.

Navid Hashemi, Carlos Murguia, Justin Ruths

Proceedings of the 2018 Annual American Control Conference, 2018