Long-Term Safe Reinforcement Learning with Binary Feedback

Akifumi Wachi, Wataru Hashimoto, Kazumune Hashimoto

Proceedings of the AAAI Conference on Artificial Intelligence　Vol. 38　No. 19　p. 21656-21663　2024/03/24　Research paper (scientific journal)

Synthesis of event-triggered controllers for SIRS epidemic models

Lichen Ding, Kazumune Hashimoto, Shigemasa Takai

Nonlinear Analysis: Hybrid Systems　Vol. 51　p. 101437-101437　2024/02　Research paper (scientific journal)

A lifting approach to learning-based self-triggered control with Gaussian processes

Wang Zhijun, Kazumune Hashimoto, Wataru Hashimoto, Shigemasa Takai

Advanced Robotics　Vol. 38　No. 6　p. 410-420　2024/01/16　Research paper (scientific journal)

Incentive Design in Noncooperative Dynamical Systems for Social Welfare Maximization Using Limited Payoff Information.

Yuyue Yan, Maojiao Ye, Kazumune Hashimoto, Yuhu Wu, He Kong

CDC　p. 5280-5285　2024　Research paper (international conference proceedings)

Flipping-based Policy for Chance-Constrained Markov Decision Processes.

Xun Shen, Shuo Jiang, Akifumi Wachi, Kazumune Hashimoto, Sebastien Gros

The Thirty-Eighth Annual Conference on Neural Information Processing Systems　Vol. abs/2410.06474　2024　Research paper (scientific journal)

Safe Reinforcement Learning Using Model Predictive Control with Probabilistic Control Barrier Function.

Xun Shen, Akifumi Wachi, Wataru Hashimoto, Kazumune Hashimoto, Shigemasa Takai

American Control Conference(ACC)　p. 74-79　2024　Research paper (international conference proceedings)

Sample-Based Continuous Approximate Method for Constructing Interval Neural Network

Xun Shen, Tinghui Ouyang, Kazumune Hashimoto, Yuhu Wu

IEEE Transactions on Neural Networks and Learning Systems　p. 1-14　2024　Research paper (scientific journal)

Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications

Yoshinari Takayama, Kazumune Hashimoto, Toshiyuki Ohtsuka

2023 62nd IEEE Conference on Decision and Control (CDC)　p. 6855-6862　2023/12/13　Research paper (international conference proceedings)

Safe Exploration in Reinforcement Learning: A Generalized Formulation and Algorithms

Akifumi Wachi, Wataru Hashimoto, Xun Shen, Kazumune Hashimoto

Advances in Neural Information Processing Systems 36 (NeurIPS 2023)　2023/12　Research paper (international conference proceedings)

Prediction of superimposed laser shot number for copper using deep convolutional neural network

Konika Rani, Norimasa Ozaki, Yoichiro Hironaka, Kazumune Hashimoto, Ryosuke Kodama, Kanji Mukai, Hirotaka Nakamura, Shigemasa Takai, Hideo Nagatomo

Optics Express　2023/06/14　Research paper (scientific journal)

Robust Traffic Flow Control using Signal Spatio-Temporal Logic

Sagar V. Patil, Kazumune Hashimoto, Masako Kishida

2023 European Control Conference (ECC)　p. 1-8　2023/06/13　Research paper (international conference proceedings)

Bayesian Meta-Learning on Control Barrier Functions with Data from On-Board Sensors.

Wataru Hashimoto, Kazumune Hashimoto, Akifumi Wachi, Xun Shen, Masako Kishida, Shigemasa Takai

CoRR　Vol. abs/2308.05306　2023　Research paper (scientific journal)

Robust Optimal Braking Policy for Avoiding Collision With Front Bicycle

Xun Shen, Yan Zhang, Xingguo Zhang, Pongsathorn Raksincharoensak, Kazumune Hashimoto

IEEE Open Journal of Intelligent Transportation Systems　Vol. 4　p. 943-954　2023　Research paper (scientific journal)

Learning-based symbolic abstractions for nonlinear control systems

Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas

Automatica　Vol. 146　p. 110646-110646　2022/12　Research paper (scientific journal)

