Hasan A. Poonawala

35 papers A* 1A 2C 4Journal 21Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
ReLU Barrier Functions for Nonlinear Systems with Constrained Control: A Union of Invariant Sets Approach.
CoRR
Pouya Samanipour, Hasan A. Poonawala
2026 J jnl
Real-time in-situ defect detection via multi-modal classification of waveforms for wire arc additive manufacturing.
J. Intell. Manuf.
Benton Clark, Syed Ibn Mohsin, Hasan A. Poonawala, Fazleena Badurdeen, Raymond Brennan, I. S. Jawahir
2025 J jnl
Geometric Conditions for Lossless Convexification in Fuel-Optimal Control of Linear Systems with Discrete-Valued Inputs.
CoRR
Felipe Arenas-Uribe, Hasan A. Poonawala, Jesse B. Hoagg
2025 J jnl
Guaranteed Obstacle Avoidance of Convex Objects in 2-D Without Object Tracking, Environment Mapping, or Stopping.
IEEE Control. Syst. Lett.
Hasan A. Poonawala
2024 J jnl
A Monotonicity Framework for Stability Verification of Planar Path-Following Controllers.
IEEE Control. Syst. Lett.
Benton Clark, Hasan A. Poonawala
2024 J jnl
Invariant Set Estimation for Piecewise Affine Dynamical Systems Using Piecewise Affine Barrier Function.
CoRR
Pouya Samanipour, Hasan A. Poonawala
2024 J jnl
Stability Analysis and Controller Synthesis Using Single-Hidden-Layer ReLU Neural Networks.
IEEE Trans. Autom. Control.
Pouya Samanipour, Hasan A. Poonawala
2023 — conf
Automated Stability Analysis of Piecewise Affine Dynamics Using Vertices.
Allerton
Pouya Samanipour, Hasan A. Poonawala
2023 J jnl
Automated Stability Analysis of Piecewise Affine Dynamics Using Vertices.
CoRR
Pouya Samanipour, Hasan A. Poonawala
2023 A conf
Provably Correct Sensor-Driven Path-Following for Unicycles Using Monotonic Score Functions.
IROS
Benton Clark, Varun Hariprasad, Hasan A. Poonawala
2023 J jnl
Provably Correct Sensor-driven Path-following for Unicycles using Monotonic Score Functions.
CoRR
Benton Clark, Varun Hariprasad, Hasan A. Poonawala
2023 J jnl
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions.
CoRR
Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
2023 J jnl
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions.
J. Artif. Intell. Res.
Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
2022 A* conf
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise.
AAAI
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
2021 J jnl
Correct-by-construction reach-avoid control of partially observable linear stochastic systems.
CoRR
Thom Badings, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
2021 J jnl
On the Impact of Gravity Compensation on Reinforcement Learning in Goal-Reaching Tasks for Robotic Manipulators.
Robotics
Jonathan Fugal, Jihye Bae, Hasan A. Poonawala
2021 J jnl
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise.
CoRR
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
2021 C conf
Stability Analysis of Conewise Affine Dynamical Systems Using Conewise Linear Lyapunov Functions.
ACC
Hasan A. Poonawala
2021 J jnl
Stability Analysis of Conewise Affine Dynamical Systems Using Conewise Linear Lyapunov Functions.
IEEE Control. Syst. Lett.
Hasan A. Poonawala
2021 J jnl
Training classifiers for feedback control with safety in mind.
Autom.
Hasan A. Poonawala, Niklas T. Lauffer, Ufuk Topcu
2019 — conf
Stability Analysis Via Refinement Of Piece-wise Linear Lyapunov Functions.
CDC
Hasan A. Poonawala
2019 C conf
Training Classifiers For Feedback Control.
ACC
Hasan A. Poonawala, Niklas T. Lauffer, Ufuk Topcu
2017 A conf
Classification error correction: A case study in brain-computer interfacing.
IROS
Hasan A. Poonawala, Mohammed Alshiekh, Scott Niekum, Ufuk Topcu
2017 C conf
On maintaining visibility in multi-robot-networks with limited field-of-view sensors.
ACC
Hasan A. Poonawala, Mark W. Spong
2017 J jnl
Preserving Strong Connectivity in Directed Proximity Graphs.
IEEE Trans. Autom. Control.
Hasan A. Poonawala, Mark W. Spong
2017 — conf
Robustness of classifier-in-the-loop control systems: A hybrid-systems approach.
CDC
Hasan A. Poonawala, Ufuk Topcu
2017 — conf
Sequential Convex Programming for the Efficient Verification of Parametric MDPs.
TACAS (2)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
2017 J jnl
Sequential Convex Programming for the Efficient Verification of Parametric MDPs.
CoRR
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
2017 J jnl
Time-optimal Velocity Tracking Control for Differential Drive Robots.
CoRR
Hasan A. Poonawala, Mark W. Spong
2017 J jnl
Time-optimal velocity tracking control for differential drive robots.
Autom.
Hasan A. Poonawala, Mark W. Spong
2016 — conf
Filter-based stochastic abstractions for constrained planning with limited sensing.
CDC
Hasan A. Poonawala, Ufuk Topcu
2015 J jnl
Collision-Free Formation Control with Decentralized Connectivity Preservation for Nonholonomic-Wheeled Mobile Robots.
IEEE Trans. Control. Netw. Syst.
Hasan A. Poonawala, Aykut C. Satici, Hazen Eckert, Mark W. Spong
2015 C conf
Decentralized estimation of the algebraic connectivity for strongly connected networks.
ACC
Hasan A. Poonawala, Mark W. Spong
2015 — conf
From nonholonomy to holonomy: Time-optimal velocity control of differential drive robots.
RoMoCo
Hasan A. Poonawala, Mark W. Spong
2013 — conf
Leader-follower formation control of nonholonomic wheeled mobile robots using only position measurements.
ASCC
Hasan A. Poonawala, Aykut C. Satici, Mark W. Spong