136 citations · 169 across the 27 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
eess.SY2022
Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks
Wataru Hashimoto, Kazumune Hashimoto, Masako Kishida +1
In this paper, we propose a control synthesis method for signal temporal logic (STL) specifications with neural networks (NNs). Most of the previous works consider training a contr…
eess.SY2022★ 1 cited
A Lifting Approach to Learning-Based Self-Triggered Control with Gaussian Processes
Wang Zhijun, Kazumune Hashimoto, Wataru Hashimoto +1
This paper investigates the design of self-triggered control for networked control systems (NCS), where the dynamics of the plant is unknown apriori. To deal with the nature of the…