Simulation of hybrid systems based on hierarchical interval constraints

Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe

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

2 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationSIMUTools 2009 - 2nd International ICST Conference on Simulation Tools and Techniques
EditorsGiovanni Stea, Olivier Dalle, L. Felipe Perrone, Gabriel Wainer
PublisherICST
ISBN (Electronic)9789639799455
DOIs
Publication statusPublished - 2009 Jan 1
Event2nd International ICST Conference on Simulation Tools and Techniques, SIMUTools 2009 - Rome, Italy
Duration: 2009 Mar 22009 Mar 6

Publication series

NameSIMUTools 2009 - 2nd International ICST Conference on Simulation Tools and Techniques

Conference

Conference2nd International ICST Conference on Simulation Tools and Techniques, SIMUTools 2009
CountryItaly
CityRome
Period09/3/209/3/6

Keywords

  • Constraint hierarchies
  • Hybrid systems
  • Interval arithmetic

ASJC Scopus subject areas

  • Modelling and Simulation

Fingerprint Dive into the research topics of 'Simulation of hybrid systems based on hierarchical interval constraints'. Together they form a unique fingerprint.

  • Cite this

    Ishii, D., Ueda, K., & Hosobe, H. (2009). Simulation of hybrid systems based on hierarchical interval constraints. In G. Stea, O. Dalle, L. F. Perrone, & G. Wainer (Eds.), SIMUTools 2009 - 2nd International ICST Conference on Simulation Tools and Techniques (SIMUTools 2009 - 2nd International ICST Conference on Simulation Tools and Techniques). ICST. https://doi.org/10.4108/ICST.SIMUTOOLS2009.5640