no code implementations • 21 Oct 2023 • Zakariya Laouar, Rayan Mazouz, Tyler Becker, Qi Heng Ho, Zachary N. Sunberg
In this paper, we present a framework that synthesizes maximally safe control policies for Jump Markov Linear Systems subject to stochastic mode switches.
no code implementations • 15 Oct 2023 • Qi Heng Ho, Tyler Becker, Benjamin Kraske, Zakariya Laouar, Martin S. Feather, Federico Rossi, Morteza Lahijanian, Zachary N. Sunberg
Evaluations on a set of benchmark problems demonstrate the efficacy of our algorithm and show that policies for RC-POMDPs produce more desirable behaviors than policies for C-POMDPs.
no code implementations • 14 Apr 2023 • 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.
no code implementations • 8 Jul 2022 • Qi Heng Ho, Roland B. Ilyes, Zachary N. Sunberg, Morteza Lahijanian
This paper presents an algorithmic framework for control synthesis of continuous dynamical systems subject to signal temporal logic (STL) specifications.