Updated on 2024/04/17

写真a

 
CAI Kai
 
Organization
Graduate School of Informatics Department of Core Informatics Professor
School of Engineering Department of Information Science
Title
Professor
Affiliation
Institute of Informatics
Affiliation campus
Sugimoto Campus

Position

  • Graduate School of Informatics Department of Core Informatics 

    Professor  2022.04 - Now

  • School of Engineering Department of Information Science 

    Professor  2022.04 - Now

Degree

  • Ph.D. ( Tokyo Institute of Technology )

Research Areas

  • Manufacturing Technology (Mechanical Engineering, Electrical and Electronic Engineering, Chemical Engineering) / Control and system engineering  / Systems control, networked multi-agent systems, supervisory control of discrete-event systems

Research Interests

  • Multi-Agent Systems

  • Discrete-Event Systems

  • Systems Control

Research subject summary

  • Our research focuses on distributed control of multi-agent systems, discrete-event systems, and cyber-physical systems.

Research Career

  • Cooperative control of multi-agent systems

    Joint Research in Organization

    2008 - Now 

  • Control of Discrete-Event Systems

    International Joint Research

    2006 - Now 

Professional Memberships

  • IEEE

      Overseas

  • SICE

      Domestic

  • ISCIE

      Domestic

Committee Memberships (off-campus)

  • 代議員   一般社団法人システム制御情報学会  

    2024.04 - 2025.03 

  • Senior Editor   IFAC Journal Nonlinear Analysis: Hybrid Systems  

    2023.01 - Now 

  • Guest Editor   システム/制御/情報  

    2021.10 - 2022.12 

  • International Program Committee   16th Workshop on Discrete Event Systems (WODES 2022)  

    2021.10 - 2022.09 

  • International Program Committee   IFAC Conference on Networked Systems (NecSys 2022)  

    2021.10 - 2022.07 

  • Technical Program Committee   American Control Conference (ACC 2022)  

    2021.08 - 2021.12 

  • Guest Editor   Advanced Robotics  

    2021.06 - 2022.12 

  • Technical Program Committee   IEEE Conference on Decision and Control (CDC 2021)  

    2021.02 - 2021.07 

  • Managing Guest Editor   Nonlinear Analysis: Hybrid Systems  

    2020.12 - 2022.12 

  • Chair   Committee on Outstanding Student Paper Prize, Technical Committee on Discrete Event Systems and Hybrid Systems, IEEE Control Systems Society  

    2020.12 - 2022.12 

  • International Program Committee   15th Workshop on Discrete Event Systems  

    2020.01 - 2020.02 

  • Committee Member   Technical Committee on Hybrid Systems, IEEE Control Systems Society  

    2019.12 - 2022.12 

  • Publicity Chair   Organizing Committee, IEEE International Conference on Control and Automation 2020  

    2019.10 - 2020.07 

  • Committee Member   Technical Committee on Smart Cities, IEEE Control Systems Society  

    2019.06 - 2022.12 

  • 委員   SICE制御部門「機械学習と調和する制御理論」調査研究会  

    2019.06 - 2022.12 

  • Local Arrangements Chair   Organizing Committee, 電気関係学会関西連合大会2019  

    2019.03 - 2019.12 

  • Chair   Technical Committee on Discrete Event Systems, IEEE Control Systems Society  

    2019.01 - 2022.12 

  • Associate Editor   Wiley Encyclopedia of Electrical and Electronics Engineering  

    2018.10 - 2019.09 

  • 委員   SICE制御部門「IoT時代に向けたイベントベースト制御」調査研究会  

    2018.01 - 2019.12 

  • Program Committee   SICE Annual Conference 2018  

    2018.01 - 2018.09 

  • Scientific Program Committee   14th Workshop on Discrete Event Systems  

    2017.12 - 2018.01 

  • Associate Editor   IEEE Transactions on Automatic Control  

    2017.10 - 2023.12 

  • Committee Member   Technical Committee on Hybrid and Discrete Event Systems, International Federation on Automatic Control  

    2017.10 - 2022.12 

  • Committee Member   Committee on Best Student Paper Award, IEEE Conference on Decision and Control 2017  

    2017.10 

  • Associate Editor   Conference Editorial Board, IEEE Control Systems Society  

    2016.07 - 2022.12 

  • Co-Chair   Technical Committee on Discrete Event Systems, IEEE Control Systems Society  

    2016.07 - 2018.12 

  • 委員   SICE制御部門「ネットワーク上の制御と信号処理」調査研究会  

    2014.08 - 2018.08 

▼display all

Awards

  • SICE制御部門パイオニア賞

    2021.03  

  • 大阪市立大学南部陽一郎記念若手奨励賞

    2018.09  

Education

  • Tokyo Institute of Technology   Doctor's Course   Graduated/Completed

    - 2011.09

  • University of Toronto   Master's Course   Graduated/Completed

    - 2008.11

  • Zhejiang University     Graduated/Completed

    - 2006.07

