HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa

Shota Matsumoto, Fumihiko Kono, Teruya Kobayashi, Kazunori Ueda

Research output: Contribution to journalArticlepeer-review

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
  • General Computer Science


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

Cite this