Simulation of hybrid systems based on hierarchical interval constraints

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Simulation of hybrid systems based on hierarchical interval constraints

Full text

Pdf (96 KB)

Source

International Conference On Simulation Tools And Techniques For Communications, Networks And Systems & Workshops archive
Proceedings of the 2nd International Conference on Simulation Tools and Techniques table of contents

Rome, Italy

POSTER SESSION: Posters table of contents

Article No. 37

Year of Publication: 2009

ISBN:978-963-9799-45-5

Authors

Daisuke Ishii	Waseda University, Okubo, Shinjuku-ku, Tokyo, Japan
Kazunori Ueda	Waseda University, Okubo, Shinjuku-ku, Tokyo, Japan
Hiroshi Hosobe	National Institute of Informatics, Hitotsubashi, Chiyoda-ku, Tokyo, Japan

Sponsors

: Create-Net
: ICST

Publisher

ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering) ICST, Brussels, Belgium, Belgium

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 7, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	10.4108/ICST.SIMUTOOLS2009.5640

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	F. Benhamou , D. McAllester , P. van Hentenryck, CLP(intervals) revisited, Proceedings of the 1994 International Symposium on Logic programming, p.124-138, November 1994, Symposia, Melbourne
	2	Alan Borning , Bjorn Freeman-Benson , Molly Wilson, Constraint hierarchies, Lisp and Symbolic Computation, v.5 n.3, p.223-270, Sept. 1992 [doi>10.1007/BF01807506]
	3	Luca P. Carloni , Roberto Passerone , Alessandro Pinto , Alberto L. Angiovanni-Vincentelli, Languages and tools for hybrid systems design, Foundations and Trends® in Electronic Design Automation, v.1 n.1/2, p.1-193, June 2006 [doi>10.1561/1000000001]
	4	Björn Carlson , Vineet Gupta, Hybrid cc with Interval Constraints, Proceedings of the First International Workshop on Hybrid Systems: Computation and Control, p.80-95, April 13-15, 1998
	5	D. Ishii, K. Ueda, and H. Hosobe. An interval-based approximation method for discrete changes in Hybrid cc. In Trends in Constraint Programming, pp. 245--255. ISTE, 2007.
	6	N. S. Nedialkov, K. R. Jackson, and G. F. Corliss. Validated solutions of initial value problems for ordinary differential equations. Applied Mathematics and Computation, Vol. 105, No. 1, pp. 21--68, Elsevier, 1999.