Stability Analysis and Controller Synthesis Using Single-Hidden-Layer ReLU Neural Networks
Samanipour, Pouya, Poonawala, Hasan A.
Published in IEEE transactions on automatic control (01.01.2024)
Published in IEEE transactions on automatic control (01.01.2024)
Get full text
Journal Article
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
Badings, Thom, Romao, Licio, Abate, Alessandro, Parker, David, Poonawala, Hasan A., Stoelinga, Marielle, Jansen, Nils
Published in The Journal of artificial intelligence research (01.01.2023)
Published in The Journal of artificial intelligence research (01.01.2023)
Get full text
Journal Article
Stability Analysis Via Refinement Of Piece-wise Linear Lyapunov Functions
Poonawala, Hasan A.
Published in 2019 IEEE 58th Conference on Decision and Control (CDC) (01.12.2019)
Published in 2019 IEEE 58th Conference on Decision and Control (CDC) (01.12.2019)
Get full text
Conference Proceeding
Preserving Strong Connectivity in Directed Proximity Graphs
Poonawala, Hasan A., Spong, Mark W.
Published in IEEE transactions on automatic control (01.09.2017)
Published in IEEE transactions on automatic control (01.09.2017)
Get full text
Journal Article
Decentralized estimation of the algebraic connectivity for strongly connected networks
Poonawala, Hasan A., Spong, Mark W.
Published in 2015 American Control Conference (ACC) (01.07.2015)
Published in 2015 American Control Conference (ACC) (01.07.2015)
Get full text
Conference Proceeding
AI-enabled dynamic finish machining optimization for sustained surface integrity
Schoop, Julius, Poonawala, Hasan A., Adeniji, David, Clark, Benton
Published in Manufacturing letters (01.08.2021)
Published in Manufacturing letters (01.08.2021)
Get full text
Journal Article
From nonholonomy to holonomy: Time-optimal velocity control of differential drive robots
Poonawala, Hasan A., Spong, Mark W.
Published in 2015 10th International Workshop on Robot Motion and Control (RoMoCo) (24.08.2015)
Published in 2015 10th International Workshop on Robot Motion and Control (RoMoCo) (24.08.2015)
Get full text
Conference Proceeding
Sequential Convex Programming for the Efficient Verification of Parametric MDPs
Cubuktepe, Murat, Jansen, Nils, Junges, Sebastian, Katoen, Joost-Pieter, Papusha, Ivan, Poonawala, Hasan A., Topcu, Ufuk
Published in Tools and Algorithms for the Construction and Analysis of Systems
Published in Tools and Algorithms for the Construction and Analysis of Systems
Get full text
Book Chapter