Learning-Based Iterative Optimal Control for Unknown Systems Using Gaussian Process Regression

Wataru Hashimoto, Kazumune Hashimoto, Yuga Onoue, Shigemasa Takai

2022 European Control Conference (ECC)　p. 1554-1559　2022/07/12　Research paper (international conference proceedings)

Collaborative Rover-copter Path Planning and Exploration with Temporal Logic Specifications Based on Bayesian Update Under Uncertain Environments

Kazumune Hashimoto, Natsuko Tsumagari, Toshimitsu Ushio

ACM Transactions on Cyber-Physical Systems　Vol. 6　No. 2　p. 1-24　2022/04/30　Research paper (scientific journal)

STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks

Wataru Hashimoto, Kazumune Hashimoto, Shigemasa Takai

IEEE Robotics and Automation Letters　Vol. 7　No. 2　p. 5246-5253　2022/04　Research paper (scientific journal)

Path planning for Lunar polar exploration: Bayesian network-based sensor modeling of neutron spec...

Yuki Mori, Kazumune Hashimoto, Hiroka Inoue

2022/01/03

Traffic Flow Control at Signalized Intersections using Signal Spatio-Temporal Logic.

Sagar V. Patil, Kazumune Hashimoto, Masako Kishida

61st IEEE Conference on Decision and Control(CDC)　p. 1051-1058　2022　Research paper (international conference proceedings)

A Bayesian Optimization Approach to Decentralized Event-Triggered Control

Kazumune HASHIMOTO, Masako KISHIDA, Yuichi YOSHIMURA, Toshimitsu USHIO

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences　Vol. E104.A　No. 2　p. 447-454　2021/02/01　Research paper (scientific journal)

STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks.

Wataru Hashimoto, Kazumune Hashimoto, Shigemasa Takai

CoRR　Vol. abs/2109.04636　2021　Research paper (scientific journal)

Event-triggered control for mitigating SIS spreading processes

Kazumune Hashimoto, Yuga Onoue, Masaki Ogura, Toshimitsu Ushio

Annual Reviews in Control　Vol. 52　p. 479-494　2021　Research paper (scientific journal)

Learning Self-Triggered Controllers With Gaussian Processes

Kazumune Hashimoto, Yuichi Yoshimura, Toshimitsu Ushio

IEEE Transactions on Cybernetics　Vol. 51　No. 12　p. 1-11　2021　Research paper (scientific journal)

Design of Event-Triggered Controllers Using Gaussian Processes

Yuichi Yoshimura, Kazumune Hashimoto, Toshimitsu Ushio

Transactions of the Institute of Systems, Control and Information Engineers　Vol. 33　No. 7　p. 219-228　2020/07/15　Research paper (scientific journal)

Distributed L1-State-and-Fault Estimation for Multiagent Systems

Kazumune Hashimoto, Michelle S. Chong, Dimos V. Dimarogonas

IEEE Transactions on Control of Network Systems　Vol. 7　No. 2　p. 699-710　2020/06　Research paper (scientific journal)

Synthesizing Communication Plans for Reachability and Safety Specifications

Kazumune Hashimoto, Dimos V. Dimarogonas

IEEE Transactions on Automatic Control　Vol. 65　No. 2　p. 561-576　2020/02　Research paper (scientific journal)

Path Planning for Lunar Polar Exploration Mission Using Linear Temporal Logic

Yuiko Kikuchi, Hiroka Inoue, Kazumune Hashimoto, Shuichi Adachi

AIAA Scitech 2020 Forum　2020/01/06　Research paper (international conference proceedings)

Safe and active parameter exploration for event-triggered control.

Kazumune Hashimoto

16th IEEE International Conference on Control & Automation(ICCA)　p. 19-24　2020　Research paper (international conference proceedings)

Control of timed discrete event systems with ticked linear temporal logic constraints

Takuma Kinugawa, Kazumune Hashimoto, Toshimitsu Ushio

IFAC-PapersOnLine　Vol. 53　p. 2143-2148　2020　Research paper (international conference proceedings)

Resource-aware networked control systems under temporal logic specifications

Kazumune Hashimoto, Dimos V. Dimarogonas

