Nanzan University · Faculty of Science and Engineering · 教授

Research keywordsformal methods for control・symbolic control barrier functions・safe control shields・linear temporal logic・multi-robot path planning・reinforcement learning for supervisors・UAV deployment after disasters・timed Petri nets・fractional-order replicator dynamics・blockchain decision dynamics

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 双方向通信路の信号損失に対処するゲイン切替型未知入力オブザーバ 査読 杉本謙二，潮俊光 計測受動制御学会論文集 61 ( 7 ) 356 - 362 2025年7月 詳細を見る 記述言語： 日本語2025
• Shield-Based Safe Control with Compensation of Computation Delays of Nonlinear Discrete-Time Systems 査読 国際誌 Toshimitsu Ushio IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E108-A ( 5 ) 691 - 696 2025年5月 詳細を見る 担当区分： 筆頭著者, 責任著者 記述言語： 英語 掲載種別： 研究論文（学術雑誌） DOI： https://doi.org/10.1587/transfun.2024MAP00032025
• 計測受動制御学会論文集 61 ( 7 ) 356 - 362 2025年7月2025
• IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E108-A ( 5 ) 691 - 696 2025年5月2025

• Official profile