HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa

Shota Matsumoto, Fumihiko Kono, Teruya Kobayashi, Kazunori Ueda

    Research output: Contribution to journalArticle

    2 Citations (Scopus)

    Abstract

    A modeling language for hybrid systems HydLa and its implementation HyLaGI are described. HydLa is a constraint-based language that can handle uncertainties of models smoothly. HyLaGI calculates trajectories by symbolic formula manipulation to exclude errors resulting from floating-point arithmetic. HyLaGI features a nondeterministic simulation algorithm so it can calculate all possible qualitative different trajectories of models with uncertainties.

    Original languageEnglish
    Pages (from-to)109-115
    Number of pages7
    JournalElectronic Notes in Theoretical Computer Science
    Volume317
    DOIs
    Publication statusPublished - 2015 Nov 18

    Fingerprint

    Trajectories
    Trajectory
    Digital arithmetic
    Uncertainty
    Calculate
    Floating-point Arithmetic
    Modeling Language
    Hybrid systems
    Hybrid Systems
    Manipulation
    Model
    Simulation
    Language
    Modeling languages

    Keywords

    • constraints
    • hybrid systems
    • rigorous simulation
    • symbolic computation

    ASJC Scopus subject areas

    • Theoretical Computer Science
    • Computer Science(all)

    Cite this

    HyLaGI : Symbolic Implementation of a Hybrid Constraint Language HydLa. / Matsumoto, Shota; Kono, Fumihiko; Kobayashi, Teruya; Ueda, Kazunori.

    In: Electronic Notes in Theoretical Computer Science, Vol. 317, 18.11.2015, p. 109-115.

    Research output: Contribution to journalArticle

    Matsumoto, Shota ; Kono, Fumihiko ; Kobayashi, Teruya ; Ueda, Kazunori. / HyLaGI : Symbolic Implementation of a Hybrid Constraint Language HydLa. In: Electronic Notes in Theoretical Computer Science. 2015 ; Vol. 317. pp. 109-115.
    @article{f7a7551f153c4e81a42bde6614e52e78,
    title = "HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa",
    abstract = "A modeling language for hybrid systems HydLa and its implementation HyLaGI are described. HydLa is a constraint-based language that can handle uncertainties of models smoothly. HyLaGI calculates trajectories by symbolic formula manipulation to exclude errors resulting from floating-point arithmetic. HyLaGI features a nondeterministic simulation algorithm so it can calculate all possible qualitative different trajectories of models with uncertainties.",
    keywords = "constraints, hybrid systems, rigorous simulation, symbolic computation",
    author = "Shota Matsumoto and Fumihiko Kono and Teruya Kobayashi and Kazunori Ueda",
    year = "2015",
    month = "11",
    day = "18",
    doi = "10.1016/j.entcs.2015.10.011",
    language = "English",
    volume = "317",
    pages = "109--115",
    journal = "Electronic Notes in Theoretical Computer Science",
    issn = "1571-0661",
    publisher = "Elsevier",

    }

    TY - JOUR

    T1 - HyLaGI

    T2 - Symbolic Implementation of a Hybrid Constraint Language HydLa

    AU - Matsumoto, Shota

    AU - Kono, Fumihiko

    AU - Kobayashi, Teruya

    AU - Ueda, Kazunori

    PY - 2015/11/18

    Y1 - 2015/11/18

    N2 - A modeling language for hybrid systems HydLa and its implementation HyLaGI are described. HydLa is a constraint-based language that can handle uncertainties of models smoothly. HyLaGI calculates trajectories by symbolic formula manipulation to exclude errors resulting from floating-point arithmetic. HyLaGI features a nondeterministic simulation algorithm so it can calculate all possible qualitative different trajectories of models with uncertainties.

    AB - A modeling language for hybrid systems HydLa and its implementation HyLaGI are described. HydLa is a constraint-based language that can handle uncertainties of models smoothly. HyLaGI calculates trajectories by symbolic formula manipulation to exclude errors resulting from floating-point arithmetic. HyLaGI features a nondeterministic simulation algorithm so it can calculate all possible qualitative different trajectories of models with uncertainties.

    KW - constraints

    KW - hybrid systems

    KW - rigorous simulation

    KW - symbolic computation

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

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

    U2 - 10.1016/j.entcs.2015.10.011

    DO - 10.1016/j.entcs.2015.10.011

    M3 - Article

    AN - SCOPUS:84960076245

    VL - 317

    SP - 109

    EP - 115

    JO - Electronic Notes in Theoretical Computer Science

    JF - Electronic Notes in Theoretical Computer Science

    SN - 1571-0661

    ER -