学術論文

1、K. Hashimoto, A. Saoud, M. Kishida, T. Ushio, D. V. Dimarogonas: Learning-based symbolic abstractions for nonlinear control systems, Automatica
［link］ ［arxiv］

2、W. Hashimoto, K. Hashimoto, S. Takai: STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks, IEEE Robotics & Automation Letters, vol. 7, no. 2, pp. 5246-5253 (2022, JST CREST の支援)
［link］ ［arxiv］ ［JST Press Release］

3、K. Hashimoto, N. Tsumagari, T. Ushio: Collaborative rover-copter path planning and exploration with temporal logic specifications based on Bayesian update under uncertain environments, ACM Transactions on Cyber Physical Systems, vol. 6, no. 2, pp. 1-24 (2022)
［link］ ［arxiv］

4、K. Hashimoto*, Y. Onoue*, M. Ogura, T. Ushio: Event-triggered control for mitigating SIS spreading processes, Annual Reviews in Control, vol. 52, pp. 479-494 (2021)
［link］ ［arxiv］

5、K. Hashimoto, Y. Yoshimura, T. Ushio: “Learning self-triggered controllers with Gaussian processes”, IEEE Transactions on Cybernetics, vol. 51, no. 12, pp. 6294-6304 (2021)
［link］

6、K. Hashimoto, M. Kishida, Y. Yoshimura, T. Ushio: A Bayesian optimization approach to decentralized event-triggered control, IEICE Transactions on Fundamentals, Vol. E 104-A, No. 2, pp. 447-454 (2021)
［link］

国際会議論文

1、S. Patil, K. Hashimoto, M. Kishida: Traffic Flow Control at Signalized Intersections Using Signal Spatio-Temporal Logic, IEEE International Conference on Decision and Control (IEEE CDC), 2022 (to be presented)

2、W. Hashimoto, K. Hashimoto, S. Takai: STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks, IEEE International Conference on Robotics and Automation (ICRA), 2022 (its journal version has appeared in IEEE RAL)

3、W. Hashimoto, K. Hashimoto, Y. Onoue, S. Takai: Learning-Based Iterative Optimal Control for Unknown Systems Using Gaussian Process Regression, European Control Conference (ECC), 2022

4、Y. Mori，K. Hashimoto, and H. Inoue, “Path planning for Lunar polar exploration: Bayesian network-based sensor modeling of neutron spectrometers and sampling-based optimal motion planning,” AIAA Science and Technology Forum and Exposition (2022 AIAA SciTech Forum), Hybrid format January 2022

学位論文

博士学位論文（D）

1、Maximally Permissive Similarity Control of Nondeterministic Discrete Event Systems
李 京倫

修士学位論文（M）

1、 バンディットフィードバックを用いた時変不等式制約付き分散オンライン最適化
井上 慧人

2、 A Lifting Approach to Learning-Based Self-triggered Control with Gaussian Processes
Wang Zhijun

3、 隊列走行のための安全性とストリングスタビリティを満たした制御器の設計
熊本 光宏

4、 モデルフリー強化学習による通信と制御の同時最適化
高山 聖太

5、 行確率性を用いた不平衡な有向グラフに対する分散不等式制約付きオンライン最適化とバンディットフィードバック法
多田 圭伸

6、 SIRモデルに対する事象駆動型制御ポリシーの設計
丁 力辰

7、 ADMMを用いた分散スケジューリングの安定性解析と改良アルゴリズムの提案
二井矢 直樹

8、 決定性の分散スーパバイザによる非決定離散事象システムの双模倣制御
木村 朱里

9、 適応的大規模近傍探索を用いたEVによる電力及び物資の配送計画のための集荷配送問題
廣島 天晴

卒業論文（B）

1、 VAEとガウス過程回帰を用いた確率制約付きモデル予測制御
徳永 隆晃

2、 メタ学習によるコントローラ設計
東田 悠生

3、 Smoothingの補正を行うSTLを用いた経路設計問題
二川 健太

4、 Informed-RRT*を用いた月極域における水探査のための経路計画手法
保津 明範