研究者総覧 - 大阪大学

顔写真

橋本　和宗

Hashimoto Kazumune

橋本　和宗

Hashimoto Kazumune

工学研究科　電気電子情報通信工学専攻，准教授

keyword システム制御，最適化

研究内容・専門分野 1

ものづくり技術（機械・電気電子・化学工学） / 制御、システム工学 /

論文 53

STLCCP: Efficient Convex Optimization-Based Framework for Signal Temporal Logic Specifications

Yoshinari Takayama, Kazumune Hashimoto, Toshiyuki Ohtsuka

IEEE Transactions on Automatic Control　Vol. abs/2305.09441　p. 1-16　2025年　研究論文（学術雑誌）
出版者・発行元：Institute of Electrical and Electronics Engineers (IEEE)
Robust learning‐based iterative model predictive control for unknown non‐linear systems

Wataru Hashimoto, Kazumune Hashimoto, Masako Kishida, Shigemasa Takai

IET Control Theory & Applications　Vol. 18　No. 18　p. 2540-2554　2024年12月3日　研究論文（学術雑誌）
出版者・発行元：Institution of Engineering and Technology (IET)
A Robust Traffic Flow Control Using Connected Vehicle Technology: Signal Spatio-Temporal Logic-Based Approach.

Sagar V. Patil, Kazumune Hashimoto, Masako Kishida

IEEE Transactions on Intelligent Transportation Systems　Vol. 25　No. 12　p. 19658-19674　2024年12月　研究論文（学術雑誌）
Data-efficient safe learning and control with on-board sensors: Bayesian meta-learning and barrier function based approach.

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

Advanced Robotics　Vol. 38　No. 21　p. 1501-1514　2024年11月　研究論文（学術雑誌）
Periodic event-triggered controller design with Bayesian optimization: An emulation-based approach

Kazumune Hashimoto

IFAC Journal of Systems and Control　Vol. 29　p. 100268-100268　2024年9月　研究論文（学術雑誌）
出版者・発行元：Elsevier BV
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年3月24日　研究論文（学術雑誌）
出版者・発行元：Association for the Advancement of Artificial Intelligence (AAAI)
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年2月　研究論文（学術雑誌）
出版者・発行元：Elsevier BV
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年1月16日　研究論文（学術雑誌）
出版者・発行元：Informa UK Limited
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年　研究論文（国際会議プロシーディングス）
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年　研究論文（学術雑誌）
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年　研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
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年　研究論文（学術雑誌）
出版者・発行元：Institute of Electrical and Electronics Engineers (IEEE)
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日　研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
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月　研究論文（国際会議プロシーディングス）
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年6月14日　研究論文（学術雑誌）
出版者・発行元：Optica Publishing Group
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年6月13日　研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
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年　研究論文（学術雑誌）
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年　研究論文（学術雑誌）
出版者・発行元：Institute of Electrical and Electronics Engineers (IEEE)
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月　研究論文（学術雑誌）
出版者・発行元：Elsevier BV
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年7月12日　研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
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年4月30日　研究論文（学術雑誌）
出版者・発行元：Association for Computing Machinery (ACM)
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年4月　研究論文（学術雑誌）
出版者・発行元：Institute of Electrical and Electronics Engineers (IEEE)
Path planning for Lunar polar exploration: Bayesian network-based sensor modeling of neutron spec...

2022年1月3日
出版者・発行元：
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年　研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
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年2月1日　研究論文（学術雑誌）
出版者・発行元：Institute of Electronics, Information and Communications Engineers (IEICE)
STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks.

Wataru Hashimoto, Kazumune Hashimoto, Shigemasa Takai

CoRR　Vol. abs/2109.04636　2021年　研究論文（学術雑誌）
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年　研究論文（学術雑誌）
出版者・発行元：Elsevier BV
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年　研究論文（学術雑誌）
出版者・発行元：Institute of Electrical and Electronics Engineers (IEEE)
ガウス過程を用いた事象駆動型制御器の設計

吉村優一, 橋本和宗, 潮俊光

システム制御情報学会論文誌　Vol. 33　No. 7　p. 219-228　2020年7月15日　研究論文（学術雑誌）
出版者・発行元：一般社団法人システム制御情報学会
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年6月　研究論文（学術雑誌）
出版者・発行元：Institute of Electrical and Electronics Engineers (IEEE)
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年2月　研究論文（学術雑誌）
出版者・発行元：Institute of Electrical and Electronics Engineers (IEEE)
Path Planning for Lunar Polar Exploration Mission Using Linear Temporal Logic

Yuiko Kikuchi, Hiroka Inoue, Kazumune Hashimoto, Shuichi Adachi

AIAA Scitech 2020 Forum　2020年1月6日　研究論文（国際会議プロシーディングス）
出版者・発行元：American Institute of Aeronautics and Astronautics
Safe and active parameter exploration for event-triggered control.

Kazumune Hashimoto

16th IEEE International Conference on Control & Automation(ICCA)　p. 19-24　2020年　研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
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年　研究論文（国際会議プロシーディングス）
出版者・発行元：Elsevier B.V.
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月　研究論文（学術雑誌）
出版者・発行元：Springer Science and Business Media LLC
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月　研究論文（学術雑誌）
出版者・発行元：Institute of Electrical and Electronics Engineers (IEEE)
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年7月　研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
不確かさをもつターボチャージシステムの可到達解析と安全性検証法

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

Vol. 50　No. 3　2019年5月
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年3月
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月　研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
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月　研究論文（学術雑誌）
出版者・発行元：Institute of Electrical and Electronics Engineers (IEEE)
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月　研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
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年7月　研究論文（学術雑誌）
出版者・発行元：Elsevier BV
Event-triggered intermittent sampling for nonlinear model predictive control

Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas

Automatica　Vol. 81　p. 148-155　2017年7月　研究論文（学術雑誌）
出版者・発行元：Elsevier BV
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年6月7日　研究論文（国際会議プロシーディングス）
出版者・発行元：Institute of Electrical and Electronics Engineers Inc.
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年5月　研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
ネットワーク化制御システムのための自己駆動モデル予測制御

橋本和宗, 足立修一

自動制御連合講演会講演論文集　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年1月　研究論文（学術雑誌）
出版者・発行元：Institute of Electrical and Electronics Engineers (IEEE)
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月　研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
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年7月28日　研究論文（国際会議プロシーディングス）
出版者・発行元：Institute of Electrical and Electronics Engineers Inc.
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年　研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
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年1月
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年　研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE

機関リポジトリ 1

大阪大学の学術機関リポジトリ（OUKA）に掲載されているコンテンツ

Periodic event-triggered controller design with Bayesian optimization: An emulation-based approach

Hashimoto Kazumune

IFAC Journal of Systems and Control　Vol. 29　2024年9月1日