Simulation of hybrid systems based on hierarchical interval constraints

Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe

研究成果: Conference contribution

2 被引用数 (Scopus)

抄録

We propose a framework called HydLa for simple modeling and reliable simulation of hybrid systems which involve discrete and continuous changes over time. HydLa employs interval constraints as a central principle to express uncertainties in modeling, error bounds in the computation of nonlinear continuous changes, and reachable state sets that play key roles in verification. In this research, we propose a modeling language with hierarchical interval constraints to facilitate well-defined modeling, and its implementation which uses machine-representable interval constraints to enclose computation errors with intervals or boxes. The implementation is based on the integration of a consistency technique for nonlinear interval constraints and a technique for solving ordinary differential equations. We also present a method for solving constraint hierarchies among interval constraints.

本文言語English
ホスト出版物のタイトルSIMUTools 2009 - 2nd International ICST Conference on Simulation Tools and Techniques
編集者Giovanni Stea, Olivier Dalle, L. Felipe Perrone, Gabriel Wainer
出版社ICST
ISBN(電子版)9789639799455
DOI
出版ステータスPublished - 2009 1 1
イベント2nd International ICST Conference on Simulation Tools and Techniques, SIMUTools 2009 - Rome, Italy
継続期間: 2009 3 22009 3 6

出版物シリーズ

名前SIMUTools 2009 - 2nd International ICST Conference on Simulation Tools and Techniques

Conference

Conference2nd International ICST Conference on Simulation Tools and Techniques, SIMUTools 2009
国/地域Italy
CityRome
Period09/3/209/3/6

ASJC Scopus subject areas

  • モデリングとシミュレーション

フィンガープリント

「Simulation of hybrid systems based on hierarchical interval constraints」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル