136 citations · 169 across the 27 of their papers we have counts for
3 papers · 1 filter
Learning-based Event-triggered MPC with Gaussian processes under terminal constraints
Yuga Onoue, Kazumune Hashimoto, Akifumi Wachi
Event-triggered control strategy is capable of significantly reducing the number of control task executions without sacrificing control performance. In this paper, we propose a nov…
STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks
Wataru Hashimoto, Kazumune Hashimoto, Shigemasa Takai
In this paper, a method for learning a recurrent neural network (RNN) controller that maximizes the robustness of signal temporal logic (STL) specifications is presented. In contra…
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…