Formation control of wheeled robots with vision-based position measurement. - Hasan Poonawala; Aykut C. Satici; Nicholas R. Gans; Mark W. Spong (ACC, 2012)

Leader-follower formation control of nonholonomic wheeled mobile robots using only position measurements. - Hasan A. Poonawala; Aykut C. Satici; Mark W. Spong (ASCC, 2013)

Connectivity preserving formation control with collision avoidance for nonholonomic wheeled mobile robots. - Aykut C. Satici; Hasan Poonawala; Hazen Eckert; Mark W. Spong (IROS, 2013)

Robust Optimal Control of Quadrotor UAVs. - Aykut C. Satici; Hasan Poonawala; Mark W. Spong (IEEE Access, 2013)

Decentralized estimation of the algebraic connectivity for strongly connected networks. - Hasan A. Poonawala; Mark W. Spong (ACC, 2015)

From nonholonomy to holonomy: Time-optimal velocity control of differential drive robots. - Hasan A. Poonawala; Mark W. Spong (RoMoCo, 2015)

Collision-Free Formation Control with Decentralized Connectivity Preservation for Nonholonomic-Wheeled Mobile Robots. - Hasan A. Poonawala; Aykut C. Satici; Hazen Eckert; Mark W. Spong (IEEE Trans. Control. Netw. Syst., 2015)

Filter-based stochastic abstractions for constrained planning with limited sensing. - Hasan A. Poonawala; Ufuk Topcu (CDC, 2016)

Singapore in Motion: Insights on Public Transport Service Level Through Farecard and Mobile Data Analytics. - Hasan Poonawala; Vinay Kolar; Sebastien Blandin; Laura Wynter; Sambit Sahu (KDD, 2016)

On maintaining visibility in multi-robot-networks with limited field-of-view sensors. - Hasan A. Poonawala; Mark W. Spong (ACC, 2017)

Robustness of classifier-in-the-loop control systems: A hybrid-systems approach. - Hasan A. Poonawala; Ufuk Topcu (CDC, 2017)

Classification error correction: A case study in brain-computer interfacing. - Hasan A. Poonawala; Mohammed Alshiekh; Scott Niekum; Ufuk Topcu (IROS, 2017)

Sequential Convex Programming for the Efficient Verification of Parametric MDPs. - Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ivan Papusha; Hasan A. Poonawala; Ufuk Topcu (TACAS (2), 2017)

Time-optimal velocity tracking control for differential drive robots. - Hasan A. Poonawala; Mark W. Spong (Autom., 2017)

Preserving Strong Connectivity in Directed Proximity Graphs. - Hasan A. Poonawala; Mark W. Spong (IEEE Trans. Autom. Control., 2017)

Robust Commuter Movement Inference from Connected Mobile Devices. - Baoyang Song; Hasan Poonawala; Laura Wynter; Sebastien Blandin (ICDM Workshops, 2018)

Training Classifiers For Feedback Control. - Hasan A. Poonawala; Niklas T. Lauffer; Ufuk Topcu (ACC, 2019)

FASTER: Fusion AnalyticS for public Transport Event Response. - Sebastien Blandin; Laura Wynter; Hasan Poonawala; Sean Laguna; Basile Dura (AAMAS, 2019)

Stability Analysis Via Refinement Of Piece-wise Linear Lyapunov Functions. - Hasan A. Poonawala (CDC, 2019)

Combining Micro and Macro Features for Online Pattern-of-Life Movement Prediction. - Shiau Hong Lim; Hasan Poonawala; Laura Wynter (ICDM Workshops, 2019)

Traffic Management for Urban Air Mobility. - Suda Bharadwaj; Steven Carr 002; Natasha A. Neogi; Hasan Poonawala; Alejandro Barberia Chueca; Ufuk Topcu (NFM, 2019)

A Deep Ensemble Multi-Agent Reinforcement Learning Approach for Air Traffic Control. - Supriyo Ghosh; Sean Laguna; Shiau Hong Lim; Laura Wynter; Hasan Poonawala (CoRR, 2020)

A Deep Ensemble Method for Multi-Agent Reinforcement Learning: A Case Study on Air Traffic Control. - Supriyo Ghosh; Sean Laguna; Shiau Hong Lim; Laura Wynter; Hasan Poonawala (ICAPS, 2021)

Training classifiers for feedback control with safety in mind. - Hasan A. Poonawala; Niklas T. Lauffer; Ufuk Topcu (Autom., 2021)

Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty. - Thom S. Badings; Nils Jansen 001; Hasan A. Poonawala; Mariëlle Stoelinga (CoRR, 2021)

Stability Analysis of Conewise Affine Dynamical Systems Using Conewise Linear Lyapunov Functions. - Hasan A. Poonawala (IEEE Control. Syst. Lett., 2021)

On the Impact of Gravity Compensation on Reinforcement Learning in Goal-Reaching Tasks for Robotic Manipulators. - Jonathan Fugal; Jihye Bae; Hasan A. Poonawala (Robotics, 2021)

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. - Thom S. Badings; Alessandro Abate; Nils Jansen 001; David Parker 001; Hasan A. Poonawala; Mariëlle Stoelinga (AAAI, 2022)

Automated Stability Analysis of Piecewise Affine Dynamics Using Vertices. - Pouya Samanipour; Hasan A. Poonawala (Allerton, 2023)

Provably Correct Sensor-Driven Path-Following for Unicycles Using Monotonic Score Functions. - Benton Clark; Varun Hariprasad; Hasan A. Poonawala (IROS, 2023)

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. - Thom S. Badings; Licio Romao; Alessandro Abate; David Parker 001; Hasan A. Poonawala; Mariëlle Stoelinga; Nils Jansen 001 (J. Artif. Intell. Res., 2023)

A Monotonicity Framework for Stability Verification of Planar Path-Following Controllers. - Benton Clark; Hasan A. Poonawala (IEEE Control. Syst. Lett., 2024)

Invariant set estimation for piecewise affine dynamical systems using piecewise affine barrier function. - Pouya Samanipour; Hasan Poonawala (Eur. J. Control, 2024)

Stability Analysis and Controller Synthesis Using Single-Hidden-Layer ReLU Neural Networks. - Pouya Samanipour; Hasan A. Poonawala (IEEE Trans. Autom. Control., 2024)

DynAbs: Abstraction-Based Controller Synthesis for Stochastic Linear Dynamical Systems. - Thom S. Badings; Licio Romao; Alessandro Abate; Dave Parker; Hasan Poonawala; Mariëlle Stoelinga; Nils Jansen 001 (Zenodo, 2024)

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems. - Pouya Samanipour; Hasan Poonawala (CoRR, 2025)

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets. - Pouya Samanipour; Hasan Poonawala (CoRR, 2025)