Synthesising directed structures in Computer Science using Directed Algebraic Topology

使用有向代数拓扑合成计算机科学中的有向结构

• 批准号: 19K20215
• 负责人: DUBUT Jeremy
• 金额: $ 2.5万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Early-Career Scientists
• 财政年份: 2019
• 资助国家: 日本
• 起止时间: 2019-04-01 至 2022-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-19K20215/
• 关键词: algebraic topology; concurrency; language theory; robotics; topological robotics; concurrent systems; topology; category; directed structures; computer science

项目成果

Personal research webpage

个人研究网页

Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications

无 2-LTL 规范稳定性假设的连续时间非确定性系统的符号自触发控制

• DOI: 10.1109/icarcv50220.2020.9305387
• 发表时间: 2020
• 期刊: 2020 16th International Conference on Control, Automation, Robotics and Vision (ICARCV)
• 作者: 森山卓;Pruekprasert Sasinee
• 通讯作者: Pruekprasert Sasinee

Bisimilarity of Diagrams

图的相似性

• DOI: 10.1007/978-3-030-43520-2_5
• 发表时间: 2020
• 期刊: Lecture Notes in Computer Science
• 作者: Ohno Harumi;Murakami Haruka;Tanisawa Kumpei;Konishi Kana;Miyachi Motohiko;Dubut Jeremy
• 通讯作者: Dubut Jeremy

Friedrich-Alexander-Universitat(ドイツ)

弗里德里希亚历山大大学（德国）

A Functional Abstraction of Typed Invocation Contexts

类型化调用上下文的功能抽象

• DOI: 10.46298/lmcs-18
• 发表时间: 2022
• 期刊: Logical Methods in Computer Science
• 影响因子: 0.6
• 作者: Cong Youyou;Ishio Chiaki;Honda Kaho;Asai Kenichi
• 通讯作者: Asai Kenichi