Kazumune Hashimoto

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 40

Top Topics

Gaussian Process

Model Predictive Control

Top Venues

IEEE Trans. Autom. Control.

Publications

Xun Shen, Ye Wang, Kazumune Hashimoto, Yuhu Wu, Sebastien Gros
Probabilistic reachable sets of stochastic nonlinear systems with contextual uncertainties. CoRR (2024)
Akifumi Wachi, Wataru Hashimoto, Kazumune Hashimoto
Long-term Safe Reinforcement Learning with Binary Feedback. CoRR (2024)
Zhijun Wang, Kazumune Hashimoto, Wataru Hashimoto, Shigemasa Takai
A lifting approach to learning-based self-triggered control with Gaussian processes. Adv. Robotics 38 (6) (2024)
Akifumi Wachi, Wataru Hashimoto, Kazumune Hashimoto
Long-Term Safe Reinforcement Learning with Binary Feedback. AAAI (2024)
Wataru Hashimoto, Kazumune Hashimoto, Akifumi Wachi, Xun Shen, Masako Kishida, Shigemasa Takai
Bayesian Meta-Learning on Control Barrier Functions with Data from On-Board Sensors. CoRR (2023)
Yoshinari Takayama, Kazumune Hashimoto, Toshiyuki Ohtsuka
Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications. CDC (2023)
Yoshinari Takayama, Kazumune Hashimoto, Toshiyuki Ohtsuka
STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications. CoRR (2023)
Lichen Ding, Kazumune Hashimoto, Shigemasa Takai
Synthesis of Event-triggered Controllers for SIRS Epidemic Models. CoRR (2023)
Sagar V. Patil, Kazumune Hashimoto, Masako Kishida
Robust Traffic Flow Control using Signal Spatio-Temporal Logic. ECC (2023)
Akifumi Wachi, Wataru Hashimoto, Xun Shen, Kazumune Hashimoto
Safe Exploration in Reinforcement Learning: A Generalized Formulation and Algorithms. CoRR (2023)
Yoshinari Takayama, Kazumune Hashimoto, Toshiyuki Ohtsuka
Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications. CoRR (2023)
Akifumi Wachi, Wataru Hashimoto, Xun Shen, Kazumune Hashimoto
Safe Exploration in Reinforcement Learning: A Generalized Formulation and Algorithms. NeurIPS (2023)
Wataru Hashimoto, Kazumune Hashimoto, Masako Kishida, Shigemasa Takai
Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks. CoRR (2022)
Wataru Hashimoto, Kazumune Hashimoto, Shigemasa Takai
STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks. IEEE Robotics Autom. Lett. 7 (2) (2022)
Zhijun Wang, Kazumune Hashimoto, Wataru Hashimoto, Shigemasa Takai
A Lifting Approach to Learning-Based Self-Triggered Control with Gaussian Processes. CoRR (2022)
Kazumune Hashimoto, Natsuko Tsumagari, Toshimitsu Ushio
Collaborative Rover-copter Path Planning and Exploration with Temporal Logic Specifications Based on Bayesian Update Under Uncertain Environments. ACM Trans. Cyber Phys. Syst. 6 (2) (2022)
Sagar V. Patil, Kazumune Hashimoto, Masako Kishida
Traffic Flow Control at Signalized Intersections using Signal Spatio-Temporal Logic. CDC (2022)
Wataru Hashimoto, Kazumune Hashimoto, Yuga Onoue, Shigemasa Takai
Learning-Based Iterative Optimal Control for Unknown Systems Using Gaussian Process Regression. ECC (2022)
Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas
Learning-based symbolic abstractions for nonlinear control systems. Autom. 146 (2022)
Kazumune Hashimoto, Masako Kishida, Yuichi Yoshimura, Toshimitsu Ushio
A Bayesian Optimization Approach to Decentralized Event-Triggered Control. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2) (2021)
Wataru Hashimoto, Kazumune Hashimoto, Shigemasa Takai
STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks. CoRR (2021)
Kazumune Hashimoto, Yuichi Yoshimura, Toshimitsu Ushio
Learning Self-Triggered Controllers With Gaussian Processes. IEEE Trans. Cybern. 51 (12) (2021)
Kazumune Hashimoto, Natsuko Tsumagari, Toshimitsu Ushio
Collaborative rover-copter path planning and exploration with temporal logic specifications based on Bayesian update under uncertain environments. CoRR (2021)
Kazumune Hashimoto, Yuga Onoue, Masaki Ogura, Toshimitsu Ushio
Event-triggered control for mitigating SIS spreading processes. Annu. Rev. Control. 52 (2021)
Kazumune Hashimoto
Safe and active parameter exploration for event-triggered control. ICCA (2020)
Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas
Learning-based Safe Symbolic Abstractions for Nonlinear Control Systems. CoRR (2020)
Kazumune Hashimoto, Michelle S. Chong, Dimos V. Dimarogonas
Distributed $\ell _1$-State-and-Fault Estimation for Multiagent Systems. IEEE Trans. Control. Netw. Syst. 7 (2) (2020)
Kazumune Hashimoto, Dimos V. Dimarogonas
Synthesizing Communication Plans for Reachability and Safety Specifications. IEEE Trans. Autom. Control. 65 (2) (2020)
Kazumune Hashimoto, Yuichi Yoshimura, Toshimitsu Ushio
Learning self-triggered controllers with Gaussian processes. CoRR (2019)
Kazumune Hashimoto, Dimos V. Dimarogonas
Resource-aware networked control systems under temporal logic specifications. Discret. Event Dyn. Syst. 29 (4) (2019)
Takuma Kinugawa, Kazumune Hashimoto, Toshimitsu Ushio
Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints. CoRR (2019)
Kazumune Hashimoto, Michelle Chong, Dimos V. Dimarogonas
Realtime l1-fault-and-state estimation for multi-agent systems. ACC (2019)
Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas
A Symbolic Approach to the Self-Triggered Design for Networked Control Systems. IEEE Control. Syst. Lett. 3 (4) (2019)
Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas
Energy-aware networked control systems under temporal logic specifications. CDC (2018)
Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas
Aperiodic Sampled-Data Control via Explicit Transmission Mapping: A Set-Invariance Approach. IEEE Trans. Autom. Control. 63 (10) (2018)
Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas
Robust safety controller synthesis using tubes. CDC (2017)
Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas
Self-triggered control for constrained systems: A contractive set-based approach. ACC (2017)
Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas
Event-triggered intermittent sampling for nonlinear model predictive control. Autom. 81 (2017)
Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas
Self-Triggered Model Predictive Control for Nonlinear Input-Affine Dynamical Systems via Adaptive Control Samples Selection. IEEE Trans. Autom. Control. 62 (1) (2017)
Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas
Self-triggered Model Predictive Control for continuous-time systems: A multiple discretizations approach. CDC (2016)
Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas
Time-constrained event-triggered Model Predictive Control for nonlinear continuous-time systems. CDC (2015)
Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas
Self-triggered nonlinear model predictive control for networked control systems. ACC (2015)
Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas
Distributed event-based model predictive control for multi-agent systems under disturbances. NetGCooP (2014)