Robot control for tasks such as moving around obstacles or grasping objects has advanced significantly in the last few decades. However, controlling robots to perform complex tasks is …
In control theory, complex models of physical processes, such as systems of differential or difference equations, are usually checked against simple specifications, such as stability …
We present a model-free reinforcement learning algorithm to synthesize control policies that maximize the probability of satisfying high-level control objectives given as Linear Temporal …
We present a reinforcement learning (RL) frame-work to synthesize a control policy from a given linear temporal logic (LTL) specification in an unknown stochastic environment that …
This letter investigates the motion planning of autonomous dynamical systems modeled by Markov decision processes (MDP) with unknown transition probabilities over continuous …
ZG Wu, S Dong, H Su, C Li - IEEE transactions on cybernetics, 2017 - ieeexplore.ieee.org
The problem of asynchronous dissipative control is investigated for Takagi–Sugeno fuzzy systems with Markov jump in this paper. Hidden Markov model is introduced to represent the …
D Aksaray, A Jones, Z Kong… - 2016 IEEE 55th …, 2016 - ieeexplore.ieee.org
This paper addresses the problem of learning optimal policies for satisfying signal temporal logic (STL) specifications by agents with unknown stochastic dynamics. The system is …
We propose to synthesize a control policy for a Markov decision process (MDP) such that the resulting traces of the MDP satisfy a linear temporal logic (LTL) property. We construct a …
Task and motion planning subject to Linear Temporal Logic (LTL) specifications in complex, dynamic environments requires efficient exploration of many possible future worlds. Model …