Interval-based solving of hybrid constraint systems

Daisuke Ishii*, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn

*この研究の対応する著者

研究成果: Conference contribution

5 被引用数 (Scopus)

抄録

An approach to reliable modeling, simulation and verification of hybrid systems is interval arithmetic, which guarantees that a set of intervals narrower than specified size encloses the solution. Interval-based computation of hybrid systems is often difficult, especially when the systems are described by nonlinear ordinary differential equations (ODEs) and nonlinear algebraic equations. We formulate the problem of detecting a discrete change in hybrid systems as a hybrid constraint system (HCS), consisting of a flow constraint on trajectories (i.e. continuous functions over time) and a guard constraint on states causing discrete changes. We also propose a technique for solving HCSs by coordinating (i) interval-based solving of nonlinear ODEs, and (ii) a constraint programming technique for reducing interval enclosures of solutions. The proposed technique reliably solves HCSs with nonlinear constraints. Our technique employs the interval Newton method to accelerate the reduction of interval enclosures, while guaranteeing that the enclosure contains a solution.

本文言語English
ホスト出版物のタイトル3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS'09 - Proceedings
出版社IFAC Secretariat
ページ144-149
ページ数6
PART 1
ISBN(印刷版)9783902661593
DOI
出版ステータスPublished - 2009

出版物シリーズ

名前IFAC Proceedings Volumes (IFAC-PapersOnline)
番号PART 1
3
ISSN(印刷版)1474-6670

ASJC Scopus subject areas

  • 制御およびシステム工学

フィンガープリント

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

引用スタイル