19 citations · 24 across the 18 of their papers we have counts for
18 papers
Continuous-Time Gaussian Belief Trees for Motion Planning
Rayan Mazouz, Qi Heng Ho, Zachary N. Sunberg +1
We address sampling-based motion planning for continuous-time stochastic systems under process and measurement uncertainty, with probabilistic guarantees on safety and performance.…
Provably Safe Motion Planning Under Unknown Disturbances
Ibon Gracia, Qi Heng Ho, Luca Laurenti +1
We present a provably safe sampling-based motion planning algorithm for robotic systems affected by random disturbances of unknown distribution. We consider systems with linear or…
Robustness Analysis of POMDP Policies to Observation Perturbations
Benjamin Kraske, Qi Heng Ho, Federico Rossi +2
Policies for Partially Observable Markov Decision Processes (POMDPs) are often designed using a nominal system model. In practice, this model can deviate from the true system durin…
Leveraging the Value of Information in POMDP Planning
Zakariya Laouar, Qi Heng Ho, Zachary Sunberg
Partially observable Markov decision processes (POMDPs) offer a principled formalism for planning under state and transition uncertainty. Despite advances made towards solving larg…
Sampling-based Task and Kinodynamic Motion Planning under Semantic Uncertainty
Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian
This paper tackles the problem of integrated task and kinodynamic motion planning in uncertain environments. We consider a robot with nonlinear dynamics tasked with a Linear Tempor…
Kino-PAX: Near-Optimal Massively Parallel Kinodynamic Sampling-based Motion Planner
Nicolas Perrault, Qi Heng Ho, Morteza Lahijanian
Sampling-based motion planners (SBMPs) are widely used for robot motion planning with complex kinodynamic constraints in high-dimensional spaces, yet their serial computation desig…
Kino-PAX: Highly Parallel Kinodynamic Sampling-based Planner
Nicolas Perrault, Qi Heng Ho, Morteza Lahijanian
Sampling-based motion planners (SBMPs) are effective for planning with complex kinodynamic constraints in high-dimensional spaces, but they still struggle to achieve real-time perf…
Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
Karan Muvvala, Qi Heng Ho, Morteza Lahijanian
Classical reactive synthesis approaches aim to synthesize a reactive system that always satisfies a given specifications. These approaches often reduce to playing a two-player zero…
Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
Qi Heng Ho, Martin S. Feather, Federico Rossi +2
Partially Observable Markov Decision Processes (POMDPs) are powerful models for sequential decision making under transition and observation uncertainties. This paper studies the ch…
Feasibility-Guided Safety-Aware Model Predictive Control for Jump Markov Linear Systems
Zakariya Laouar, Qi Heng Ho, Rayan Mazouz +2
In this paper, we present a controller framework that synthesizes control policies for Jump Markov Linear Systems subject to stochastic mode switches and imperfect mode estimation.…
Recursively-Constrained Partially Observable Markov Decision Processes
Qi Heng Ho, Tyler Becker, Benjamin Kraske +5
Many sequential decision problems involve optimizing one objective function while imposing constraints on other objectives. Constrained Partially Observable Markov Decision Process…
Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems
Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian
This paper introduces a sampling-based strategy synthesis algorithm for nondeterministic hybrid systems with complex continuous dynamics under temporal and reachability constraints…
Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides
Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian
This paper presents a new multi-layered algorithm for motion planning under motion and sensing uncertainties for Linear Temporal Logic specifications. We propose a technique to gui…
Chance-Constrained Motion Planning with Event-Triggered Estimation
Anne Theurkauf, Qi Heng Ho, Roland Ilyes +2
We consider the problem of autonomous navigation using limited information from a remote sensor network. Because the remote sensors are power and bandwidth limited, we use event-tr…
Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic
Roland B. Ilyes, Qi Heng Ho, Morteza Lahijanian
In this work, we present a novel robustness measure for continuous-time stochastic trajectories with respect to Signal Temporal Logic (STL) specifications. We show the soundness of…
Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications
Qi Heng Ho, Roland B. Ilyes, Zachary N. Sunberg +1
This paper presents an algorithmic framework for control synthesis of continuous dynamical systems subject to signal temporal logic (STL) specifications. We propose a novel algorit…
Gaussian Belief Trees for Chance Constrained Asymptotically Optimal Motion Planning
Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian
In this paper, we address the problem of sampling-based motion planning under motion and measurement uncertainty with probabilistic guarantees. We generalize traditional sampling-b…
Online Multi-Target Tracking for Maneuvering Vehicles in Dynamic Road Context
Zehui Meng, Qi Heng Ho, Zefan Huang +3
Target detection and tracking provides crucial information for motion planning and decision making in autonomous driving. This paper proposes an online multi-object tracking (MOT)…