1 citations · 1 across the 8 of their papers we have counts for
15 papers
Optimal Trajectory Planning for Space Object Tracking with Collision-Avoidance Constraints
Saif R. Kazi, Harsha Nagarajan, Hassan Hijazi +1
A control optimization approach is presented for a chaser spacecraft tasked with maintaining proximity to a target space object while avoiding collisions. The target object traject…
Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification
Haoruo Zhao, Hassan Hijazi, Haydn Jones +3
Neural network verification aims at providing formal guarantees on the output of trained neural networks, to ensure their robustness against adversarial examples and enable their d…
Benchmarking Large-Scale ACOPF Solutions and Optimality Bounds
Smitha Gopinath, Hassan L. Hijazi
We present the results of a comprehensive benchmarking effort aimed at evaluating and comparing state-of-the-art open-source tools for solving the Alternating-Current Optimal Power…
Globally Optimal Boresight Alignment of UAV-LiDAR Systems
Smitha Gopinath, Hassan L. Hijazi, Adam Collins +5
In airborne light detection and ranging (LiDAR) systems, misalignments between the LiDAR-scanner and the inertial navigation system (INS) mounted on an unmanned aerial vehicle (UAV…
Verifying Global Optimality of Candidate Solutions to Polynomial Optimization Problems using a Determinant Relaxation Hierarchy
Sikun Xu, Ruoyi Ma, Daniel K. Molzahn +2
We propose a method for verifying that a given feasible point for a polynomial optimization problem is globally optimal. The approach relies on the Lasserre hierarchy and the resul…
Disjunctive linear separation conditions and mixed-integer formulations for aircraft conflict resolution
Fernando H. C. Dias, Hassan Hijazi, David Rey
We address the aircraft conflict resolution problem in air traffic control. We introduce new mixed-integer programming formulations for aircraft conflict resolution with speed, hea…