General-purpose high-level language with the notion of real numbers and time
General-purpose high-level language with the notion of real numbers and time
具有实数和时间概念的通用高级语言
批准号：
15K12010
负责人：
Kazunori Ueda
金额：
$2.25万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2018-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(24)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
ハイブリッド制約処理系HyLaGIによる微小誤差を用いたモデル解析
使用混合约束处理系统 HyLaGI 使用微小误差进行模型分析
使用混合约束处理系统 HyLaGI 使用微小误差进行模型分析
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[石井大輔, 冨田 尭, 米崎直樹, 伊藤剛史，松本翔太，上田和紀, 別納健市，松本翔太，若槻祐彰，上田和紀, 恒川 雄太郎，上田 和紀, 松澤 望，上田 和紀, Kazunori Ueda, 松本翔太，上田和紀, 石井大輔, Kazunori Ueda and Yusuke Yoshimoto, 若槻祐彰，松本翔太，伊藤剛史，和田努，上田和紀]
通讯作者：
若槻祐彰，松本翔太，伊藤剛史，和田努，上田和紀
IRCCyN - Ecole Centrale de Nantes(フランス)
IRCCyN - 南特中央理工学院（法国）
IRCCyN - 南特中央理工学院（法国）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Masatomo Hashimoto, Akira Mori and Tomonori Izumida, 伊東 優作, Shota Matsumoto and Kazunori Ueda]
通讯作者：
Shota Matsumoto and Kazunori Ueda
Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection
使用循环检测对涉及大量离散变化的混合系统进行符号分析
使用循环检测对涉及大量离散变化的混合系统进行符号分析
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Kenichi Betsuno, Shota Matsumoto, and Kazunori Ueda]
通讯作者：
and Kazunori Ueda
制約に基づいたパラメトリックハイブリッドシステムの精度保証シミュレーション
基于约束的参数混合系统的精度保证仿真
基于约束的参数混合系统的精度保证仿真
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Shota Matsumoto, Fumihiko Kono, Teruya Kobayashi and Kazunori Ueda, 小山峻平，上田和紀, 増田健太，松本翔太，上田和紀, 増田健太，上田和紀, 佐藤 柾史，上田 和紀, Kazunori Ueda, 松本翔太，別納健市，増田健太，上田和紀]
通讯作者：
松本翔太，別納健市，増田健太，上田和紀
共 22 条
海外基金