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 language | English |
---|---|
Title of host publication | SIMUTools 2009 - 2nd International ICST Conference on Simulation Tools and Techniques |
Publisher | ICST |
ISBN (Print) | 9789639799455 |
DOIs | |
Publication status | Published - 2009 |
Event | 2nd International ICST Conference on Simulation Tools and Techniques, SIMUTools 2009 - Rome Duration: 2009 Mar 2 → 2009 Mar 6 |
Other
Other | 2nd International ICST Conference on Simulation Tools and Techniques, SIMUTools 2009 |
---|---|
City | Rome |
Period | 09/3/2 → 09/3/6 |
Fingerprint
Keywords
- Constraint hierarchies
- Hybrid systems
- Interval arithmetic
ASJC Scopus subject areas
- Modelling and Simulation
Cite this
Simulation of hybrid systems based on hierarchical interval constraints. / Ishii, Daisuke; Ueda, Kazunori; Hosobe, Hiroshi.
SIMUTools 2009 - 2nd International ICST Conference on Simulation Tools and Techniques. ICST, 2009.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Simulation of hybrid systems based on hierarchical interval constraints
AU - Ishii, Daisuke
AU - Ueda, Kazunori
AU - Hosobe, Hiroshi
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
KW - Constraint hierarchies
KW - Hybrid systems
KW - Interval arithmetic
UR - http://www.scopus.com/inward/record.url?scp=84922883004&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84922883004&partnerID=8YFLogxK
U2 - 10.4108/ICST.SIMUTOOLS2009.5640
DO - 10.4108/ICST.SIMUTOOLS2009.5640
M3 - Conference contribution
AN - SCOPUS:84922883004
SN - 9789639799455
BT - SIMUTools 2009 - 2nd International ICST Conference on Simulation Tools and Techniques
PB - ICST
ER -