19 citations · 51 across the 22 of their papers we have counts for
4 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.…
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…
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…
Estimation and Control Using Sampling-Based Bayesian Reinforcement Learning
Patrick Slade, Zachary N. Sunberg, Mykel J. Kochenderfer
Real-world autonomous systems operate under uncertainty about both their pose and dynamics. Autonomous control systems must simultaneously perform estimation and control tasks to m…