Discrete Event Dynamic Systems　Vol. 29　No. 4　p. 473-499　2019/12　Research paper (scientific journal)

A Symbolic Approach to the Self-Triggered Design for Networked Control Systems

Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas

IEEE Control Systems Letters　Vol. 3　No. 4　p. 1050-1055　2019/10　Research paper (scientific journal)

Realtime l1-fault-and-state estimation for multi-agent systems

Kazumune Hashimoto, Michelle Chong, Dimos V. Dimarogonas

2019 American Control Conference (ACC)　p. 1175-1180　2019/07　Research paper (international conference proceedings)

不確かさをもつターボチャージシステムの可到達解析と安全性検証法

八田羽 謙一, 橋本 和宗, 井上 正樹, 足立 修一, 上野 将樹, 堤 優二郎, 山田 雄輝, 豊嶋 弘和

Vol. 50　No. 3　2019/05

State estimation for multiple clocks under anomalies using L1-norm optimization

Masato Hirano, Kazumune Hashimoto, Fumimaru Nakagawa, Tetsuya Ido, Yuko Hanado, Shuichi Adachi

Metrologia　Vol. 56　No. 2　2019/03

Energy-aware networked control systems under temporal logic specifications

Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas

2018 IEEE Conference on Decision and Control (CDC)　p. 132-139　2018/12　Research paper (international conference proceedings)

Aperiodic Sampled-Data Control via Explicit Transmission Mapping: A Set-Invariance Approach

Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas

IEEE Transactions on Automatic Control　Vol. 63　No. 10　p. 3523-3530　2018/10　Research paper (scientific journal)

Robust safety controller synthesis using tubes

Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas

2017 IEEE 56th Annual Conference on Decision and Control (CDC)　p. 535-541　2017/12　Research paper (international conference proceedings)

A Collision-free Communication Scheduling for Nonlinear Model Predictive Control

Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas

IFAC-PapersOnLine　Vol. 50　No. 1　p. 8939-8944　2017/07　Research paper (scientific journal)

Event-triggered intermittent sampling for nonlinear model predictive control

Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas

Automatica　Vol. 81　p. 148-155　2017/07　Research paper (scientific journal)

Distributed event-based model predictive control for multi-agent systems under disturbances

Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas

2014 7th International Conference on Network Games, Control and Optimization, NetGCoop 2014　p. 255-261　2017/06/07　Research paper (international conference proceedings)

Self-triggered control for constrained systems: A contractive set-based approach

Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas

2017 American Control Conference (ACC)　p. 1011-1016　2017/05　Research paper (international conference proceedings)

Self-triggered Model Predictive Control for Networked Control Systems

Hashimoto Kazumune, Adachi Shuichi

Proceedings of the Japan Joint Automatic Control Conference　Vol. 60　p. 244-247　2017

Self-Triggered Model Predictive Control for Nonlinear Input-Affine Dynamical Systems via Adaptive Control Samples Selection

Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas

IEEE Transactions on Automatic Control　Vol. 62　No. 1　p. 177-189　2017/01　Research paper (scientific journal)

Self-triggered Model Predictive Control for continuous-time systems: A multiple discretizations approach

Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas

2016 IEEE 55th Conference on Decision and Control (CDC)　p. 3078-3083　2016/12　Research paper (international conference proceedings)

Self-triggered nonlinear model predictive control for networked control systems

Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas

Proceedings of the American Control Conference　Vol. 2015-　p. 4239-4244　2015/07/28　Research paper (international conference proceedings)

Time-constrained event-triggered Model Predictive Control for nonlinear continuous-time systems.

Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas

54th IEEE Conference on Decision and Control(CDC)　p. 4326-4331　2015　Research paper (international conference proceedings)

Distributed aperiodic model predictive control for multi-agent systems

Kazumune Hashimoto, Shuichi Adachi, Dimos Dimarogonas

IET Control Theory and Applications　Vol. 9　No. 1　2015/01

Distributed event-based model predictive control for multi-agent systems under disturbances.

Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas

7th International Conference on NETwork Games, COntrol and OPtimization(NetGCooP)　p. 255-261　2014　Research paper (international conference proceedings)