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
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（9）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
非線形ハイブリッドシステムの可到達集合の精度保証
保证非线性混合系统可达集的精度
  • DOI：
  • 发表时间：
    2014
  • 期刊：
    計測と制御
  • 影响因子：
    0
  • 作者：
    石井大輔;上田和紀
  • 通讯作者：
    上田和紀
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
  • 期刊：
  • 影响因子：
    0
  • 作者：
    D. Ishii;K. Yoshizoe;T. Suzumura
  • 通讯作者：
    T. Suzumura
最強事後条件の計算を用いたハイブリッドオートマトンの帰納的検証
使用最强后置条件计算的混合自动机的归纳验证
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
    石井大輔;G. Melquiond;中島 震
  • 通讯作者：
    中島 震
Monitoring Bounded LTL Properties Using Interval Analysis
使用区间分析监控有界 LTL 属性
  • DOI：
  • 发表时间：
    2015
  • 期刊：
  • 影响因子：
    0
  • 作者：
    D. Ishii;N. Yonezaki;A. Goldsztejn
  • 通讯作者：
    A. Goldsztejn
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

ISHII Daisuke其他文献

Preparation of Glycolether Lignin from <i>Sugi</i> (<i>Cryptomeria japonica</i> D. Don) Woodmeal by Acid-Catalyzed Solvolysis and Preparation of Heat-Resistant Polyester from the Glycolether Lignin
酸催化溶剂分解杉木粉制备乙二醇醚木质素及其制备耐热聚酯
The Progress of the Gait Impairment and Brain Activation in a Patient with Post-stroke Hemidystonia
脑卒中后偏肌张力障碍患者步态障碍和脑激活的研究进展
  • DOI：
    10.1298/ptr.e10032
  • 发表时间：
    2021
  • 期刊：
    Physical Therapy Research
  • 影响因子：
    0
  • 作者：
    YAMAMOTO Satoshi;ISHII Daisuke;KANAE Kyoko;ENDO Yusuke;YOSHIKAWA Kenichi;KOSEKI Kazunori;NAKAZAWA Ryo;TAKANO Hanako;MONMA Masahiko;YOZU Arito;MATSUSHITA Akira;KOHNO Yutaka
  • 通讯作者：
    KOHNO Yutaka

ISHII Daisuke的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('ISHII Daisuke', 18)}}的其他基金

Development of Plant Biomass-derived Carbon Fiber by Environmentally Friendly Process
采用环保工艺开发植物生物质碳纤维
  • 批准号：
    16K05863
  • 财政年份：
    2016
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
High resistant superhydrophobic hierarchic surface
高耐超疏水多级表面
  • 批准号：
    23655095
  • 财政年份：
    2011
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
Development of High-tenacity and Thermally Stable Plastics byPolymerization of Plant-derived Aromatic Hydroxy Acids
通过植物芳香族羟基酸聚合开发高韧性和热稳定性塑料
  • 批准号：
    22710084
  • 财政年份：
    2010
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
Microdroplet manipulation on stimuli responsive high adhesive superhydrophobic interface
刺激响应性高粘附性超疏水界面上的微滴操作
  • 批准号：
    21686065
  • 财政年份：
    2009
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for Young Scientists (A)
Fabrication of a water droplet adhesive superhydrophobic substrate for biodevices
用于生物器件的水滴粘合超疏水基材的制造
  • 批准号：
    19860092
  • 财政年份：
    2007
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for Young Scientists (Start-up)

相似海外基金

非線形ハイブリッドシステムのための区間制約プログラミングにもとづくモデル検査技術
基于区间约束规划的非线性混合系统模型检验技术
  • 批准号：
    11J03810
  • 财政年份：
    2011
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
制約プログラミングによる視覚化モデルの形式化と実現
使用约束规划的可视化模型的形式化和实现
  • 批准号：
    16016286
  • 财政年份：
    2004
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas
大規模グラフィカルユーザーインターフェースのための軽量制約プログラミング技術
大规模图形用户界面的轻量级约束编程技术
  • 批准号：
    12780252
  • 财政年份：
    2000
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
制約プログラミングによる幾何学制約充足問題の一般的解法の研究
基于约束规划的几何约束满足问题通用解研究
  • 批准号：
    07780345
  • 财政年份：
    1995
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
制約プログラミング言語による統合ロボットプログラミング
使用约束编程语言进行集成机器人编程
  • 批准号：
    06780339
  • 财政年份：
    1994
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
並行制約プログラミング言語の表示的手法を用いた意味論に関する研究
使用指示方法研究并发约束编程语言的语义
  • 批准号：
    04750343
  • 财政年份：
    1992
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了