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
    PublisherICST
    ISBN (Print)9789639799455
    DOIs
    Publication statusPublished - 2009
    Event2nd International ICST Conference on Simulation Tools and Techniques, SIMUTools 2009 - Rome
    Duration: 2009 Mar 22009 Mar 6

    Other

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

    Fingerprint

    Hybrid systems
    Hybrid Systems
    Interval
    Ordinary differential equations
    Simulation
    Constraint Solving
    Modeling Error
    Modeling Language
    Modeling
    Error Bounds
    Well-defined
    Ordinary differential equation
    Express
    Uncertainty
    Modeling languages

    Keywords

    • Constraint hierarchies
    • Hybrid systems
    • Interval arithmetic

    ASJC Scopus subject areas

    • Modelling and Simulation

    Cite this

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

    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 proceedingConference contribution

    Ishii, D, Ueda, K & Hosobe, H 2009, Simulation of hybrid systems based on hierarchical interval constraints. in SIMUTools 2009 - 2nd International ICST Conference on Simulation Tools and Techniques. ICST, 2nd International ICST Conference on Simulation Tools and Techniques, SIMUTools 2009, Rome, 09/3/2. https://doi.org/10.4108/ICST.SIMUTOOLS2009.5640
    Ishii D, Ueda K, Hosobe H. Simulation of hybrid systems based on hierarchical interval constraints. In SIMUTools 2009 - 2nd International ICST Conference on Simulation Tools and Techniques. ICST. 2009 https://doi.org/10.4108/ICST.SIMUTOOLS2009.5640
    Ishii, Daisuke ; Ueda, Kazunori ; Hosobe, Hiroshi. / Simulation of hybrid systems based on hierarchical interval constraints. SIMUTools 2009 - 2nd International ICST Conference on Simulation Tools and Techniques. ICST, 2009.
    @inproceedings{940c2fa7aa7447c1b4f9b05297ea0fb0,
    title = "Simulation of hybrid systems based on hierarchical interval constraints",
    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.",
    keywords = "Constraint hierarchies, Hybrid systems, Interval arithmetic",
    author = "Daisuke Ishii and Kazunori Ueda and Hiroshi Hosobe",
    year = "2009",
    doi = "10.4108/ICST.SIMUTOOLS2009.5640",
    language = "English",
    isbn = "9789639799455",
    booktitle = "SIMUTools 2009 - 2nd International ICST Conference on Simulation Tools and Techniques",
    publisher = "ICST",

    }

    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 -