课题基金 / 基金详情

Verification Techniques for Hybrid Systems based on Interval Constraint Programming and Deductive Reasoning

Verification Techniques for Hybrid Systems based on Interval Constraint Programming and Deductive Reasoning
基于区间约束规划和演绎推理的混合系统验证技术
批准号：
25880008
负责人：
ISHII Daisuke
金额：
$1.75万
依托单位：
Tokyo Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Research Activity Start-up
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-08-30 至 2015-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-25880008/
关键词：
ハイブリッドシステム制約プログラミング区間解析探索・論理・推論アルゴリズム並列分散処理国際研究者交流並列計算演繹的推論国際研究者交流: フランス、スウェーデン

项目摘要

项目成果

ISHII Daisuke的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(9)
专著(0)
科研奖励(0)
会议论文
非線形ハイブリッドシステムの可到達集合の精度保証
保证非线性混合系统可达集的精度
DOI： --
发表时间： 2014
期刊： 計測と制御
影响因子： --
作者： [石井大輔, 上田和紀]
通讯作者： 上田和紀
A branch and prune algorithm for the computation of generalized aspects of parallel robots
用于计算并行机器人广义方面的分支和剪枝算法
DOI： 10.1016/j.artint.2014.02.001
发表时间： 2014
期刊： Artificial Intelligence
影响因子： 14.4
作者： [S. Caro, D. Chablat, A. Goldsztejn, D. Ishii, C. Jermann]
通讯作者： C. Jermann
Scalable Parallel Numerical CSP Solver
可扩展的并行数值 CSP 求解器
DOI： --
发表时间： 2014
期刊：
影响因子： --
作者： [D. Ishii, K. Yoshizoe, T. Suzumura]
通讯作者： T. Suzumura
最強事後条件の計算を用いたハイブリッドオートマトンの帰納的検証
使用最强后置条件计算的混合自动机的归纳验证
DOI： --
发表时间：
期刊：
影响因子： --
作者： [石井大輔, G. Melquiond, 中島 震]
通讯作者： 中島 震
共 9 条
    Development of Plant Biomass-derived Carbon Fiber by Environmentally Friendly Process
    High resistant superhydrophobic hierarchic surface
    Development of High-tenacity and Thermally Stable Plastics byPolymerization of Plant-derived Aromatic Hydroxy Acids
    • 批准号：
      22710084
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $0.92万
    • 财政年份：
      2010
    • 负责人：
      ISHII Daisuke
    • 依托单位：
      Ryukoku University
    Microdroplet manipulation on stimuli responsive high adhesive superhydrophobic interface
    • 批准号：
      21686065
    • 项目类别：
      Grant-in-Aid for Young Scientists (A)
    • 资助金额：
      $16.64万
    • 财政年份：
      2009
    • 负责人：
      ISHII Daisuke
    • 依托单位：
      Tohoku University
    海外基金