Simulation of hybrid systems based on hierarchical interval constraints

Authors:
Daisuke Ishii;Kazunori Ueda;Hiroshi Hosobe
Affiliations:
Waseda University, Okubo, Shinjuku-ku, Tokyo, Japan;Waseda University, Okubo, Shinjuku-ku, Tokyo, Japan;National Institute of Informatics, Hitotsubashi, Chiyoda-ku, Tokyo, Japan
Venue:
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
Year:
2009

Citing 4
Cited 0

Constraint hierarchies

Lisp and Symbolic Computation
CLP(intervals) revisited

ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Hybrid cc with Interval Constraints

HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Languages and tools for hybrid systems design

Foundations and Trends in Electronic Design Automation

Quantified Score

Hi-index	0.00

Visualization

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.