Papers

  • Transformational supervisor localization Invited Reviewed International coauthorship

    S. Thuijsman, M. Reniers, Kai Cai

    Proceedings of the IEEE Conference on Decision and Control   6899 - 6904   2023.12( ISSN:07431546 ( ISBN:9798350301243

     More details

    Authorship:Last author   Publishing type:Research paper (international conference proceedings)   International / domestic magazine:International journal  

    DOI: 10.1109/CDC49753.2023.10383395

  • Data-Informativity for Data-Driven Supervisory Control of Discrete-Event Systems Invited Reviewed

    Ohtsuka T., Kai Cai, Kashima K.

    Proceedings of the IEEE Conference on Decision and Control   6923 - 6928   2023.12( ISSN:07431546 ( ISBN:9798350301243

     More details

    Publishing type:Research paper (international conference proceedings)   International / domestic magazine:International journal  

    DOI: 10.1109/CDC49753.2023.10383395

  • Smart Nudge System Using Autonomous Robots

    Kimura Makoto, Fujimoto Manato, Kai Cai

    Proceedings of the Japan Joint Automatic Control Conference   66 ( 0 )   1261 - 1265   2023.10

     More details

    Authorship:Last author, Corresponding author   Publishing type:Research paper (conference, symposium, etc.)   International / domestic magazine:Domestic journal  

    DOI: 10.11511/jacc.66.0_1261

  • Online Supervisory Control for Safe and Adaptive Human-in-the-Loop Warehouse Logistic Automation

    Kimura Makoto, Fujimoto Manato, Kai Cai

    Proceedings of the Japan Joint Automatic Control Conference   66 ( 0 )   1266 - 1270   2023.10

     More details

    Authorship:Last author, Corresponding author   Publishing type:Research paper (conference, symposium, etc.)   International / domestic magazine:Domestic journal  

    DOI: 10.11511/jacc.66.0_1266

  • Secret Protections With Costs and Disruptiveness in Discrete-Event Systems Using Centralities Reviewed International coauthorship

    Ma Z., Jiang J., Kai Cai

    IEEE Transactions on Automatic Control   2023.10( ISSN:00189286

     More details

    Authorship:Last author, Corresponding author   Publishing type:Research paper (scientific journal)   International / domestic magazine:International journal  

    DOI: 10.1109/TAC.2023.3323531

  • A TSP-Based Online Algorithm for Multi-Task Multi-Agent Pickup and Delivery Reviewed

    Fumiya Kudo, Kai Cai

    IEEE Robotics and Automation Letters   8 ( 9 )   5910 - 5917   2023.09

     More details

    Authorship:Last author, Corresponding author   Publishing type:Research paper (scientific journal)   International / domestic magazine:International journal  

    DOI: 10.1109/LRA.2023.3301300

  • Transformational supervisor localization Reviewed International coauthorship

    S. Thuijsman, M. Reniers, Kai Cai

    IEEE Control Systems Letters   7   1682 - 1687   2023.07

     More details

    Authorship:Last author   Publishing type:Research paper (scientific journal)   International / domestic magazine:International journal  

    DOI: 10.1109/LCSYS.2023.3278248

  • Optimal Secret Protection in Discrete Event Systems with Dynamic Clearance Levels Invited Reviewed International coauthorship

    Ziyue Ma, Kai Cai

    IFAC-PapersOnLine   56 ( 2 )   3579 - 3584   2023.07( ISBN:9781713872344

     More details

    Authorship:Last author, Corresponding author   Publishing type:Research paper (international conference proceedings)   International / domestic magazine:International journal  

    DOI: 10.1016/j.ifacol.2023.10.1517

  • A new perspective on cooperative control of multi-agent systems through different types of graph laplacians Invited Reviewed

    Kai Cai, Masaaki Nagahara

    Advanced Robotics   27 ( 1-2 )   2 - 11   2023.01

     More details

    Authorship:Lead author, Corresponding author   Publishing type:Research paper (scientific journal)   Kind of work:Joint Work   International / domestic magazine:International journal  

    DOI: 10.1080/01691864.2022.2093616

  • Data-driven supervisory control of discrete-event systems Invited Reviewed

    Kai Cai

    Transactions of the Institute of Systems, Control and Information Engineers   66 ( 9 )   359 - 364   2022.09

     More details

    Authorship:Lead author, Corresponding author   Publishing type:Research paper (scientific journal)   Kind of work:Joint Work   International / domestic magazine:Domestic journal  

  • Efficient safe control via deep reinforcement learning and supervisory control -- case study on multi-robot warehouse automation Reviewed

    Masahiro Konishi, Tomotake Sasaki, Kai Cai

    Proc. International Workshop on Discrete Event Systems   2022.09

     More details

    Authorship:Last author   Publishing type:Research paper (international conference proceedings)   Kind of work:Joint Work   International / domestic magazine:International journal  

  • Transformational nonblocking verification Reviewed International coauthorship

    Sander Thuijsman, Michel Reniers, and Kai Cai

    Proc. International Workshop on Discrete Event Systems   2022.09

     More details

    Authorship:Last author   Publishing type:Research paper (international conference proceedings)   Kind of work:Joint Work   International / domestic magazine:International journal  

  • Consistent reduction in discrete-event systems Reviewed International coauthorship

    Kai Cai, Alessandro Giua, and Carla Seatzu

    Automatica   142   2022.08

     More details

    Authorship:Lead author, Corresponding author   Publishing type:Research paper (scientific journal)   Kind of work:Joint Work   International / domestic magazine:International journal  

    DOI: 10.1016/j.automatica.2022.110333

  • Secret protections in discrete-event systems with minimum costs Invited Reviewed International coauthorship

    Proc. American Control Conference   3740 - 3745   2022.06

     More details

    Authorship:Last author   Publishing type:Research paper (international conference proceedings)   Kind of work:Joint Work   International / domestic magazine:International journal  

  • On resilient supervisory control against actuator attacks in discrete event systems Invited Reviewed International coauthorship

    IEEE Control Systems Letters   6 ( 4 )   2942 - 2947   2022.04

     More details

    Authorship:Corresponding author   Publishing type:Research paper (scientific journal)   Kind of work:Joint Work   International / domestic magazine:International journal  

    DOI: 10.1109/LCSYS.2022.3168926

  • N-step nonblocking supervisory control of discrete-event systems Reviewed International coauthorship

    Renyuan Zhang, Z. Wang, Kai Cai

    Proc. the 60th IEEE Conference on Decision and Control   339 - 344   2021.12

     More details

    Publishing type:Research paper (international conference proceedings)   Kind of work:Joint Work  

  • Local opacity verification for distributed discrete event systems Invited Reviewed

    Sasinee Pruekprasert, Kai Cai

    Proc. the 60th IEEE Conference on Decision and Control   7022 - 7027   2021.12

     More details

    Publishing type:Research paper (international conference proceedings)   Kind of work:Joint Work  

  • Usability aware secret protection with minimum cost Invited Reviewed International coauthorship

    Shoma Matsui, Kai Cai

    NONLINEAR ANALYSIS-HYBRID SYSTEMS   43   2021.12( ISSN:1751-570X

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

    DOI: 10.1016/j.nahs.2021.101111

  • On efficient safe control based on supervisory control theory and deep reinforcement learning Invited

    Masahiro Konishi, Tomotake Sasaki, Kai Cai

    The Japan Joint Automatic Control Conference, Proceedings of the Japan Joint Automatic Control Conference   64 ( 0 )   388 - 393   2021.11

     More details

    Publishing type:Research paper (other academic)   Kind of work:Joint Work  

    DOI: 10.11511/jacc.64.0_388

    CiNii Article

  • Optimal secret protections in discrete-event systems Reviewed International coauthorship

    Ziyue Ma, Kai Cai

    IEEE Transactions on Automatic Control   2021.10

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

    DOI: 10.1109/TAC.2021.3091438

  • Structural controllability and time-to-control of directed scale-free networks with minimum number of driver nodes Reviewed

    Takanobu Imae, Kai Cai

    SYSTEMS & CONTROL LETTERS   156   2021.10( ISSN:0167-6911

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

    DOI: 10.1016/j.sysconle.2021.105025

  • Application of supervisory control to secret protection in discrete-event systems Invited Reviewed International coauthorship

    Shoma Matsui and Kai Cai

    公益社団法人 計測自動制御学会 計測と制御   60 ( 1 )   14 - 20   2021.01( ISSN:0453-4662

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

    DOI: 10.11499/sicejl.60.14

    CiNii Article

  • Real-time estimation of the optically detected magnetic resonance shift in diamond quantum thermometry toward biological applications Reviewed International coauthorship

    Fujiwara Masazumi, Dohms Alexander, Suto Ken, Nishimura Yushi, Oshimi Keisuke, Teki Yoshio, Kai Cai, Benson Oliver, Shikano Yutaka

    PHYSICAL REVIEW RESEARCH   2 ( 4 )   2020.12

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

    DOI: 10.1103/PhysRevResearch.2.043415

  • An O(n^2) algorithm for supervisor reduction/ localization of discrete-event systems Reviewed International coauthorship

    L. Wu, Kai Cai, R. Zhang, and Y. Liu

    Proceedings of Workshop on Discrete Event Systems   211 - 216   2020.11

     More details

    Publishing type:Research paper (international conference proceedings)   Kind of work:Joint Work  

  • Online supervisory control with optimal task assignment for efficient and adaptive warehouse automation

    Kasahara Moeto, Kai Cai

    自動制御連合講演会 自動制御連合講演会講演論文集   90 - 93   2020.11

     More details

    Publishing type:Research paper (other academic)   Kind of work:Joint Work  

    DOI: 10.11511/jacc.63.0_90

    CiNii Article

  • Distributed output regulation of heterogeneous uncertain linear agents Reviewed

    Kawamura Satoshi, Kai Cai, Kishida Masako

    AUTOMATICA   2020.09( ISSN:0005-1098

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

    DOI: 10.1016/j.automatica.2020.109094

  • Tight bound on parameter of surplus-based averaging algorithm over balanced digraphs Reviewed International coauthorship

    Kawamura Satoshi, Kai Cai, Ye Mengbin, Lin Zhiyun

    INTERNATIONAL JOURNAL OF CONTROL   93 ( 8 )   1859 - 1866   2020.08( ISSN:0020-7179

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

    DOI: 10.1080/00207179.2018.1535200

  • Localisation-based distributed control of timed discrete-event systems with communication delay Reviewed International coauthorship

    Zhang Renyuan, Kai Cai

    INTERNATIONAL JOURNAL OF CONTROL   2020.07( ISSN:0020-7179

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

    DOI: 10.1080/00207179.2020.1793000

  • Distributed algorithm for a finite time horizon resource allocation over a directed network Reviewed International coauthorship

    Li Wei, Lin Zhiyun, Kai Cai, Yan Gangfeng

    IET CONTROL THEORY AND APPLICATIONS   14 ( 9 )   1170 - 1182   2020.06( ISSN:1751-8644

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

    DOI: 10.1049/iet-cta.2019.1404

  • An O(n^2) algorithm for supervisor reduction/ localization of discrete-event systems Reviewed International coauthorship

    L. Wu, Kai Cai, R. Zhang, Y. Liu

    Proceedings of Workshop on Discrete Event Systems   2020.05

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

  • Warehouse automation by logistic robotic networks: a cyber-physical control approach Invited Reviewed

    Kai Cai

    FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING   21 ( 5 )   693 - 704   2020.05( ISSN:2095-9184

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Single Work  

    DOI: 10.1631/FITEE.2000156

  • Supervisor localization for large-scale discrete-event systems under partial observation Reviewed International coauthorship

    International Journal of Control   93 ( 3 )   387 - 399   2020.03

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

  • Distributed Dual Gradient Tracking for Resource Allocation in Unbalanced Networks Reviewed International coauthorship

    Zhang Jiaqi, You Keyou, Kai Cai

    IEEE TRANSACTIONS ON SIGNAL PROCESSING   68   2186 - 2198   2020.03( ISSN:1053-587X

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

    DOI: 10.1109/TSP.2020.2981762

  • Supervisory control of discrete-event systems Invited Reviewed International coauthorship

    Kai Cai and W.M. Wonham

    Encyclopedia of Systems and Control, 2nd ed., Springer   2020.01

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

    DOI: https://doi.org/10.1007/978-1-4471-5102-9_54-2

  • Supervisor Localization of Timed Discrete-Event Systems Under Partial Observation Reviewed International coauthorship

    Zhang Renyuan, Cai Kai

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL   65 ( 1 )   295 - 301   2020.01( ISSN:0018-9286

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

    DOI: 10.1109/TAC.2019.2912008

  • Supervisory control of discrete-event systems Reviewed International coauthorship

    In: J. Baillieul, T. Samad (eds) Encyclopedia of Systems and Contro   2   2020

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

  • Supervisory control of discrete-event systems Reviewed

    Kai Cai, W.M. Wonham

    Encyclopedia of Systems and Control, 2nd ed., Springer   2020

     More details

    Publishing type:Research paper (scientific journal)  

  • Human tracking system using a LiDAR fixed on the ground and multiple UAVs Reviewed

    TAKUBO Tomohito, SASAKI Toru, YAMANO Takahide, UENO Atsushi, Kai Cai, MIYAMOTO Ryusuke, HARA Shinsuke

    The Japan Society of Mechanical Engineers, The Proceedings of JSME annual Conference on Robotics and Mechatronics (Robomec)   2A1 - B17   2020

     More details

    Publishing type:Research paper (other academic)   Kind of work:Joint Work  

    <p>The method attaching a color 2D code to an object which it is difficult to find features even by using color and point cloud data with CSHOT descriptor is proposed. If the object composed of simple planes, there are no remarkable characteristic on the SHOT descriptor. Furthermore, there are products that have different characteristic color information even though they are the same product like food packages. The proposed method is powerful tool to find such kind of objects.</p>

    DOI: 10.1299/jsmermd.2020.2A1-B17

    CiNii Article

  • Secret securing with multiple protections and minimum costs Reviewed

    S. Matsui, Kai Cai

    Proceedings of the 58th IEEE Conference on Decision and Control   7635 - 7640   2019.12

     More details

    Publishing type:Research paper (scientific journal)  

  • Robust output regulation of networked heterogeneous linear agents by distributed internal model principle Reviewed

    S. Kawamura, Kai Cai, M. Kishida

    Proceedings of the 58th IEEE Conference on Decision and Control   7301 - 7306   2019.12

     More details

    Publishing type:Research paper (international conference proceedings)   Kind of work:Joint Work  

  • Top-Down Synthesis of Multiagent Formation Control: An Eigenstructure Assignment Based Approach Reviewed

    Motoyama Takatoshi, Cai Kai

    IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS   6 ( 4 )   1404 - 1414   2019.12( ISSN:2325-5870

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

    DOI: 10.1109/TCNS.2019.2890980

  • Secret securing with multiple protections and minimum costs Invited Reviewed

    S. Matsui , Kai Cai

    Proceedings of the 58th IEEE Conference on Decision and Control   7635 - 7640   2019.12

     More details

    Publishing type:Research paper (international conference proceedings)   Kind of work:Joint Work  

  • Supervisor localization Reviewed

    Kai Cai

    Encyclopedia of Electrical & Electronics Engineering, Wiley   2019.11

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Single Work  

  • Supervisor localization Invited Reviewed

    Kai Cai

    Encyclopedia of Electrical & Electronics Engineering, Wiley   2019.11

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Single Work  

    DOI: https://doi.org/10.1002/047134608X.W8402

  • On scalable supervisory control of multi-agent discrete-event systems Reviewed International coauthorship

    Liu Yingying, Cai Kai, Li Zhiwu

    AUTOMATICA   2019.10( ISSN:0005-1098

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

    DOI: 10.1016/j.automatica.2019.06.012

  • On consistent reduction in discrete-event systems Invited Reviewed International coauthorship

    Kai Cai, A. Giua, and C. Seatzu

    Proceedings of the 15th International Conference on Automation Science and Engineering   474 - 479   2019.08

     More details

    Publishing type:Research paper (international conference proceedings)   Kind of work:Joint Work  

  • On consistent reduction in discrete-event systems Reviewed

    Kai Cai, A. Giua, C. Seatzu

    Proceedings of the 15th International Conference on Automation Science and Engineering   474 - 479   2019.08

     More details

    Publishing type:Research paper (scientific journal)  

  • Multi-Objective Optimal Charging Control of Plug-In Hybrid Electric Vehicles in Power Distribution Systems Reviewed International coauthorship

    Li Wei, Lin Zhiyun, Cai Kai, Zhou Hanyun, Yan Gangfeng

    ENERGIES   12 ( 13 )   2563 - 2582   2019.07( ISSN:1996-1073

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

    DOI: 10.3390/en12132563

  • Relative coobservability in decentralized supervisory control of discrete-event systems Reviewed International coauthorship

    Kai Cai, Renyuan Zhang, W.M. Wonham

    International Journal of Control   92 ( 7 )   1481 - 1489   2019.07

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work   International / domestic magazine:International journal  

    DOI: 10.1080/00207179.2017.1397754

  • Application of online supervisory control of discrete-event systems to multi-robot warehouse automation Reviewed International coauthorship

    Tatsumoto Yuta, Shiraishi Masahiro, Kai Cai, Lin Zhiyun

    CONTROL ENGINEERING PRACTICE   81   97 - 104   2018.12( ISSN:0967-0661

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

    DOI: 10.1016/j.conengprac.2018.09.003

  • On algebraic connectivity of directed scale-free networks Reviewed

    Imae Takanobu, Kai Cai

    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS   355 ( 16 )   8065 - 8078   2018.11( ISSN:0016-0032

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

    DOI: 10.1016/j.jfranklin.2018.07.038

  • Secret securing with minimum cost

    Shoma Matsui, Kai Cai

    自動制御連合講演会 自動制御連合講演会講演論文集   61 ( 0 )   1017 - 1024   2018.11

     More details

    Publishing type:Research paper (conference, symposium, etc.)   Kind of work:Joint Work  

    DOI: 10.11511/jacc.61.0_1017

    CiNii Article

  • Tight bound on parameter of surplus-based averaging algorithm over balanced digraphs Reviewed

    S. Kawamura, Kai Cai, M. Ye, Z. Lin

    International Journal of Control   2018.10

     More details

    Publishing type:Research paper (scientific journal)  

  • Tight bound on parameter of surplus-based averaging algorithm over balanced digraphs Reviewed International coauthorship

    S. Kawamura, Kai Cai, M. Ye, and Z. Lin

    International Journal of Control   2018.10

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

    DOI: https://doi.org/10.1080/00207179.2018.1535200

  • Online supervisory control of multi-agent discrete-event systems with warehouse automation case study Reviewed

    M. Shiraishi, Y. Tatsumoto, Kai Cai, Z. Lin

    Proceedings of SICE Annual Conference   1059 - 1062   2018.09

     More details

    Publishing type:Research paper (scientific journal)  

  • Online supervisory control of multi-agent discrete-event systems with warehouse automation case study Invited Reviewed International coauthorship

    M. Shiraishi, Y. Tatsumoto, Kai Cai, Z. Lin

    Proceedings of SICE Annual Conference   1059 - 1062   2018.09

     More details

    Publishing type:Research paper (international conference proceedings)   Kind of work:Joint Work  

  • Decentralized opacity enforcement in discrete event systems using supervisory control Reviewed

    Y. Tong, Kai Cai, A. Giua

    Proceedings of SICE Annual Conference   1053 - 1058   2018.09

     More details

    Publishing type:Research paper (scientific journal)  

  • Decentralized opacity enforcement in discrete event systems using supervisory control Invited Reviewed International coauthorship

    Y. Tong, Kai Cai, A. Giua

    Proceedings of SICE Annual Conference   1053 - 1058   2018.09

     More details

    Publishing type:Research paper (international conference proceedings)   Kind of work:Joint Work  

  • On spectral properties of directed scale-free networks Reviewed

    T. Imae, Kai Cai

    Proceedings of the 23rd International Symposium on Mathematical Theory of Networks and Systems   828 - 830   2018.07

     More details

    Publishing type:Research paper (scientific journal)  

  • Further study on parameter bound of surplus-based averaging algorithm Invited Reviewed

    S. Kawamura, Kai Cai

    Proceedings of the 23rd International Symposium on Mathematical Theory of Networks and Systems   787 - 790   2018.07

     More details

    Publishing type:Research paper (international conference proceedings)   Kind of work:Joint Work  

  • Further study on parameter bound of surplus-based averaging algorithm Reviewed

    S. Kawamura, Kai Cai

    Proceedings of the 23rd International Symposium on Mathematical Theory of Networks and Systems   787 - 790   2018.07

     More details

    Publishing type:Research paper (scientific journal)  

  • On spectral properties of directed scale-free networks Invited Reviewed

    T. Imae, Kai Cai

    Proceedings of the 23rd International Symposium on Mathematical Theory of Networks and Systems   828 - 830   2018.07

     More details

    Publishing type:Research paper (international conference proceedings)   Kind of work:Joint Work  

  • Localization-based distributed control for large discrete-event systems under partial observation Reviewed International coauthorship

    R. Zhang, Kai Cai

    Proceedings of the 30th Chinese Control and Decision Conference   1492 - 1497   2018.06

     More details

    Publishing type:Research paper (international conference proceedings)   Kind of work:Joint Work  

  • Localization-based distributed control for large discrete-event systems under partial observation Reviewed

    R. Zhang, Kai Cai

    Proceedings of the 30th Chinese Control and Decision Conference   1492 - 1497   2018.06

     More details

    Publishing type:Research paper (scientific journal)  

  • Supervisor localization of discrete-event systems with infinite behavior Reviewed

    R. Zhang, Kai Cai

    Proceedings of Workshop on Discrete Event Systems   372 - 377   2018.05

     More details

    Publishing type:Research paper (scientific journal)  

  • On scalable supervisory control of multi-agent discrete-event systems Reviewed

    Y. Liu, Kai Cai, Z. Li

    Proceedings of Workshop on Discrete Event Systems   36 - 41   2018.05

     More details

    Publishing type:Research paper (scientific journal)  

  • Application of Supervisory Control Theory with Warehouse Automation Case Study (システム設計への事象駆動アプローチ : 応用と展開 特集号) Reviewed

    辰本 佑太, 白石 昌大, Kai Cai

    一般社団法人 システム制御情報学会 システム/制御/情報   62 ( 6 )   203 - 208   2018.05( ISSN:0916-1600

     More details

    Publishing type:Research paper (scientific journal)  

    DOI: 10.11509/isciesci.62.6_203

    CiNii Article

  • On scalable supervisory control of multi-agent discrete-event systems Reviewed International coauthorship

    Y. Liu, Kai Cai, Z. Li

    Proceedings of Workshop on Discrete Event Systems   36 - 41   2018.05

     More details

    Publishing type:Research paper (international conference proceedings)   Kind of work:Joint Work  

  • Supervisor localization of discrete-event systems with infinite behavior Reviewed International coauthorship

    R. Zhang, Kai Cai

    Proceedings of Workshop on Discrete Event Systems   372 - 377   2018.05

     More details

    Publishing type:Research paper (international conference proceedings)   Kind of work:Joint Work  

  • Supervisory control of discrete-event systems: A brief history Reviewed

    Wonham W. M., Kai Cai, Rudie Karen

    ANNUAL REVIEWS IN CONTROL   45   250 - 256   2018.04( ISSN:1367-5788

     More details

    Publishing type:Research paper (scientific journal)  

    DOI: 10.1016/j.arcontrol.2018.03.002

  • Characterizations and effective computation of supremal relatively observable sublanguages Invited Reviewed International coauthorship

    Kai Cai, R. Zhang, W.M. Wonham

    Discrete Event Dynamic Systems   28 ( 2 )   269 - 287   2018.02

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work   International / domestic magazine:International journal  

    DOI: 10.1007/s10626-017-0250-0

  • Shooting Position Planning of UAV for Compensating Image Resolution Reviewed

    UCHIBORI Yuki, TAKUBO Tomohito, UENO Atsushi, CAI Kai, MIYAMOTO Ryusuke, HARA Shinsuke

    The Japan Society of Mechanical Engineers, The Proceedings of JSME annual Conference on Robotics and Mechatronics (Robomec)   2018 ( 0 )   1P1 - B12   2018

     More details

    Publishing type:Research paper (scientific journal)  

    <p>Shooting position planning method for shooting multiple humans on the ground efficiently from a certain altitude by calculating shooting area for shooting high quality image with camera specification. In proposed method, shooting area of the human is calculated by setting shooting vector which is introduced in Image Information Added Map making method we proposed on multiple humans on the ground. Shooting positions of UAVs is planned by solving a Set Covering Problem set with shooting area humans has. Also, the proposed shooting position planning is implemented on simulation.</p>

    DOI: 10.1299/jsmermd.2018.1P1-B12

    CiNii Article

  • Recognizing own UAV Position and Measuring position of a person using Camera Image Reviewed

    SAITO Haruka, TAKUBO Tomohito, UENO Atsushi, CAI Kai, MIYAMOTO Ryusuke, HARA Shinsuke

    The Japan Society of Mechanical Engineers, The Proceedings of JSME annual Conference on Robotics and Mechatronics (Robomec)   2018 ( 0 )   1P1 - C08   2018

     More details

    Publishing type:Research paper (scientific journal)  

    <p>Methods for estimating UAV own position with a marker is proposed. In this paper, UAV own position is estimated when the camera on the UAV photographes the markers set on the ground, and a person position is measuring by the same camera. Measurement error is reduced by means of a Kalman filter. The simulation result shows two orbits, either is actual position of a person and another is stimulated one.</p>

    DOI: 10.1299/jsmermd.2018.1P1-C08

    CiNii Article

  • Fast centralized integer resource allocation algorithm and its distributed extension over digraphs Reviewed International coauthorship

    Yun Xu, Gangfeng Yan, Kai Cai, Zhiyun Lin

    NEUROCOMPUTING   270   91 - 100   2017.12( ISSN:0925-2312

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work   International / domestic magazine:International journal  

    DOI: 10.1016/j.neucom.2017.03.089

  • Tight Bound on Parameter of Surplus-Based Averaging Algorithm over Balanced Digraphs

    Satoshi Kawamura, Kai Cai

    自動制御連合講演会 自動制御連合講演会講演論文集   60 ( 0 )   1271 - 1274   2017.11

     More details

    Publishing type:Research paper (other academic)   Kind of work:Joint Work   International / domestic magazine:Domestic journal  

    DOI: 10.11511/jacc.60.0_1271

    CiNii Article

  • 運動時の生体情報収集における920MHz帯無線伝搬特性に関する研究 Reviewed

    小倉裕史, 蔡 凱, 田窪朋仁, 原 晋介, 濱上卓磨, 川本康貴

    電子情報通信学会技術研究報告   117 ( 281 )   23 - 26   2017.11

     More details

    Publishing type:Research paper (scientific journal)  

  • ウェアラブル生体センサノードに対するタスク配分によるエネルギ消費削減 Reviewed

    木本雅也, 島崎拓則, 蔡 凱, 田窪朋仁, 原 晋介

    電子情報通信学会技術研究報告   117 ( 281 )   27 - 32   2017.11

     More details

    Publishing type:Research paper (scientific journal)  

  • ウェアラブル生体センサノードに対するタスク配分によるエネルギ消費削減

    木本雅也, 島崎拓則, 蔡 凱, 田窪朋仁, 原 晋介

    電子情報通信学会技術研究報告   117 ( 281 )   27 - 32   2017.11

     More details

    Publishing type:Research paper (other academic)   Kind of work:Joint Work  

  • 運動時の生体情報収集における920MHz帯無線伝搬特性に関する研究

    小倉裕史, 蔡 凱, 田窪朋仁, 原 晋介, 濱上卓磨, 川本康貴

    電子情報通信学会技術研究報告   117 ( 281 )   23 - 26   2017.11

     More details

    Publishing type:Research paper (other academic)   Kind of work:Joint Work  

  • Algebraic Connectivity of Directed Scale-Free Networks

    Takanobu Imae, Kai Cai

    自動制御連合講演会 自動制御連合講演会講演論文集   60 ( 0 )   1275 - 1278   2017.11

     More details

    Publishing type:Research paper (other academic)   Kind of work:Joint Work   International / domestic magazine:Domestic journal  

    DOI: 10.11511/jacc.60.0_1275

    CiNii Article

  • Supervisor localization of discrete-event systems under partial observation Reviewed International coauthorship

    Renyuan Zhang, Kai Cai, W.M. Wonham

    AUTOMATICA   81   142 - 147   2017.07( ISSN:0005-1098

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work   International / domestic magazine:International journal  

    DOI: 10.1016/j.automatica.2017.03.018

  • 低アンテナ高時の920MHz帯無線伝搬特性に関する研究 Reviewed

    小倉 裕史, 蔡 凱, 田窪 朋仁, 原 晋介

    電子情報通信学会技術研究報告   117 ( 123 )   69 - 73   2017.07

     More details

    Publishing type:Research paper (scientific journal)  

  • Supervisory control of discrete-event systems: a brief history -- 1980-2015 Reviewed

    W.M. Wonham, Kai Cai, K. Rudie

    Proceedings of the 20th IFAC World Congress   1827 - 1833   2017.07

     More details

    Publishing type:Research paper (scientific journal)  

  • 低アンテナ高時の920MHz帯無線伝搬特性に関する研究

    小倉 裕史, 蔡 凱, 田窪 朋仁, 原 晋介

    電子情報通信学会技術研究報告   117 ( 123 )   69 - 73   2017.07

     More details

    Publishing type:Research paper (other academic)   Kind of work:Joint Work  

  • Supervisory control of discrete-event systems: a brief history -- 1980-2015 Invited Reviewed

    W.M. Wonham, Kai Cai, K. Rudie

    Proceedings of the 20th IFAC World Congress   1827 - 1833   2017.07

     More details

    Publishing type:Research paper (international conference proceedings)   Kind of work:Joint Work   International / domestic magazine:International journal  

  • A distributed algorithm for resource allocation over dynamic digraphs Reviewed International coauthorship

    Yun Xu, Tingrui Han, Kai Cai, Zhiyun Lin, Gangfeng Yan, Minyue Fu

    IEEE TRANSACTIONS ON SIGNAL PROCESSING   65 ( 10 )   2600 - 2612   2017.05( ISSN:1053-587X

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work   International / domestic magazine:International journal  

    DOI: 10.1109/TSP.2017.2669896

  • Top-down synthesis of multi-agent formation control: an eigenstructure assignment based approach Reviewed

    Takatoshi Motoyama, Kai Cai

    Proceedings of American Control Conference   259 - 264   2017.05

     More details

    Publishing type:Research paper (scientific journal)  

  • Top-down synthesis of multi-agent formation control: an eigenstructure assignment based approach Reviewed International coauthorship

    Takatoshi Motoyama and Kai Cai

    Proceedings of American Control Conference   259 - 264   2017.05

     More details

    Publishing type:Research paper (international conference proceedings)   Kind of work:Joint Work   International / domestic magazine:International journal  

  • Correction to "Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages" Reviewed International coauthorship

    Kai Cai, Renyuan Zhang, W.M. Wonham

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL   62 ( 1 )   511 - 511   2017.01( ISSN:0018-9286

     More details

    Publishing type:Research paper (scientific journal)   Kind of work:Joint Work  

    DOI: 10.1109/TAC.2016.2545867

  • Relative Observability and Coobservability of Timed Discrete-Event Systems Reviewed

    Cai Kai, Zhang Renyuan, Wonham W. M.

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL   61 ( 11 )   3398 - 3411   2016.11( ISSN:0018-9286

     More details

    Publishing type:Research paper (scientific journal)  

    DOI: 10.1109/TAC.2015.2513370

  • Distributed supervisory control of discrete-event systems with communication delay Reviewed

    Zhang Renyuan, Cai Kai, Gan Yongmei, Wonham W. M.

    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS   26 ( 2 )   263 - 293   2016.06( ISSN:0924-6703

     More details

    Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/s10626-014-0208-4

  • Hierarchical Formation Control of Multi-Agent System by Eigenstructure Assignment Reviewed

    Motoyama Takatoshi, Cai Kai, Hara Shinsuke

    The Japan Joint Automatic Control Conference, Proceedings of the Japan Joint Automatic Control Conference   59 ( 0 )   102 - 106   2016

     More details

    Publishing type:Research paper (scientific journal)  

    <p>We propose a top-down approach for formation control of heterogeneous multi-agent systems, based on the method of eigenstructure assignment. Given the problem of achieving scalable formations on the plane, we present a hierarchical synthesis procedure to compute a state feedback control that assigns desired closed-loop eigenvalues/eigenvectors. This hierarchical control synthesis not only solves the multi-agent formation control problem, but also is computationally efficient. We demonstrate our results by simulation examples.</p>

    DOI: 10.11511/jacc.59.0_102

    CiNii Article

  • Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation Reviewed

    Zhang Renyuan, Cai Kai, Gan Yongmei, Wonham W. M.

    INTERNATIONAL JOURNAL OF CONTROL   89 ( 10 )   2055 - 2072   2016( ISSN:0020-7179

     More details

    Publishing type:Research paper (scientific journal)  

    DOI: 10.1080/00207179.2016.1147606

  • New results on supervisor localization, with case studies Reviewed

    Cai Kai, Wonham W. M.

    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS   25 ( 1-2 )   203 - 226   2015.06( ISSN:0924-6703

     More details

    Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/s10626-014-0194-6

  • Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages Reviewed

    Cai Kai, Zhang Renyuan, Wonham W. M.

    IEEE TRANSACTIONS ON AUTOMATIC CONTROL   60 ( 3 )   659 - 670   2015.03( ISSN:0018-9286

     More details

    Publishing type:Research paper (scientific journal)  

    DOI: 10.1109/TAC.2014.2341891

  • Local average consensus in distributed measurement of spatial-temporal varying parameters: 1D case Reviewed

    Cai Kai, Anderson Brian D. O., Yu Changbin, Mao Guoqiang

    AUTOMATICA   52   135 - 145   2015.02( ISSN:0005-1098

     More details

    Publishing type:Research paper (scientific journal)  

    DOI: 10.1016/j.automatica.2014.11.002

  • TGF-β1はNF-κBにより前十字靱帯線維芽細胞のMMP-2介在創傷治癒を促進する(TGF-β1 promoted MMP-2 mediated wound healing of anterior cruciate ligament fibroblasts through NF-κB) Reviewed

    Wang Yequan, Tang Zhenyu, Xue Ruyue, Singh Gurinder K., Lv Yonggang, Shi Kunning, Cai Kaiyong, Deng Linhong, Yang Li

    Informa Healthcare Connective Tissue Research   52 ( 3 )   218 - 225   2011.06( ISSN:0300-8207

     More details

    Publishing type:Research paper (scientific journal)  

    前十字靱帯(ACL)の創傷治癒過程における形質転換成長因子(TGF)-β1誘発マトリックスメタロプロテイナーゼ(MMP)活性の機能、およびTGF-β1誘発性MMP-2産生におけるNF-κB経路の役割について検討した。その結果、TGF-β1はMMP-2値およびMMP-2/MMP組織阻害剤比の劇的上昇を誘発した。外因性MMP-2は、in vitroでACL線維芽細胞の創傷治癒能を有意に促進し、この促進はMMP阻害剤により有意に阻害された。TGF-β1はACL線維芽細胞の増殖も促進したが、MMP-2単独では増殖がみられなかったことより、MMP-2活性は増殖には関与しないことが示された。TGF-β1誘発MMP-2活性は、Bay11-7082、Bay11-7085(NF-κB阻害剤)により阻害された。TGF-β1上昇は線維芽細胞の移動および増殖促進によりACL治癒過程を促進すること、細胞移動過程はMMP-2により媒介され、NF-κB経路がTGF-β1介在MMP-2遊離に関与していることが示された。

▼display all

Books and Other Publications

  • Directed Cooperation of Multi-Agent Systems (v2.0) International journal

    Kai Cai and Zhiyun Lin( Role: Joint author)

    Kindle Direct Publishing  2023.12  ( ISBN:9798372563322

     More details

    Total pages:265   Responsible for pages:1--265   Book type:Scholarly book Participation form:First Author

  • Directed Cooperation of Multi-Agent Systems International journal

    Kai Cai and Zhiyun Lin( Role: Joint author)

    Kindle Direct Publishing  2023.01  ( ISBN:9798372563322

     More details

    Total pages:265   Responsible for pages:1--265   Book type:Scholarly book Participation form:First Author

  • Supervisory Control of Discrete-Event Systems

    W.M. Wonham, Kai Cai( Role: Joint author)

    Springer  2019.01  ( ISBN:978-3-319-77452-7

     More details

    Book type:Textbook, survey, introduction

  • Supervisory Control of Discrete-Event Systems

    W.M. Wonham, Kai Cai( Role: Sole author)

    Springer  2019.01 

     More details

    Book type:Scholarly book

  • Supervisor Localization : A Top-Down Approach to Distributed Control of Discrete-Event Systems

    Kai Cai, W.M. Wonham( Role: Sole author)

    Springer  2016  ( ISBN:9783319204956

     More details

    Book type:Scholarly book

  • Supervisor Localization : A Top-Down Approach to Distributed Control of Discrete-Event Systems

    Kai Cai, W.M. Wonham( Role: Joint author)

    Springer  2016  ( ISBN:9783319204956

     More details

    Book type:Scholarly book

    CiNii Books

  • 日语完全教程 : 练习册

    日本语教育教材开发委员会( Role: Sole author)

    北京大学出版社  2013  ( ISBN:9787301216057

     More details

    Book type:Scholarly book

    CiNii Books

  • 语文

    广东基础教育课程资源研究开发中心, 语文教材编写组( Role: Sole author)

    广东教育出版社  2010  ( ISBN:9787540678975

     More details

    Book type:Scholarly book

    CiNii Books

  • 日治台灣生活史 : 日本女人在台灣

    竹中 信子, 蔡 龍保, 曾 淑卿, 熊 凱弟( Role: Sole author)

    時報文化出版企業  2007  ( ISBN:9789571347554

     More details

    Book type:Scholarly book

    CiNii Books

  • 历史 : 必修 : 普通高中课程标准实验教科书

    人民教育出版社, 課程教材研究所, 历史课程教材研究开发中心( Role: Sole author)

    人民教育出版社  2007  ( ISBN:9787107202308

     More details

    Book type:Scholarly book

    CiNii Books

  • Vascular biology protocols

    Nair Sreejayan, Ren Jun Ph. D.( Role: Sole author)

    Humana Press  2007  ( ISBN:9781588295743

     More details

    Book type:Scholarly book

    CiNii Books

▼display all

MISC

Presentations

  • Transformational supervisor localization Invited International conference

    S. Thuijsman, M. Reniers, K. Cai

    IEEE Conference on Decision and Control  2023.12 

     More details

    Presentation type:Oral presentation (invited, special)  

  • Data-informativity for data-driven supervisory control of discrete-event systems Invited International conference

    T. Ohtsuka, K. Cai, K. Kashima

    IEEE Conference on Decision and Control  2023.12 

     More details

    Presentation type:Oral presentation (invited, special)  

  • Types of Graph Laplacian Matrices and their Roles in Cooperative Control of Multi-Agent Systems Invited International conference

    Kai Cai

    University of Victoria  2023.11  University of Victoria, Prof. Yang Shi

     More details

    Presentation type:Oral presentation (invited, special)  

    Venue:University of Victoria  

  • Types of Graph Laplacian Matrices and their Roles in Cooperative Control of Multi-Agent Systems Invited Domestic conference

    Kai Cai

    広島大学  2023.11  広島大学Masaaki Nagahara教授

     More details

    Presentation type:Oral presentation (invited, special)  

    Venue:広島大学  

  • Optimal secret protection in discrete event systems with dynamic clearance levels Invited International coauthorship International conference

    Ziyue Ma, Kai Cai

    IFAC World Congress   2023.07 

     More details

    Presentation type:Oral presentation (general)  

  • Congruences and Quotients: A Model-Independent Structural Approach in Systems and Control Invited International conference

    Kai Cai

    IEEE CSS (Control Systems Society) Day  2022.10 

     More details

    Presentation type:Oral presentation (invited, special)  

  • Consistent reduction in discrete-event systems Invited International coauthorship International conference

    Kai Cai, Alessandro Giua, and Carla Seatzu

    IFAC Workshop on Discrete Event Systems  2022.09 

     More details

    Presentation type:Oral presentation (invited, special)  

  • Transformational nonblocking verification International coauthorship International conference

    Sader Thuijsman, Michel Reniers, and Kai Cai

    IFAC Workshop on Discrete Event Systems  2022.09 

     More details

    Presentation type:Oral presentation (general)  

  • Efficient safe control via deep reinforcement learning and supervisory control -- case study on multi-robot warehouse automation International conference

    Masahiro Konishi, Tomotake Sasaki, and Kai Cai

    IFAC Workshop on Discrete Event Systems  2022.09 

     More details

    Presentation type:Oral presentation (general)  

  • Types of Graph Laplacian Matrices and their Roles in Cooperative Control of Multi-Agent Systems Invited

    Kai Cai

    九州大学 IMI 共同利用・短期共同研究 非公開講演会  2022.08  明治大学Satake Shohei准教授

     More details

    Presentation type:Oral presentation (invited, special)  

    Venue:九州大学  

  • Types of Graph Laplacian Matrices and their Roles in Cooperative Control of Multi-Agent Systems Invited

    Kai Cai

    2022.07  東京工業大学Hatanaka Takeshi准教授

     More details

    Presentation type:Oral presentation (invited, special)  

  • Secret protections in discrete-event systems with minimum costs Invited International coauthorship International conference

    Jiagang Jiang, Ziyue Ma, and Kai Cai

    American Control Conference  2022.06 

     More details

    Presentation type:Oral presentation (invited, special)  

  • Congruences and Quotients: Understanding Structural Reduction and Decomposition Invited Domestic conference

    Kai Cai

    第9回 制御部門マルチシンポジウム・パイオニア賞受賞記念講演  2022.03 

     More details

    Presentation type:Oral presentation (invited, special)  

  • Local opacity verification for distributed discrete event systems Invited International conference

    Sasinee Pruekprasert, Kai Cai

    60th IEEE Conference on Decision and Control  2021.12 

     More details

    Presentation type:Oral presentation (invited, special)  

  • N-step nonblocking supervisory control of discrete-event systems International conference

    Renyuan Zhang, Z. Wang, Kai Cai

    60th IEEE Conference on Decision and Control  2021.12 

     More details

    Presentation type:Oral presentation (general)  

  • Online multi-agent supervisory control for warehouse automation: prioritized tasks Invited International conference

    Moeto Kasahara, Kai Cai

    17th International Conference on Automation Science and Engineering  2021.08 

     More details

    Presentation type:Oral presentation (invited, special)  

  • Online multi-agent supervisory control for warehouse automation: heterogeneous payloads Invited International conference

    Moeto Kasahara, Kai Cai

    29th Mediterranean Conference on Control and Automation  2021.06 

     More details

    Presentation type:Oral presentation (invited, special)  

  • Control Theory: A Bridge from Math to Engineering Invited Domestic conference

    Kai Cai

    理学研究科主催FD研修会「新たな大学院教育の展開のためのFD研修会」  2020.03 

     More details

    Presentation type:Oral presentation (general)  

  • Robust output regulation of networked heterogeneous linear agents by distributed internal model principle Domestic conference

    Kai Cai

    58th IEEE Conference on Decision and Control  2019.12 

     More details

    Presentation type:Oral presentation (general)  

  • Robust output regulation of networked heterogeneous linear agents by distributed internal model principle International conference

    Kai Cai

    58th IEEE Conference on Decision and Control  2019.12 

     More details

    Presentation type:Oral presentation (general)  

  • Supervisory Control for Logistic Robotic Networks Invited International conference

    Kai Cai

    Eindhoven University of Technology  2019.11 

     More details

    Presentation type:Oral presentation (invited, special)  

  • Supervisory Control for Logistic Robotic Networks Domestic conference

    Kai Cai

    Eindhoven University of Technology  2019.11 

     More details

    Presentation type:Oral presentation (general)  

  • Consistent reduction in discrete-event systems Domestic conference

    Kai Cai

    15th International Conference on Automation Science and Engineering  2019.08 

     More details

    Presentation type:Oral presentation (general)  

  • Consistent reduction in discrete-event systems Invited International conference

    Kai Cai

    15th International Conference on Automation Science and Engineering  2019.08 

     More details

    Presentation type:Oral presentation (invited, special)  

  • Cyber-physical control framework for logistic robotic networks Domestic conference

    Kai Cai

    Tsinghua University  2019.05 

     More details

    Presentation type:Oral presentation (general)  

  • Cyber-physical control framework for logistic robotic networks Invited International conference

    Kai Cai

    Tsinghua University  2019.05 

     More details

    Presentation type:Oral presentation (invited, special)  

  • Supervisory Control for Logistic Robotic Networks Invited International conference

    Kai Cai

    University of Toronto  2018.12 

     More details

    Presentation type:Oral presentation (invited, special)  

  • Supervisory Control for Logistic Robotic Networks Domestic conference

    Kai Cai

    University of Toronto  2018.12 

     More details

    Presentation type:Oral presentation (general)  

  • Creating smart agents: a distributed control theory for DES Invited International conference

    Kai Cai

    "30 Years of the Ramadge-Wonham Theory of Supervisory Control: A Retrospective and Future Perspectives", Workshop at the 56th IEEE Conference on Decision and Control  2017.12 

     More details

    Presentation type:Oral presentation (invited, special)  

  • SCDES Retro-Pro-Spective: Parting (if not Parthian) Shots Domestic conference

    Kai Cai

    "30 Years of the Ramadge-Wonham Theory of Supervisory Control: A Retrospective and Future Perspectives", Workshop at the 56th IEEE Conference on Decision and Control  2017.12 

     More details

    Presentation type:Oral presentation (general)  

  • Creating smart agents: a distributed control theory for DES Domestic conference

    Kai Cai

    "30 Years of the Ramadge-Wonham Theory of Supervisory Control: A Retrospective and Future Perspectives", Workshop at the 56th IEEE Conference on Decision and Control  2017.12 

     More details

    Presentation type:Oral presentation (general)  

  • SCDES Retro-Pro-Spective: Parting (if not Parthian) Shots Invited International conference

    Kai Cai

    "30 Years of the Ramadge-Wonham Theory of Supervisory Control: A Retrospective and Future Perspectives", Workshop at the 56th IEEE Conference on Decision and Control  2017.12 

     More details

    Presentation type:Oral presentation (invited, special)  

  • Supervisory Control of Discrete-Event Systems: A Brief History Domestic conference

    Kai Cai

    Hangzhou Dianzi University  2017.09 

     More details

    Presentation type:Oral presentation (general)  

  • Supervisory Control of Discrete-Event Systems: A Brief History Invited International conference

    Kai Cai

    Hangzhou Dianzi University  2017.09 

     More details

    Presentation type:Public lecture, seminar, tutorial, course, or other speech  

  • Supervisory control of discrete-event systems: a brief history -- 1980-2015 Invited International conference

    Kai Cai

    20th IFAC World Congress  2017.07 

     More details

    Presentation type:Oral presentation (invited, special)  

  • Supervisory control of discrete-event systems: a brief history -- 1980-2015 Domestic conference

    Kai Cai

    20th IFAC World Congress  2017.07 

     More details

    Presentation type:Oral presentation (general)  

  • Supervisor localization for distributed control of discrete-event systems Invited International conference

    Kai Cai

    University of Cagliari  2017.03 

     More details

    Presentation type:Public lecture, seminar, tutorial, course, or other speech  

  • Top-Down Multi-Agent Formation Control: Eigenstructure Assignment Approach Domestic conference

    Kai Cai

    University of Cagliari  2017.03 

     More details

    Presentation type:Oral presentation (general)  

  • Supervisor localization for distributed control of discrete-event systems Domestic conference

    Kai Cai

    University of Cagliari  2017.03 

     More details

    Presentation type:Oral presentation (general)  

  • Top-Down Multi-Agent Formation Control: Eigenstructure Assignment Approach Invited International conference

    Kai Cai

    University of Cagliari  2017.03 

     More details

    Presentation type:Public lecture, seminar, tutorial, course, or other speech  

  • ジアシルグリセロールキナーゼθによるコレステロール代謝調節(Regulation of cholesterol metabolism by diacylglycerol kinase θ) Domestic conference

    Sewer Marion B., Cai Kai

    Journal of Pharmacological Sciences  2015.07  (公社)日本薬理学会

     More details

    Presentation type:Oral presentation (general)  

  • Billrotn II胃切除歴のある総胆管結石症患者に対する側視型十二指腸鏡による治療的ERCP(Therapeutic ERCP with Side-viewing Duodenoscope on Choledocholithiasis Patients with Billrotn II Gastrectomy History) Domestic conference

    Cai Kailin, Tao Kaixiong, Wang Guobing, Wang Jiliang

    Gastroenterological Endoscopy  2012.04  (一社)日本消化器内視鏡学会

     More details

    Presentation type:Oral presentation (general)  

▼display all

Grant-in-Aid for Scientific Research

  • Safe, Privacy-Aware, and Resource-Efficient Control Framework for Cyber-Physical Systems

    Fund for the Promotion of Joint International Research / Fostering Joint International Research (B)  2023

  • 情報の取得を包含した制御理論と統計的学習理論の融合数理基盤

    Grant-in-Aid for Scientific Research(A)  2023

  • Safe, Privacy-Aware, and Resource-Efficient Control Framework for Cyber-Physical Systems

    Fund for the Promotion of Joint International Research / Fostering Joint International Research (B)  2022.10

  • 情報の取得を包含した制御理論と統計的学習理論の融合数理基盤

    Grant-in-Aid for Scientific Research(A)  2022

  • 情報の取得を包含した制御理論と統計的学習の融合数理基盤

    Grant-in-Aid for Scientific Research(A)  2021.04

  • Robust and Adaptive Distributed Control of Discrete-Event Systems: A Supervisor Localization Based Approach

    Grant-in-Aid for Young Scientists(B)  2016.04

▼display all

Joint research

  • Fast and Reliable Risk-Aware Large-Scale Multi-Agent Motion Planning

    アメリカ・マサチューセッ ツ工科大学「Hayashi- ULVAC MISTI Seed Fund」  アメリカ・マサチューセッ ツ工科大学「Hayashi- ULVAC MISTI Seed Fund」  2023

  • ネットワーク化されたマルチエージェントシステムの協調追跡と出力同期に関する研究

    2018.04

  • New Trends in Control, Optimization, and Learning over Large-Scale Complex Networks

    2017.09

Contract research

  • 未来を創る新たなネットワーク基盤技術に関する研究開発

    2016.04

Other subsidies, etc.

  • Scalable Control Design Framework for Safety, Security, and Privacy in Large Complex Cyber-Physical Systems

    大学  戦略的研究推進事業(学内公募型研究助成) 「STEP-UP研究支援」   2023.06

  • BigData-Enabled Control Framework for Intelligent Logistic Automation

    大学  2018.04

Acceptance of Researcher

  • 2023  Number of researchers:3

  • 2022  Number of researchers:3

Original item・Special report (Research Activity)

  • 2023

     More details

    Original item:2023 IEEE Conference on Decision and ControlにおけるInvited Session "Security, Safety and Resilience of Discrete Event Systems"の企画,開催を行った.

  • 2023

     More details

    Original item:2023 IFAC World Congress におけるInvited Session "Discrete-Event Systems Security, Privacy, and Resilience"の企画,開催を行った.

  • 2023

     More details

    Original item:2023 IFAC World Congress におけるInvited Session "On Software Tools and Applications of Discrete Event Systems"の企画,開催を行った.

  • 2022

     More details

    Original item:Advanced Robotics学術誌におけるSpecial Issue "Control Technology for Networked and Distributed Robotics"の企画,査読,出版を行った.

  • 2022

     More details

    Original item:システム/制御/情報学術誌におけるSpecial Issue "率統計でもっと楽しくなるシステム制御"の企画,査読,出版を行った.

  • 2022

     More details

    Original item:交流協定校University of Cagliari, Italyを3週間訪問し,計10時間のセミナーを行った.

  • 2022

     More details

    Original item:2022 IFAC Workshop on Cyber Physical Human Systemsにおけるセッションの司会を行った.

  • 2022

     More details

    Original item:2022 IFAC Workshop on Discrete Event Systemsにおける3つのセッションの司会を行った.

  • 2022

     More details

    Original item:2022 American Control ConferenceにおけるInvited Session "Safety and Security of Discrete Event Systems"の企画,開催を行った.

▼display all

Charge of on-campus class subject

  • 電気情報工学応用演習

    2021     Undergraduate

  • Control of Discrete-Event Systems

    2021     Graduate school

  • 特別演習(システム制御Ⅱ)

    2021     Graduate school

  • 特別演習(システム制御Ⅰ)

    2021     Graduate school

  • Theory of Computation

    2021     Undergraduate

  • Linear Feedback Control Theory

    2021     Undergraduate

  • 制御システム工学

    2021     Undergraduate

  • 制御システム工学

    2020     Undergraduate

  • Linear Feedback Control Theory

    2020     Undergraduate

  • 特別演習(システム制御Ⅱ)

    2020     Graduate school

  • 特別演習(システム制御Ⅰ)

    2020     Graduate school

  • Theory of Computation

    2020     Undergraduate

  • Control of Discrete-Event Systems

    2020     Graduate school

  • 電気情報工学基礎演習B

    2020     Undergraduate

  • Control of Discrete-Event Systems

    2019     Graduate school

  • Theory of Computation

    2019     Undergraduate

  • 特別演習(システム制御Ⅰ)

    2019     Graduate school

  • 特別演習(システム制御Ⅱ)

    2019     Graduate school

  • Linear Feedback Control Theory

    2019     Undergraduate

  • 電気情報工学基礎演習B

    2019     Undergraduate

  • Theory of Computation

    2018     Undergraduate

  • 特別演習(システム制御Ⅰ)

    2018     Graduate school

  • 特別演習(システム制御Ⅱ)

    2018     Graduate school

  • Linear Feedback Control Theory

    2018     Undergraduate

  • 電気情報工学基礎演習B

    2018     Undergraduate

  • 技術と生命

    2018     Undergraduate

  • 電気情報工学応用演習

    2018     Undergraduate

  • Control of Discrete-Event Systems

    2018     Graduate school

  • 電気情報工学応用演習

    2017     Undergraduate

  • 技術と生命

    2017     Undergraduate

  • 電気情報工学基礎演習B

    2017     Undergraduate

  • Linear Feedback Control Theory

    2017     Undergraduate

  • 特別演習(システム制御Ⅱ)

    2017     Graduate school

  • 特別演習(システム制御Ⅰ)

    2017     Graduate school

  • Control of Discrete-Event Systems

    2017     Graduate school

  • Linear Feedback Control Theory

    2016     Undergraduate

  • Control of Discrete-Event Systems

    2016     Graduate school

  • Control of Discrete-Event Systems

    2015     Graduate school

▼display all

Faculty development activities

  • 教育方法の改善  2020

     More details

    電気情報工学科の電気情報工学基礎演習Bにおいて,「反転授業」を実施した

  • 教育方法の改善  2019

     More details

    電気情報工学科の電気情報工学基礎演習Bにおいて,「反転授業」を実施した

  • 教育方法の改善  2018

     More details

    電気情報工学科の電気情報工学基礎演習Bにおいて,「反転授業」を実施した

Number of papers published by graduate students

  • 2023

    Number of undergraduate student / college student presentations:Number of graduate students presentations:3

  • 2022

    Number of undergraduate student / college student presentations:Number of graduate students presentations:2

Number of instructed thesis, researches

  • 2023

    Number of instructed the graduation thesis:Number of graduation thesis reviews:3

    [Number of instructed the Master's Program] (previous term):[Number of instructed the Master's Program] (letter term):1

    [Number of master's thesis reviews] (chief):[Number of master's thesis reviews] (vice-chief):3

    [Number of doctoral thesis reviews] (chief):[Number of doctoral thesis reviews] (vice-chief):0

  • 2022

    Number of instructed the graduation thesis:Number of graduation thesis reviews:2

    [Number of instructed the Master's Program] (previous term):[Number of instructed the Master's Program] (letter term):1

    [Number of master's thesis reviews] (chief):[Number of master's thesis reviews] (vice-chief):8

    [Number of doctoral thesis reviews] (chief):[Number of doctoral thesis reviews] (vice-chief):0

  • 2021

    Number of instructed the graduation thesis:Number of graduation thesis reviews:4

    [Number of instructed the Master's Program] (previous term):[Number of instructed the Master's Program] (letter term):0

    [Number of master's thesis reviews] (chief):[Number of master's thesis reviews] (vice-chief):3

    [Number of doctoral thesis reviews] (chief):[Number of doctoral thesis reviews] (vice-chief):0

  • 2020

    Number of instructed the graduation thesis:Number of graduation thesis reviews:8

    [Number of instructed the Master's Program] (previous term):[Number of instructed the Master's Program] (letter term):0

    [Number of master's thesis reviews] (chief):[Number of master's thesis reviews] (vice-chief):3

    [Number of doctoral thesis reviews] (chief):[Number of doctoral thesis reviews] (vice-chief):0

  • 2019

    Number of instructed the graduation thesis:Number of graduation thesis reviews:2

    [Number of instructed the Master's Program] (previous term):[Number of instructed the Master's Program] (letter term):0

    [Number of master's thesis reviews] (chief):[Number of master's thesis reviews] (vice-chief):3

    [Number of doctoral thesis reviews] (chief):[Number of doctoral thesis reviews] (vice-chief):0

  • 2018

    Number of instructed the graduation thesis:Number of graduation thesis reviews:3

    [Number of instructed the Master's Program] (previous term):[Number of instructed the Master's Program] (letter term):0

    [Number of master's thesis reviews] (chief):[Number of master's thesis reviews] (vice-chief):3

    [Number of doctoral thesis reviews] (chief):[Number of doctoral thesis reviews] (vice-chief):0

  • 2017

    Number of instructed the graduation thesis:Number of graduation thesis reviews:3

    [Number of instructed the Master's Program] (previous term):[Number of instructed the Master's Program] (letter term):0

    [Number of master's thesis reviews] (chief):[Number of master's thesis reviews] (vice-chief):3

    [Number of doctoral thesis reviews] (chief):[Number of doctoral thesis reviews] (vice-chief):0

  • 2016

    Number of instructed the graduation thesis:Number of graduation thesis reviews:3

    [Number of instructed the Master's Program] (previous term):[Number of instructed the Master's Program] (letter term):0

    [Number of master's thesis reviews] (chief):[Number of master's thesis reviews] (vice-chief):0

    [Number of doctoral thesis reviews] (chief):[Number of doctoral thesis reviews] (vice-chief):0

  • 2015

    Number of instructed the graduation thesis:Number of graduation thesis reviews:2

    [Number of instructed the Master's Program] (previous term):[Number of instructed the Master's Program] (letter term):0

    [Number of master's thesis reviews] (chief):[Number of master's thesis reviews] (vice-chief):0

    [Number of doctoral thesis reviews] (chief):[Number of doctoral thesis reviews] (vice-chief):0

▼display all

Original item・Special report (Education Activity)

  • 2023

      More details

    Original item:2名外国人客員研究員(Internship Students from ENS Paris-Saclay)の受け入りと指導を行った

  • 2023

      More details

    Original item:1名外国人研究生の受け入りと指導を行った

  • 2023

      More details

    Original item: 外国博士後期課程学生(Shoma Matsui from Queen's University, Canada)の共同研究指導者を勤め,3ヶ月の来日の研究指導を行った.

  • 2022

      More details

    Special report:Virtual Lightning Tutorial Series, IEEE CSS TC Discrete Event Systems
    (Website: https://ieeecss.org/tc/discrete-event-systems/talk-series-2022)

    分野のトップ研究者や大学院生を招聘し,
    学部生・大学院生向けのチュートリアルを企画・開催した.

  • 2022

      More details

    Original item:1名外国人研究生の受け入りと指導を行った

  • 2022

      More details

    Original item: 博士後期課程の外国人学生(Sander Thuijsman from Eindhoven University of Technology, the Netherlands)の共同研究指導者を勤め,3ヶ月の来日の研究指導を行った.

  • 2021

      More details

    Original item:1名外国人研究生の受け入りと指導(オンライン)を行った

  • 2021

      More details

    Special report:Virtual Lightning Tutorial Series, IEEE CSS TC Discrete Event Systems
    (Website: http://ieeecss.org/tc/discrete-event-systems/tutorial-series)

    分野のトップ研究者を招聘し,
    学部生・大学院生向けのチュートリアルを企画・開催した.

  • 2020

      More details

    Original item:電気情報工学科3回生の相談員を務めた

  • 2019

      More details

    Original item:電気情報工学科2回生の相談員を務めた

  • 2019

      More details

    Original item:ブラジルのUniversidade Federal de Santa CatarinaとMOUを締結した,および先方の1名学部生を特別履修学生として受け入れた

  • 2018

      More details

    Original item:イタリアのUniversity of CagliariとMOUを締結した

  • 2018

      More details

    Original item:電気情報工学科1回生の相談員を務めた

  • 2018

      More details

    Original item:博士後期課程の外国人学生(Yingying Liu from Xidian University, China)の1年間受入と研究指導を行った.

  • 2017

      More details

    Original item:博士後期課程の外国人学生(Yingying Liu from Xidian University, China)の1年間受入と研究指導を行った.

▼display all

Social Activities

  • 62nd IEEE Conference on Decision and Control

    Role(s): Host

    2023.12

     More details

    Audience: Researchesrs

    Type:Other

    Number of participants:1,000(人)

  • IFAC World Congress

    Role(s): Host

    2023.07

     More details

    Audience: Researchesrs

    Type:Other

    Number of participants:3,000(人)

  • 4th IFAC Workshop on Cyber-Physical Human Systems

    Role(s): Host

    2022.12

     More details

    Audience: Researchesrs

    Type:Other

    Number of participants:100(人)

  • IFAC Workshop on Discrete Event Systems

    Role(s): Host

    2022.09

     More details

    Audience: Researchesrs

    Type:Other

    Number of participants:100(人)

  • American Control Conference 2023

    Role(s): Host, Edit

    2022.09 - 2022.11

     More details

    Audience: Researchesrs

    Type:Other

    Number of participants:500(人)

  • 61st IEEE Conference on Decision and Control

    Role(s): Edit

    2022.04 - 2022.06

     More details

    Audience: Researchesrs

    Type:Other

    Number of participants:1,000(人)

  • American Control Conference 2022

    Role(s): Edit

    2021.09 - 2021.11

     More details

    Audience: Researchesrs

    Type:Other

    Number of participants:500(人)

  • 60th IEEE Conference on Decision and Control

    Role(s): Host, Edit

    2021.04 - 2021.06

     More details

    Audience: Researchesrs

    Type:Other

    Number of participants:1,000(人)

  • American Control Conference 2021

    Role(s): Edit

    2020.09 - 2020.11

     More details

    Audience: Researchesrs

    Type:Other

    Number of participants:500(人)

  • 59th IEEE Conference on Decision and Control

    Role(s): Edit

    2020.04 - 2020.06

     More details

    Audience: Researchesrs

    Type:Other

    Number of participants:1,000(人)

  • American Control Conference 2020

    Role(s): Edit

    2019.09 - 2019.11

     More details

    Audience: Researchesrs

    Type:Other

    Number of participants:500(人)

  • 58th IEEE Conference on Decision and Control

    Role(s): Host, Edit

    2019.04 - 2019.06

     More details

    Audience: Researchesrs

    Type:Other

    Number of participants:1,000(人)

  • American Control Conference 2019

    Role(s): Edit

    2018.09 - 2018.11

     More details

    Audience: Researchesrs

    Type:Other

    Number of participants:500(人)

  • 57th IEEE Conference on Decision and Control

    Role(s): Edit

    2018.04 - 2018.06

     More details

    Audience: Researchesrs

    Type:Other

    Number of participants:1,000(人)

  • American Control Conference 2018

    Role(s): Edit

    2017.09 - 2017.11

     More details

    Audience: Researchesrs

    Type:Other

    Number of participants:500(人)

  • 1st IEEE Conference on Control Technology and Applications

    Role(s): Host, Edit

    2017.04 - 2017.08

     More details

    Audience: Researchesrs

    Type:Other

    Number of participants:30(人)

  • 56th IEEE Conference on Decision and Control

    Role(s): Edit

    2017.04 - 2017.06

     More details

    Audience: Researchesrs

    Type:Other

    Number of participants:1,000(人)

  • American Control Conference 2017

    Role(s): Edit

    2016.09 - 2016.11

     More details

    Audience: Researchesrs

    Type:Other

    Number of participants:30(人)

▼display all

Academic Activities

  • 論文査読

    Role(s): Peer review

    2023.04 - 2024.03

     More details

    Type:Peer review 

    論文査読件数:20件

  • 論文査読

    Role(s): Peer review

    2022.04 - 2023.03

     More details

    Type:Peer review 

    論文査読件数:20件

Foreigner acceptance

  • 2023

    foreigners accepted :3

    International Students :1

  • 2022

    foreigners accepted :2

    International Students :2

  • 2021

    International Students :2

  • 2018

    foreigners accepted :1

  • 2017

    foreigners accepted :1

International exchange activities

  • University of Victoriaに訪問,共同研究者Shi教授と研究推進を行った.

    Field category :Research

    Country name :カナダ   2023.11

  • University of Torontoに訪問,共同研究者Pavel教授と研究推進を行った.

    Field category :Research

    Country name :カナダ   2023.11

  • University of Torontoに訪問,共同研究者Kwong教授と研究推進を行った.

    Field category :Research

    Country name :カナダ   2023.09

  • 交流協定校University of Cagliariに訪問,共同研究者Alessandro教授と研究推進を行った.また,Cyber Physical Systemsに関する大学院生向けのセミナーを計6回行った.

    Field category :Research

    Country name :イタリア   2023.03

Job title

  • Job title within the department

    Graduate School of Informatics Department of Core Informatics 

    専攻長  2024.04

  • Job title within the department

    Graduate School of Informatics Department of Core Informatics 

    2023.04 - 2024.03

  • Job title within the department

    Graduate School of Informatics Department of Core Informatics 

    2023.04 - 2024.03

  • Job title within the department

    Graduate School of Informatics Department of Core Informatics 

    2023.04 - 2024.03

  • Job title within the department

    Graduate School of Informatics Department of Core Informatics 

    2022.04 - 2023.03

  • Job title within the department

    Graduate School of Informatics Department of Core Informatics 

    2022.04 - 2023.03

▼display all