Interval-based solving of hybrid constraint systems

Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publication3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS'09 - Proceedings
Pages144-149
Number of pages6
EditionPART 1
Publication statusPublished - 2009 Dec 1
Event3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS'09 - Zaragoza, Spain
Duration: 2009 Sep 162009 Sep 18

Publication series

NameIFAC Proceedings Volumes (IFAC-PapersOnline)
NumberPART 1
Volume3
ISSN (Print)1474-6670

Conference

Conference3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS'09
CountrySpain
CityZaragoza
Period09/9/1609/9/18

Keywords

  • Constraint programming
  • Hybrid systems
  • Interval arithmetic

ASJC Scopus subject areas

  • Control and Systems Engineering

Fingerprint Dive into the research topics of 'Interval-based solving of hybrid constraint systems'. Together they form a unique fingerprint.

  • Cite this

    Ishii, D., Ueda, K., Hosobe, H., & Goldsztejn, A. (2009). Interval-based solving of hybrid constraint systems. In 3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS'09 - Proceedings (PART 1 ed., pp. 144-149). (IFAC Proceedings Volumes (IFAC-PapersOnline); Vol. 3, No. PART 1).