Synthesising directed structures in Computer Science using Directed Algebraic Topology

2019 Fiscal Year Research-status Report

• Project/Area Number: 19K20215
• Research Institution: National Institute of Informatics
• Principal Investigator: DUBUT Jeremy 国立情報学研究所, 大学共同利用機関等の部局等, 特任研究員 (50836765)
• Project Period (FY): 2019-04-01 – 2022-03-31
• Keywords: topology / category / robotics / concurrency

Outline of Annual Research Achievements

The paper "Bisimilarity of diagrams" has been accepted to the international conference RAMiCS related to the grant. Two projects are on-going. 1) Directed Topological Robotics about extending topological robotics with a directed structure coming from control constraints; 2) Coalgebraic perspective of rational operations about understanding concatenation and iteration in a general manner, with the purpose of understanding those operations for truly concurrent systems.

Current Status of Research Progress

3: Progress in research has been slightly delayed.

Reason

Due to the global situation of the COVID-19, and due to unavailability of some of my colleagues in France, several planned trips have been canceled, delaying slightly the progress of the project.

Strategy for Future Research Activity

Project 2 is in a very advanced state, and a submission can be considered soon. Project 1 is still in an early stage, but progress is expected in the coming months.

Causes of Carryover

The reason for incurring amount to be used next fiscal year is due to canceled trips. This amount will be used for further trips if the global situation gets better.

Research Products

• [Journal Article] Bisimilarity of Diagrams (2020)
  • Author(s): Dubut Jeremy
  • Journal Title: Lecture Notes in Computer Science Volume: 12062 Pages: 65～81
  • DOI: 10.1007/978-3-030-43520-2_5
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Relational Differential Dynamic Logic (2020)
  • Author(s): Juraj Kolcak, Jeremy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger and Akihisa Yamada
  • Journal Title: TACAS 2020: Tools and Algorithms for the Construction and Analysis of Systems Volume: 12078 Pages: 191-208
  • DOI: 10.1007/978-3-030-45190-5_11
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] Complete Non-Orders and Fixed Points (2019)
  • Author(s): Akihisa Yamada and Jeremy Dubut
  • Journal Title: 10th International Conference on Interactive Theorem Proving (ITP 2019) Volume: 141 Pages: 1-16
  • DOI: 10.4230/LIPIcs.ITP.2019.30
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles (2019)
  • Author(s): Sasinee Pruekprasert, Xiaoyi Zhang, Jeremy Dubut, Chao Huang and Masako Kishida
  • Journal Title: 2019 IEEE Intelligent Transportation Systems Conference (ITSC) Volume: None Pages: 1-6
  • DOI: 10.1109/ITSC.2019.8917132
  • Peer Reviewed / Int'l Joint Research