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.…
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…