AI集約的サイバーフィジカルシステムの形式的解析設計手法

研究課題

体系的番号	JPMJCR2012
DOI	https://doi.org/10.52926/JPMJCR2012
研究代表者	末永幸平京都大学, 大学院情報学研究科, 准教授
研究期間 (年度)	2020 – 2025
概要	AIを構成要素として含むCPS (AI-CPS) の安全性・信頼性の担保は、早急に研究を進めるべき課題です。本研究ではAI-CPSの安全性・信頼性を担保するための数学に基づく強固な形式的設計手法を研究します。また、様々な現実的なモデルでケーススタディを行い、その効果を実証します。フランスの研究チームと共同で研究を推進することで、お互いの強みを補完しつつ、レバレッジを効かせた研究推進を行います。
研究領域	数学・数理科学と情報科学の連携・融合による情報活用基盤の創出と社会課題解決に向けた展開

主な研究成果
(14件)

すべて 2024

すべて雑誌論文 (14件) (国際共著 6件、査読あり 14件、オープンアクセス 14件)

[雑誌論文] CHLOE: Loop Transformation over Fully Homomorphic Encryption via Multi-Level Vectorization and Control-Path Reduction.2024
- 著者名
  Song Bian 0001, Zian Zhao, Ruiyu Shen, Zhou Zhang 0016, Ran Mao, Dawei Li 0009, Yizhong Liu, Masaki Waga, Kohei Suenaga, Zhenyu Guan, Jiafeng Hua, Yier Jin, Jianwei Liu 0001
- 雑誌名
  
  IACR Cryptology ePrint Archive
  
  巻: 2024 ページ: 1991-1991
- 査読あり / オープンアクセス / 国際共著
[雑誌論文] iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with Unknowns2024
- 著者名
  Yuki Nishida, Kohei Suenaga, Atsushi Igarashi
- 雑誌名
  
  2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)
  
  ページ: 576-584
- 査読あり / オープンアクセス
[雑誌論文] Periodic event-triggered design with Bayesian optimization: an emulation-based approach2024
- 著者名
  Kazumune Hashimoto
- 雑誌名
  
  IFAC Journal of Systems and Control
  
  巻: 29 ページ: 100268
- 査読あり / オープンアクセス
[雑誌論文] Assuring Safety of Vision-Based Swarm Formation Control2024
- 著者名
  Chiao Hsieh, Yubin Koh, Yangge Li, Sayan Mitra
- 雑誌名
  
  2024 American Control Conference (ACC)
  
  ページ: 3215-3222
- 査読あり / オープンアクセス / 国際共著
[雑誌論文] HEIR: A Unified Representation for Cross-Scheme Compilation of Fully Homomorphic Computation.2024
- 著者名
  Song Bian 0001, Zian Zhao, Zhou Zhang 0016, Ran Mao, Kohei Suenaga, Yier Jin, Zhenyu Guan, Jianwei Liu 0001
- 雑誌名
  
  31st Annual Network and Distributed System Security Symposium(NDSS)
- 査読あり / オープンアクセス / 国際共著
[雑誌論文] Bayesian Meta-Learning on Control Barrier Functions with Data from On-Board Sensors2024
- 著者名
  Wataru Hashimoto, Kazumune Hashimoto, Akifumi Wachi, Xun Shen, Masako Kishida, Shigemasa Takai
- 雑誌名
  
  Advanced Robotics
  
  巻: 38 号: 21 ページ: 1501-1514
- 査読あり / オープンアクセス
[雑誌論文] A Robust Traffic Flow Control Using Connected Vehicle Technology: Signal Spatio-Temporal Logic-Based Approach2024
- 著者名
  Sagar V. Patil; Kazumune Hashimoto; Masako Kishida
- 雑誌名
  
  IEEE Transactions on Intelligent Transportation Systems
  
  巻: 25 号: 12 ページ: 19658-19674
- 査読あり / オープンアクセス
[雑誌論文] Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption.2024
- 著者名
  Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian 0001, Kohei Suenaga
