Hasan A. Poonawala

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 27

Top Topics

Piecewise Affine

Provably Correct

Stability Analysis

Trained Classifiers

Top Venues

IEEE Control. Syst. Lett.

Publications

Pouya Samanipour, Hasan A. Poonawala
Stability Analysis and Controller Synthesis Using Single-Hidden-Layer ReLU Neural Networks. IEEE Trans. Autom. Control. 69 (1) (2024)
Benton Clark, Hasan A. Poonawala
A Monotonicity Framework for Stability Verification of Planar Path-Following Controllers. IEEE Control. Syst. Lett. 8 (2024)
Pouya Samanipour, Hasan A. Poonawala
Invariant Set Estimation for Piecewise Affine Dynamical Systems Using Piecewise Affine Barrier Function. CoRR (2024)
Benton Clark, Varun Hariprasad, Hasan A. Poonawala
Provably Correct Sensor-Driven Path-Following for Unicycles Using Monotonic Score Functions. IROS (2023)
Benton Clark, Varun Hariprasad, Hasan A. Poonawala
Provably Correct Sensor-driven Path-following for Unicycles using Monotonic Score Functions. CoRR (2023)
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. 76 (2023)
Pouya Samanipour, Hasan A. Poonawala
Automated Stability Analysis of Piecewise Affine Dynamics Using Vertices. Allerton (2023)
Pouya Samanipour, Hasan A. Poonawala
Automated Stability Analysis of Piecewise Affine Dynamics Using Vertices. CoRR (2023)
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. CoRR (2023)
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. AAAI (2022)
Hasan A. Poonawala, Niklas T. Lauffer, Ufuk Topcu
Training classifiers for feedback control with safety in mind. Autom. 128 (2021)
Hasan A. Poonawala
Stability Analysis of Conewise Affine Dynamical Systems Using Conewise Linear Lyapunov Functions. IEEE Control. Syst. Lett. 5 (6) (2021)
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. CoRR (2021)
Hasan A. Poonawala
Stability Analysis of Conewise Affine Dynamical Systems Using Conewise Linear Lyapunov Functions. ACC (2021)
Jonathan Fugal, Jihye Bae, Hasan A. Poonawala
On the Impact of Gravity Compensation on Reinforcement Learning in Goal-Reaching Tasks for Robotic Manipulators. Robotics 10 (1) (2021)
Thom S. Badings, Nils Jansen, Hasan A. Poonawala, Mariëlle Stoelinga
Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty. CoRR (2021)
Hasan A. Poonawala
Stability Analysis Via Refinement Of Piece-wise Linear Lyapunov Functions. CDC (2019)
Hasan A. Poonawala, Niklas T. Lauffer, Ufuk Topcu
Training Classifiers For Feedback Control. ACC (2019)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. TACAS (2) (2017)
Hasan A. Poonawala, Mark W. Spong
Time-optimal Velocity Tracking Control for Differential Drive Robots. CoRR (2017)
Hasan A. Poonawala, Mark W. Spong
On maintaining visibility in multi-robot-networks with limited field-of-view sensors. ACC (2017)
Hasan A. Poonawala, Mark W. Spong
Preserving Strong Connectivity in Directed Proximity Graphs. IEEE Trans. Autom. Control. 62 (9) (2017)
Hasan A. Poonawala, Ufuk Topcu
Robustness of classifier-in-the-loop control systems: A hybrid-systems approach. CDC (2017)
Hasan A. Poonawala, Mohammed Alshiekh, Scott Niekum, Ufuk Topcu
Classification error correction: A case study in brain-computer interfacing. IROS (2017)
Hasan A. Poonawala, Mark W. Spong
Time-optimal velocity tracking control for differential drive robots. Autom. 85 (2017)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. CoRR (2017)
Hasan A. Poonawala, Ufuk Topcu
Filter-based stochastic abstractions for constrained planning with limited sensing. CDC (2016)
Hasan A. Poonawala, Mark W. Spong
From nonholonomy to holonomy: Time-optimal velocity control of differential drive robots. RoMoCo (2015)
Hasan A. Poonawala, Aykut C. Satici, Hazen Eckert, Mark W. Spong
Collision-Free Formation Control with Decentralized Connectivity Preservation for Nonholonomic-Wheeled Mobile Robots. IEEE Trans. Control. Netw. Syst. 2 (2) (2015)
Hasan A. Poonawala, Mark W. Spong
Decentralized estimation of the algebraic connectivity for strongly connected networks. ACC (2015)
Hasan A. Poonawala, Aykut C. Satici, Mark W. Spong
Leader-follower formation control of nonholonomic wheeled mobile robots using only position measurements. ASCC (2013)