HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa

Shota Matsumoto, Fumihiko Kono, Teruya Kobayashi, Kazunori Ueda

    研究成果: Article査読

    3 被引用数 (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.

    本文言語English
    ページ(範囲)109-115
    ページ数7
    ジャーナルElectronic Notes in Theoretical Computer Science
    317
    DOI
    出版ステータスPublished - 2015 11 18

    ASJC Scopus subject areas

    • Theoretical Computer Science
    • Computer Science(all)

    フィンガープリント 「HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル