32 citations · 76 across the 8 of their papers we have counts for
11 papers
Automated Stability Analysis of Piecewise Affine Dynamics Using Vertices
Pouya Samanipour, Hasan A. Poonawala
This paper presents an automated algorithm to analyze the stability of piecewise affine (PWA) dynamical systems due to their broad applications. We parametrize the Lyapunov functio…
Provably Correct Sensor-driven Path-following for Unicycles using Monotonic Score Functions
Benton Clark, Varun Hariprasad, Hasan A. Poonawala
This paper develops a provably stable sensor-driven controller for path-following applications of robots with unicycle kinematics, one specific class of which is the wheeled mobile…
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions
Thom Badings, Licio Romao, Alessandro Abate +4
Controllers for dynamical systems that operate in safety-critical settings must account for stochastic disturbances. Such disturbances are often modeled as process noise in a dynam…
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise
Thom S. Badings, Alessandro Abate, Nils Jansen +3
Controllers for autonomous systems that operate in safety-critical settings must account for stochastic disturbances. Such disturbances are often modelled as process noise, and com…
Correct-by-construction reach-avoid control of partially observable linear stochastic systems
Thom Badings, Hasan A. Poonawala, Marielle Stoelinga +1
We study feedback controller synthesis for reach-avoid control of discrete-time, linear time-invariant (LTI) systems with Gaussian process and measurement noise. The problem is to…
A Deep Ensemble Multi-Agent Reinforcement Learning Approach for Air Traffic Control
Supriyo Ghosh, Sean Laguna, Shiau Hong Lim +2
Air traffic control is an example of a highly challenging operational problem that is readily amenable to human expertise augmentation via decision support technologies. In this pa…
FASTER: Fusion AnalyticS for public Transport Event Response
Sebastien Blandin, Laura Wynter, Hasan Poonawala +2
Increasing urban concentration raises operational challenges that can benefit from integrated monitoring and decision support. Such complex systems need to leverage the full stack…
Training Classifiers For Feedback Control
Hasan A. Poonawala, Niklas Lauffer, Ufuk Topcu
One approach for feedback control using high dimensional and rich sensor measurements is to classify the measurement into one out of a finite set of situations, each situation corr…
Robust commuter movement inference from connected mobile devices
Baoyang Song, Hasan Poonawala, Laura Wynter +1
The preponderance of connected devices provides unprecedented opportunities for fine-grained monitoring of the public infrastructure. However while classical models expect high qua…
Time-optimal Velocity Tracking Control for Differential Drive Robots
Hasan A Poonawala, Mark W Spong
Nonholonomic wheeled mobile robots are often required to implement algorithms designed for holonomic kinematic systems. This creates a velocity tracking problem for the actual whee…
Sequential Convex Programming for the Efficient Verification of Parametric MDPs
Murat Cubuktepe, Nils Jansen, Sebastian Junges +4
Multi-objective verification problems of parametric Markov decision processes under optimality criteria can be naturally expressed as nonlinear programs. We observe that many of th…