29 citations · 78 across the 18 of their papers we have counts for
5 papers · 1 filter
Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications
Junya Ikemoto, Toshimitsu Ushio
We apply deep reinforcement learning (DRL) to design of a networked controller with network delays to complete a temporal control task that is described by a signal temporal logic…
Collaborative rover-copter path planning and exploration with temporal logic specifications based on Bayesian update under uncertain environments
Kazumune Hashimoto, Natsuko Tsumagari, Toshimitsu Ushio
This paper investigates a collaborative rover-copter path planning and exploration with temporal logic specifications under uncertain environments. The objective of the rover is to…
Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems with LTL Specifications
Ryohei Oura, Toshimitsu Ushio, Ami Sakakibara
In this paper, we consider supervisory control of stochastic discrete event systems (SDESs) under linear temporal logic specifications. Applying the bounded synthesis, we reduce th…
Stability analysis and control of decision-making of miners in blockchain
Kosuke Toda, Naomi Kuze, Toshimitsu Ushio
To maintain blockchain-based services with ensuring its security, it is an important issue how to decide a mining reward so that the number of miners participating in the mining in…
Continuous Deep Q-Learning with Simulator for Stabilization of Uncertain Discrete-Time Systems
Junya Ikemoto, Toshimitsu Ushio
Applications of reinforcement learning (RL) to stabilization problems of real systems are restricted since an agent needs many experiences to learn an optimal policy and may determ…