Search Results for author:
Found 4 papers, 0 papers with code
Feasibility-Guided Safety-Aware Model Predictive Control for Jump Markov Linear Systems
In this paper, we present a framework that synthesizes maximally safe control policies for Jump Markov Linear Systems subject to stochastic mode switches.
Recursively-Constrained Partially Observable Markov Decision Processes
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.
Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems
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
This paper presents an algorithmic framework for control synthesis of continuous dynamical systems subject to signal temporal logic (STL) specifications.
