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

Posts

subscribe via RSS