课题基金 / 基金详情

Interval constraint programming techniques for large and complex hybrid systems

Interval constraint programming techniques for large and complex hybrid systems
大型复杂混合系统的区间约束规划技术
批准号：
18K11240
负责人：
Ishii Daisuke
金额：
$2.75万
依托单位：
Japan Advanced Institute of Science and Technology (2019-2022)University of Fukui (2018)
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2023-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18K11240/
关键词：
ハイブリッドシステム制約プログラミング区間解析探索・論理・推論アルゴリズム

项目摘要

项目成果

Ishii Daisuke的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(18)
专著(0)
科研奖励(0)
会议论文
Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods
DOI： 10.1109/qrs57517.2022.00050
发表时间： 2022-12
期刊： 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS)
影响因子： --
作者： [Daisuke Ishii;Takashi Tomita;Toshiaki Aoki;T. Ngo;Thi Bich Ngoc Do;Hideaki Takai]
通讯作者： Daisuke Ishii;Takashi Tomita;Toshiaki Aoki;T. Ngo;Thi Bich Ngoc Do;Hideaki Takai
Artifact for NFM'22 Submission
NFM22 提交的工件
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Duracz らの操作的意味論に基づく ハイブリッドシステムの高信頼シミュレータの実装
基于 Duracz 等人的操作语义实现混合系统的可靠模拟器。
DOI： --
发表时间： 2019
期刊：
影响因子： --
作者： [小嶋翔太, 石井大輔]
通讯作者： 石井大輔
A scalable Monte-Carlo test-case generation tool for large and complex simulink models
适用于大型复杂 simulink 模型的可扩展蒙特卡罗测试用例生成工具
DOI： --
发表时间： 2019
期刊：
影响因子： --
作者： [Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki]
通讯作者： Toshiaki Aoki
共 26 条
    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
    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
    Interval constraint programming technique for discrete-continuous hybrid systems
    • 批准号：
      15K15968
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $2.41万
    • 财政年份：
      2015
    • 负责人：
      Ishii Daisuke
    • 依托单位：
      University of Fukui
    海外基金