- 雑誌名
  
  Runtime Verification - 24th International Conference(RV)
  
  ページ: 59-69
- 査読あり / オープンアクセス / 国際共著
[雑誌論文] Hyper Parametric Timed CTL2024
- 著者名
  Masaki Waga, Etienne Andre
- 雑誌名
  
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- 査読あり / オープンアクセス / 国際共著
[雑誌論文] Robust Learning-Based Iterative Model Predictive Control for Unknown Non-Linear Systems2024
- 著者名
  Wataru Hashimoto, Kazumune Hashimoto, Masako Kishida, Shigemasa Takai
- 雑誌名
  
  IET Control Theory and Applications
  
  巻: 18 号: 18 ページ: 2540-2554
- 査読あり / オープンアクセス
[雑誌論文] Flipping-based Policy for Chance-Constrained Markov Decision Processes2024
- 著者名
  Xun Shen, Shuo Jiang, Akifumi Wachi, Kazumune Hashimoto, Sebastien Gros
- 雑誌名
  
  Proceedings of the 38th Advances in Neural Information Processing Systems
  
  ページ: 64377-64411
- 査読あり / オープンアクセス / 国際共著
[雑誌論文] Hardware Error Detection with In-Situ Monitoring of Control Flow-Related Specifications2024
- 著者名
  Tomonari Tanaka, Takumi Uezono, Kohei Suenaga, Masanori Hashimoto
- 雑誌名
  
  Proceedings of ASP-DAC 2025 (To appear)
- 査読あり / オープンアクセス
[雑誌論文] Learning-based Event-triggered MPC with Gaussian processes under terminal constraints2024
- 著者名
  Kazumune Hashimoto, Yuga Onoue, Akifumi Wachi, Xun Shen
- 雑誌名
  
  IEEE Transactions on Cybernetics
  
  巻: 55 号: 4 ページ: 1512-1525
- 査読あり / オープンアクセス
[雑誌論文] STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications2024
- 著者名
  Yoshinari Takayama, Kazumune Hashimoto, Toshiyuki Ohtsuka:
- 雑誌名
  
  IEEE Transactions on Automatic Control
- 査読あり / オープンアクセス

AI集約的サイバーフィジカルシステムの形式的解析設計手法

研究代表者

末永 幸平 京都大学, 大学院情報学研究科, 准教授

主な研究成果

[雑誌論文] CHLOE: Loop Transformation over Fully Homomorphic Encryption via Multi-Level Vectorization and Control-Path Reduction.2024

著者名

雑誌名

[雑誌論文] iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with Unknowns2024

著者名

雑誌名

[雑誌論文] Periodic event-triggered design with Bayesian optimization: an emulation-based approach2024

著者名

雑誌名

[雑誌論文] Assuring Safety of Vision-Based Swarm Formation Control2024

著者名

雑誌名

[雑誌論文] HEIR: A Unified Representation for Cross-Scheme Compilation of Fully Homomorphic Computation.2024

著者名

雑誌名

[雑誌論文] Bayesian Meta-Learning on Control Barrier Functions with Data from On-Board Sensors2024

著者名

雑誌名

[雑誌論文] A Robust Traffic Flow Control Using Connected Vehicle Technology: Signal Spatio-Temporal Logic-Based Approach2024

著者名

雑誌名

[雑誌論文] Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption.2024

著者名

雑誌名

[雑誌論文] Hyper Parametric Timed CTL2024

著者名

雑誌名

[雑誌論文] Robust Learning-Based Iterative Model Predictive Control for Unknown Non-Linear Systems2024

著者名

雑誌名

[雑誌論文] Flipping-based Policy for Chance-Constrained Markov Decision Processes2024

著者名

雑誌名

[雑誌論文] Hardware Error Detection with In-Situ Monitoring of Control Flow-Related Specifications2024

著者名

雑誌名

[雑誌論文] Learning-based Event-triggered MPC with Gaussian processes under terminal constraints2024

著者名

雑誌名

[雑誌論文] STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications2024

著者名

雑誌名

末永幸平京都大学, 大学院情報学研究科, 准教授