课题基金 / 基金详情

Interval constraint programming technique for discrete-continuous hybrid systems

Interval constraint programming technique for discrete-continuous hybrid systems
离散连续混合系统的区间约束规划技术
批准号：
15K15968
负责人：
Ishii Daisuke
金额：
$2.41万
依托单位：
University of Fukui
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2018-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-15K15968/
关键词：
ハイブリッドシステム制約プログラミング区間解析探索・論理・推論アルゴリズム区間制約

项目摘要

项目成果

Ishii Daisuke的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(26)
专著(0)
科研奖励(0)
会议论文
Template-Based Monte-Carlo Test Generation for Simulink Models
Simulink 模型基于模板的蒙特卡洛测试生成
DOI： --
发表时间： 2017
期刊：
影响因子： --
作者： [T. Tomita, D. Ishii, T. Murakami, S. Takeuchi, T. Aoki]
通讯作者： T. Aoki
X10 GLB ライブラリの最適化問題のための拡張
针对优化问题的 X10 GLB 库的扩展
DOI： --
发表时间： 2017
期刊：
影响因子： --
作者： [泉 翔太, 石井大輔, 美添一樹]
通讯作者： 美添一樹
Monitoring Bounded LTL Properties Using Interval Analysis
使用区间分析监控有界 LTL 属性
DOI： --
发表时间： 2015
期刊：
影响因子： --
作者： [D. Ishii, N. Yonezaki, A. Goldsztejn]
通讯作者： A. Goldsztejn
A Parallelotope Method for Hybrid System Simulation
混合系统仿真的平行位法
DOI： --
发表时间： 2016
期刊： Reliable Computing
影响因子： --
作者： [A. Goldsztejn, D. Ishii]
通讯作者： D. Ishii
共 23 条
    Establishment of a mouse model of unilateral spatial neglect
    The Consolidation of Habsburg Monarchy: Landsschaftsschule und Gymnasium in Linz
    • 批准号：
      18K01029
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.83万
    • 财政年份：
      2018
    • 负责人：
      Ishii Daisuke
    • 依托单位：
      Kobe University
    Interval constraint programming techniques for large and complex hybrid systems
    Development of environment-responsive liquid manipulation method applying open flow path inspired by the surface microstructure of living organisms
    • 批准号：
      17H03412
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $11.4万
    • 财政年份：
      2017
    • 负责人：
      Ishii Daisuke
    • 依托单位：
      Nagoya Institute of Technology
    海外基金