Search

Your search keyword '"Ueda, Kazunori"' showing total 3 results
Start Over Author "Ueda, Kazunori" Topic constraints
3 results on '"Ueda, Kazunori"'

1. Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI

Author

Yamada, Yunosuke, Sato, Masashi, Ueda, Kazunori, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Chamberlain, Roger, editor, Edin Grimheden, Martin, editor, and Taha, Walid, editor

Published
2020
Full Text
View/download PDF

3. HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa.

Author

Matsumoto, Shota, Kono, Fumihiko, Kobayashi, Teruya, and Ueda, Kazunori

Subjects
HYBRID systems, MATHEMATICAL logic, COMPUTER simulation, FLOATING-point arithmetic, CONSTRAINT satisfaction
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. [ABSTRACT FROM AUTHOR]

Published
2015
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results