Proj
J-GLOBAL ID：202104020822117363
Research Project code：15655705
ハイブリッドシステムのための超準プログラミング言語理論を用いた形式手法
ハイブリッドシステムのための超準プログラミング言語理論を用いた形式手法
National award number：JPMJPR15E5
Study period：2015 - 2018
Organization (1)：
Principal investigator：
(
, 大学院情報学研究科, 准教授 )
DOI：
https://doi.org/10.52926/JPMJPR15E5
Research overview：
大規模かつヘテロなシステムの挙動の理解という社会的課題の解決のために、連続的挙動と離散的挙動の混在したハイブリッドシステムを検証する形式手法を構築します。具体的には (1) ハイブリッドシステムのモデリング手法と形式検証アルゴリズムを数理論理学および不変条件発見手法等のプログラミング言語理論に基づいて構築し (2) その基盤に基づいた大規模ハイブリッドシステムのための安全性検証ツールの実装を目指します。
Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
,
,
,
Research program：
＞
＞
Parent Research Project：
社会的課題の解決に向けた数学と諸分野の協働
Organization with control over the research：
Japan Science and Technology Agency
