Joined JSAI 2022 on 06/17/2022.

  • thesis link is here

    Abstract

    Hybrid systems are dynamical systems which include both continuous and discrete changes.HydLa is a constraint-based modeling language for hybrid systems, and its implementation that supports symbolic execution with formula manipulation is being developed in our research group.Hybrid automata are the mainstream modeling method of hybrid systems, and an algorithm that translates HydLa models into hybrid automata has been proposed.However, after several revisions of the algorithm, its current implementation still outputs unintuitive results for some examples.In anticipation of model checking, this study discusses problems that have occurred when translating constraint-based models of hybrid systems to automata models with symbolic execution.