Publications

Pre-prints

• Samanipour, P.; Poonawala, H.A.;, “SEROAISE Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets”, Automatica, 2025, (arXiv).

Under Review

• Samanipour, P.; Roghanchi, P.; Poonawala, H.A.;, “Solver-Free Verification of Neural Barrier Certificates via LP-Free ReLU Region Enumeration”, Neurips, 2026.

Published

• [2026 Journal] Syed Ibn Mohsin, Fazleena Badurdeen, Hasan A. Poonawala, James Caudill, Raymond Brennan, I.S. Jawahir, “Acoustic emission-based deep learning for real-time defect detection in additive friction stir deposition”, Advanced Manufacturing Technology, 2026.

• [2026 Conf] Samanipour, P.; Poonawala, H.A.;, “ReLU Barrier Functions for Nonlinear Systems with Constrained Control: A Union of Invariant Sets Approach”, American Control Conference, 2026, (arXiv).

• [2025 Conf] Katherine Zhang; Hasan Poonawala, “Optimizing Edge-AI on the ESP32-S3 Using SIMD”, IEEE International Performance, Computing, and Communications Conference, 2025.

• [2025 Journal] Poonawala, H.A.;, “Guaranteed obstacle avoidance of convex objects in 2D without object tracking, environment mapping, or stopping”, IEEE Control Systems Letters, 2025, (Pre-print).

• [2025 Journal] Benton Clark, Syed Ibn Mohsin, Hasan A. Poonawala, Fazleena Badurdeen, Raymond Brennan, I.S. Jawahir, “Real-Time In-Situ Defect Detection via Multi-Modal Waveform Classification for Wire Arc Additive Manufacturing”, Intelligent Manufacturing, 2025.

• [2025 Journal] Samanipour; P.; Poonawala, H.A.;, “Invariant Set Estimation for Piecewise Affine Dynamical Systems Using Piecewise Affine Barrier Function”, European Journal of Control, 2025, (arXiv).

• [2024 Journal] Clark, B.; Poonawala, H.A.;, “A Monotonicity Framework for Stability Verification of Planar Path-Following Controllers”, IEEE Control Systems Letters, 2024, (Pre-print).

• [2024 Conf] Christopher Dagher, Aykut C. Satici, Hasan A. Poonawala, “Guided Policy Search to Stabilize Contact Motion Plans for Robotic Manipulation”, IFAC Modeling, Estimation and Control Conference, 2024.

• [2023 Journal] Clark, B.; Schoop, J.; Poonawala, H.A.;, “Digital Process Twins- A Modular Approach for Surface Conditioning and Process Optimization”, Production Engineering, 2023.

• [2023 Conf] Samanipour; P.; Poonawala, H.A.;, “Automated Stability Analysis of Piecewise Affine Dynamics Using Vertices”, Allerton Conference, 2023, (Pre-print), (arXiv).

• [2023 Journal] Samanipour; P.; Poonawala, H.A.;, “Stability analysis and control using single-hidden-layer ReLU neural networks”, IEEE Transactions on Automatic Control, 2023, (Pre-print).

• [2023 Conf] Clark, B.; Hariprasad, V.; Poonawala, H.A.;, “Provably Correct Sensor-driven Path-following for Unicycles using Monotonic Score Functions”, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2023, (arXiv).

• [2023 Journal] Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen, “Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions”, J. Artif. Intell. Res., 2023.

• [2022 Conf] Thom S. Badings Alessandro Abate; Nils Jansen; David Parker; Hasan A. Poonawala; and Marielle Stoelinga;, “Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise”, AAAI Conference on Artificial Intelligence, 2022.

• [2021 Journal] Fugal, J.; Bae, J.; Poonawala, H.A.;, “On the impact of gravity compensation on reinforcement learning in goal-reaching tasks for robotic manipulators.”, Journal of Robotics, 2021.

• [2021 Journal] Poonawala, H.A.; Lauffer, N.;Topcu, U.;, “Training Classifiers For Feedback Control With Safety In Mind”, Automatica, 2021, (Pre-print).

• [2021 Journal] Schoop, J.; Poonawala, H.A.; Adeniji, D.; Clark, B.;, “AI-enabled Dynamic Finish Machining Optimization for Sustained Surface Integrity”, Manufacturing Letters, 2021.

• [2021 Journal] Poonawala, H.A.;, “Stability Analysis of Conewise Affine Dynamical Systems Using Conewise Linear Lyapunov Functions”, Letters of the Control Systems Society, 2021, (Pre-print).

• [2019 Conf] Poonawala, H.A., “Stability Analysis Via Refinement Of Piece-wise Linear Lyapunov Functions”, IEEE Conference on Decision and Control (CDC), 2019, (Pre-print).

• [2019 Conf] Poonawala, H.A.; Lauffer, N.; Topcu, U., “Training Classifiers For Feedback Control”, American Control Conference (ACC), 2019, (arXiv).

• [2019 Conf] Bharadwaj, S.; Carr, S; Neogi, N.; Poonawala, H.A.; Chueca, A.B.; Topcu, U., “Traffic Management for Urban Air Mobility Applications”, NASA Formal Methods Conference, 2019.