Hybrid cc with interval constraints

Carlson, Björn; Gupta, Vineet

doi:10.1007/3-540-64358-3_33

Cited by 8 publications

(3 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The implementation of the Hybrid cc interpreter is detailed in [1]. The interpreter handles a Hybrid cc process by alternating point phases and interval phases as follows:…”

Section: Implementation Of Hybrid CCmentioning

confidence: 99%

An Interval‐Based Approximation Method for Discrete Changes in Hybrid cc

Ishii¹,

Ueda²,

Hosobe³

2007

Trends in Constraint Programming

View full text Add to dashboard Cite

“…The implementation of the Hybrid cc interpreter is detailed in [1]. The interpreter handles a Hybrid cc process by alternating point phases and interval phases as follows:…”

Section: Implementation Of Hybrid CCmentioning

confidence: 99%

An Interval‐Based Approximation Method for Discrete Changes in Hybrid cc

Ishii¹,

Ueda²,

Hosobe³

2007

Trends in Constraint Programming

View full text Add to dashboard Cite

“…To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. SIMUTools 2009 Rome, Italy Copyright 2009 ICST, ISBN 978-963-9799-45-5. such as hybrid automata and Hybrid CC [4] have been used for modeling hybrid systems (See [3] for a survey). We aim to develop a language that allows us to describe large systems with complex laws concisely.…”

Section: Introductionmentioning

confidence: 99%

Simulation of hybrid systems based on hierarchical interval constraints

Ishii

Ueda

Hosobe

2009

Proceedings of the Second International ICST Conference on Simulation Tools and Techniques

View full text Add to dashboard Cite

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.

show abstract

“…There is a strong demand for computer aided design and simulation tools that can help validate hybrid systems. A few hybrid system simulation tools are available [l], [4], [17], [18], but most of them only support a subset of the requirements for hybrid simulation [ 141, [ 101. Our approach is based on a hierarchical assembly of heterogeneous components, which can efficiently capture the hybrid automata model of hybrid systems, and the approach extensively supports the interaction of continuous and discrete dynamics.…”

Section: Introductionmentioning

confidence: 99%

A hierarchical hybrid system model and its simulation

Liu

Koo

et al.

Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304)

View full text Add to dashboard Cite

This paper presents a hierarchical hybrid system modeling and simulation framework using the Ptolemy I1 environment. Ptolemy I1 is a system-level design tool that supports the integration of multiple models of computation. The modeling of hierarchical hybrid systems is achieved by combining continuous-time models with finite state automata. Breakpoint handling, event detection and invariant monitoring techniques are studied. A hybrid helicopter control system is simulated as an example.

show abstract

Hybrid cc with interval constraints

Cited by 8 publications

References 11 publications

An Interval‐Based Approximation Method for Discrete Changes in Hybrid cc

An Interval‐Based Approximation Method for Discrete Changes in Hybrid cc

Simulation of hybrid systems based on hierarchical interval constraints

A hierarchical hybrid system model and its simulation

Contact Info

Product

Resources

About