Hasan Poonawala

According to our database, Hasan Poonawala authored at least 34 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Stability Analysis and Controller Synthesis Using Single-Hidden-Layer ReLU Neural Networks.

Pouya Samanipour, Hasan A. Poonawala

IEEE Trans. Autom. Control., January, 2024

Invariant set estimation for piecewise affine dynamical systems using piecewise affine barrier function.

Pouya Samanipour, Hasan Poonawala

Eur. J. Control, 2024

A Monotonicity Framework for Stability Verification of Planar Path-Following Controllers.

Benton Clark, Hasan A. Poonawala

IEEE Control. Syst. Lett., 2024

2023

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions.

Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen

J. Artif. Intell. Res., 2023

Provably Correct Sensor-Driven Path-Following for Unicycles Using Monotonic Score Functions.

Benton Clark, Varun Hariprasad, Hasan A. Poonawala

IROS, 2023

Automated Stability Analysis of Piecewise Affine Dynamics Using Vertices.

Pouya Samanipour, Hasan A. Poonawala

Proceedings of the 59th Annual Allerton Conference on Communication, 2023

2022

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise.

Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

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

Stability Analysis of Conewise Affine Dynamical Systems Using Conewise Linear Lyapunov Functions.

Hasan A. Poonawala

IEEE Control. Syst. Lett., 2021

Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty.

Thom S. Badings, Nils Jansen, Hasan A. Poonawala, Mariëlle Stoelinga

CoRR, 2021

Training classifiers for feedback control with safety in mind.

Hasan A. Poonawala, Niklas T. Lauffer, Ufuk Topcu

Autom., 2021

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

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

2020

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

2019

Traffic Management for Urban Air Mobility.

Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Hasan Poonawala, Alejandro Barberia Chueca, Ufuk Topcu

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Combining Micro and Macro Features for Online Pattern-of-Life Movement Prediction.

Shiau Hong Lim, Hasan Poonawala, Laura Wynter

Proceedings of the 2019 International Conference on Data Mining Workshops, 2019

Stability Analysis Via Refinement Of Piece-wise Linear Lyapunov Functions.

Hasan A. Poonawala

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

FASTER: Fusion AnalyticS for public Transport Event Response.

Sebastien Blandin, Laura Wynter, Hasan Poonawala, Sean Laguna, Basile Dura

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Training Classifiers For Feedback Control.

Hasan A. Poonawala, Niklas T. Lauffer, Ufuk Topcu

Proceedings of the 2019 American Control Conference, 2019

2018

Robust Commuter Movement Inference from Connected Mobile Devices.

Baoyang Song, Hasan Poonawala, Laura Wynter, Sebastien Blandin

Proceedings of the 2018 IEEE International Conference on Data Mining Workshops, 2018

2017

Preserving Strong Connectivity in Directed Proximity Graphs.

Hasan A. Poonawala, Mark W. Spong

IEEE Trans. Autom. Control., 2017

Time-optimal velocity tracking control for differential drive robots.

Hasan A. Poonawala, Mark W. Spong

Autom., 2017

Sequential Convex Programming for the Efficient Verification of Parametric MDPs.

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Classification error correction: A case study in brain-computer interfacing.

Hasan A. Poonawala, Mohammed Alshiekh, Scott Niekum, Ufuk Topcu

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Robustness of classifier-in-the-loop control systems: A hybrid-systems approach.

Hasan A. Poonawala, Ufuk Topcu

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

On maintaining visibility in multi-robot-networks with limited field-of-view sensors.

Hasan A. Poonawala, Mark W. Spong

Proceedings of the 2017 American Control Conference, 2017

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

Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2016

Filter-based stochastic abstractions for constrained planning with limited sensing.

Hasan A. Poonawala, Ufuk Topcu

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

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

From nonholonomy to holonomy: Time-optimal velocity control of differential drive robots.

Hasan A. Poonawala, Mark W. Spong

Proceedings of the 10th International Workshop on Robot Motion and Control, 2015

Decentralized estimation of the algebraic connectivity for strongly connected networks.

Hasan A. Poonawala, Mark W. Spong

Proceedings of the American Control Conference, 2015

2013

Robust Optimal Control of Quadrotor UAVs.

Aykut C. Satici, Hasan Poonawala, Mark W. Spong

IEEE Access, 2013

Connectivity preserving formation control with collision avoidance for nonholonomic wheeled mobile robots.

Aykut C. Satici, Hasan Poonawala, Hazen Eckert, Mark W. Spong

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Leader-follower formation control of nonholonomic wheeled mobile robots using only position measurements.

Hasan A. Poonawala, Aykut C. Satici, Mark W. Spong

Proceedings of the 9th Asian Control Conference, 2013

2012

Formation control of wheeled robots with vision-based position measurement.

Hasan Poonawala, Aykut C. Satici, Nicholas R. Gans, Mark W. Spong

Proceedings of the American Control Conference, 2012