Teruya Kobayashi

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
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(More)
  • 1