• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2017 Fiscal Year Final Research Report

Interval constraint programming technique for discrete-continuous hybrid systems

Research Project

  • PDF
Project/Area Number 15K15968
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeMulti-year Fund
Research Field Software
Research InstitutionUniversity of Fukui

Principal Investigator

Ishii Daisuke  福井大学, 学術研究院工学系部門, 講師 (00454025)

Research Collaborator UEDA Kazunori  
GOLDSZTEJN Alexandre  
NAKAJIMA Shin  
HOSOBE Hiroshi  
YOSHIZOE Kazuki  
WATANABE Takuo  
Project Period (FY) 2015-04-01 – 2018-03-31
Keywordsハイブリッドシステム / 制約プログラミング / 区間解析 / 探索・論理・推論アルゴリズム
Outline of Final Research Achievements

We have developed techniques for analyzing hybrid systems that behave both continuously and discretely based on interval constraint programming approach. Such analysis combines various problems, e.g., verification of real computation errors, differential equations on function sets and logic formulas on temporal properties. The proposed techniques are characterized by an integration of the problems within a constraint programming framework. To implement the techniques, we have verified a part of the codebase its correctness. We have also parallelized the core solving process for high-performance computation. In the experiments, we corrected hybrid system examples from basic ones to industrial ones and evaluated the effectiveness of the proposed techniques.

Free Research Field

ハイブリッドシステムと制約プログラミング

URL: 

Published: 2019-03-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi