Site Description
This is a portfolio of Kunihiro Hata, Master student at Department of Computer Science and Communications Engineering, Waseda University. This page is an overview and the latest news of the portfolio.
Education
April 2021 – current: Master’s program
Department of Computer Science and Communications Engineering, Graduate School of Fundamental Science and Engineering, Waseda University Supervisor: Professor Kazunori Ueda
April 2017 – March 2021: Bachelor of Engineering
Department of Computer Science and Engineering, School of Fundamental Science and Engineering, Waseda University Supervisor: Professor Kazunori Ueda
Research Interests
Hybrid systems are dynamical systems which include both continuous and discrete changes. HydLa is a modeling language for hybrid systems, and HyLaGI is an implementation of HydLa being developed in our research group. HyLaGI is based on symbolic computation and can handle parameterized models rigorously. However, the formulae which describe such models can easily get too complicated. My current research interest is to translate HydLa models into hybrid automata in order to develop model checking on HyLaGI.
Latest Papers
- Benchmarking hybrid systems modeling tools based on the reachability analysis of parameterized models
- Translation of constraint-based models of hybrid systems to automata models by symbolic execution
Posts
subscribe via RSS