Declarative semantics of the hybrid constraint language HydLa

Kazunori Ueda, Hiroshi Hosobe, Daisuke Ishii

    Research output: Contribution to journalArticle

    Abstract

    Hybrid systems are dynamical systems with continuous evolution of states and discrete evolution of states and governing equations. We have worked on the design and implementation of HydLa, a constraint-based modeling language for hybrid systems, with a view to the proper handling of uncertanties and the integration of simulation and verification. HydLa's constraint hierarchies facilitate the description of constraints with adequate strength, but its semantical foundations are not obvious due to the interaction of various language constructs. This paper gives the declarative semantics of HydLa and discusses its properties and consequences by means of examples.

    Original languageEnglish
    Pages (from-to)306-311
    Number of pages6
    JournalComputer Software
    Volume28
    Issue number1
    Publication statusPublished - 2011

    Fingerprint

    Hybrid systems
    Semantics
    Dynamical systems
    Modeling languages

    ASJC Scopus subject areas

    • Software

    Cite this

    Declarative semantics of the hybrid constraint language HydLa. / Ueda, Kazunori; Hosobe, Hiroshi; Ishii, Daisuke.

    In: Computer Software, Vol. 28, No. 1, 2011, p. 306-311.

    Research output: Contribution to journalArticle

    Ueda, K, Hosobe, H & Ishii, D 2011, 'Declarative semantics of the hybrid constraint language HydLa', Computer Software, vol. 28, no. 1, pp. 306-311.
    Ueda, Kazunori ; Hosobe, Hiroshi ; Ishii, Daisuke. / Declarative semantics of the hybrid constraint language HydLa. In: Computer Software. 2011 ; Vol. 28, No. 1. pp. 306-311.
    @article{303900075b714bce9875c646c4c2fdf7,
    title = "Declarative semantics of the hybrid constraint language HydLa",
    abstract = "Hybrid systems are dynamical systems with continuous evolution of states and discrete evolution of states and governing equations. We have worked on the design and implementation of HydLa, a constraint-based modeling language for hybrid systems, with a view to the proper handling of uncertanties and the integration of simulation and verification. HydLa's constraint hierarchies facilitate the description of constraints with adequate strength, but its semantical foundations are not obvious due to the interaction of various language constructs. This paper gives the declarative semantics of HydLa and discusses its properties and consequences by means of examples.",
    author = "Kazunori Ueda and Hiroshi Hosobe and Daisuke Ishii",
    year = "2011",
    language = "English",
    volume = "28",
    pages = "306--311",
    journal = "Computer Software",
    issn = "0289-6540",
    publisher = "Japan Society for Software Science and Technology",
    number = "1",

    }

    TY - JOUR

    T1 - Declarative semantics of the hybrid constraint language HydLa

    AU - Ueda, Kazunori

    AU - Hosobe, Hiroshi

    AU - Ishii, Daisuke

    PY - 2011

    Y1 - 2011

    N2 - Hybrid systems are dynamical systems with continuous evolution of states and discrete evolution of states and governing equations. We have worked on the design and implementation of HydLa, a constraint-based modeling language for hybrid systems, with a view to the proper handling of uncertanties and the integration of simulation and verification. HydLa's constraint hierarchies facilitate the description of constraints with adequate strength, but its semantical foundations are not obvious due to the interaction of various language constructs. This paper gives the declarative semantics of HydLa and discusses its properties and consequences by means of examples.

    AB - Hybrid systems are dynamical systems with continuous evolution of states and discrete evolution of states and governing equations. We have worked on the design and implementation of HydLa, a constraint-based modeling language for hybrid systems, with a view to the proper handling of uncertanties and the integration of simulation and verification. HydLa's constraint hierarchies facilitate the description of constraints with adequate strength, but its semantical foundations are not obvious due to the interaction of various language constructs. This paper gives the declarative semantics of HydLa and discusses its properties and consequences by means of examples.

    UR - http://www.scopus.com/inward/record.url?scp=79951784132&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=79951784132&partnerID=8YFLogxK

    M3 - Article

    VL - 28

    SP - 306

    EP - 311

    JO - Computer Software

    JF - Computer Software

    SN - 0289-6540

    IS - 1

    ER -