Saif R. Kazi

According to our database, Saif R. Kazi authored at least 10 papers between 2019 and 2026.

Collaborative distances:

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

2026

Real-Time Dynamic N-1 Screening: Identifying High-Risk Lines and Transformers After Common Faults.

Ayrton Almada, Laurent Pagnier, Igal Goldshtein, Saif R. Kazi, Michael Chertkov

CoRR, February, 2026

E-Globe: Scalable ε-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware Branching.

Wenting Li, Saif R. Kazi, Russell Bent, Duo Zhou, Huan Zhang

CoRR, February, 2026

2025

LEVIS: Large Exact Verifiable Input Spaces for Neural Networks.

Mohamad Fares El Hajj Chehade, Wenting Li, Brian Wesley Bell, Russell Bent, Saif R. Kazi, Hao Zhu

Proceedings of the Forty-second International Conference on Machine Learning, 2025

Optimal Trajectory Planning for Space Object Tracking with Collision-Avoidance Constraints.

Saif R. Kazi, Harsha Nagarajan, Hassan L. Hijazi, Przemek R. Wozniak

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

2024

Stochastic Finite Volume Method for Uncertainty Management in Gas Pipeline Network Flows.

Saif R. Kazi, Sidhant Misra, Svetlana Tokareva, Kaarthik Sundar, Anatoly Zlotnik

Proceedings of the 63rd IEEE Conference on Decision and Control, 2024

Dynamic Optimization and Optimal Control of Hydrogen Blending Operations in Natural Gas Networks.

Saif R. Kazi, Kaarthik Sundar, Anatoly Zlotnik

Proceedings of the American Control Conference, 2024

2023

Optimization of Hydrogen Blending in Natural Gas Networks for Carbon Emissions Reduction.

Mo Sodwatana, Saif R. Kazi, Kaarthik Sundar, Anatoly Zlotnik

Proceedings of the American Control Conference, 2023

Optimal Control of Transient Flows in Pipeline Networks with Heterogeneous Mixtures of Hydrogen and Natural Gas.

Luke S. Baker, Saif R. Kazi, Rodrigo B. Platte, Anatoly Zlotnik

Proceedings of the American Control Conference, 2023

2021

A trust region framework for heat exchanger network synthesis with detailed individual heat exchanger designs.

Saif R. Kazi, Michael Short, Lorenz T. Biegler

Comput. Chem. Eng., 2021

2019

Contact-Implicit Trajectory Optimization Using Orthogonal Collocation.

Amir Patel, Stacey Leigh Shield, Saif R. Kazi, Aaron M. Johnson, Lorenz T. Biegler

IEEE Robotics Autom. Lett., 2019