19 citations · 24 across the 18 of their papers we have counts for
3 papers · 1 filter
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…