HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa

Shota Matsumoto, Fumihiko Kono, Teruya Kobayashi, Kazunori Ueda

    Research output: Contribution to journalArticle

    3 Citations (Scopus)


    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
    Publication statusPublished - 2015 Nov 18


    • constraints
    • hybrid systems
    • rigorous simulation
    • symbolic computation

    ASJC Scopus subject areas

    • Theoretical Computer Science
    • Computer Science(all)

    Fingerprint Dive into the research topics of 'HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa'. Together they form a unique fingerprint.

    Cite this