课题基金 / 基金详情

Forma verification of hybrid systems based on the infinitesimal programming

Forma verification of hybrid systems based on the infinitesimal programming
基于无穷小规划的混合系统形式验证
批准号：
25730040
负责人：
Suenaga Kohei
金额：
$2.66万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2016-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25730040/
关键词：
ハイブリッドシステムプログラム検証不変条件無限小プログラミング超準解析次元解析非線形不変条件システム検証形式手法形式検証プログラミング言語プログラミング言語理論プログラム意味論プログラム理論

项目摘要

项目成果

Suenaga Kohei的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(6)
专著(0)
科研奖励(0)
会议论文
制御入力値生成装置、制御入力値生成方法、および、プログラム
控制输入​​值生成装置、控制输入值生成方法以及程序
DOI： --
发表时间： 2014
期刊：
影响因子： --
作者： []
通讯作者：
不変条件生成装置，コンピュータプログラム，不変条件生成方法，プログラムコード製造方法
不变条件生成装置、计算机程序、不变条件生成方法、程序代码制作方法
DOI： --
发表时间： 2016
期刊：
影响因子： --
作者： []
通讯作者：
Input Synthesis for Sampled Data Sytems by Program Logic
通过程序逻辑对采样数据系统进行输入合成
DOI： --
发表时间： 2014
期刊：
影响因子： --
作者： [Minoru Kinoshita, Kohei Suenaga and Atsushi Igarashi, 山田真澄，大邑潤三，後藤浩之, Takumi Akazaki]
通讯作者： Takumi Akazaki
京都大学 Teen Racketeer 養成コース
京都大学青少年敲击训练课程
DOI： --
发表时间： 2015
期刊：
影响因子： --
作者： [五十嵐 淳, 中澤 巧爾, 馬谷 誠二, 関山 太朗, 花田 裕一朗, 大元 武, 宮本 洋平, 末永 幸平]
通讯作者： 末永 幸平
共 6 条
    Automated Theorem Proving with Machine Learning for Automating Mathematics
    • 批准号：
      19K22842
    • 项目类别：
      Grant-in-Aid for Challenging Research (Exploratory)
    • 资助金额：
      $3.99万
    • 财政年份：
      2019
    • 负责人：
      Suenaga Kohei
    • 依托单位：
      Kyoto University
    海外基金