[4F3-OS-8b] AIと制約プログラミング(2/2)

[4F3-OS-8b-05] Translation of constraint-based models of hybrid systems to automata models by symbolic execution

〇Kunihiro Hata¹, Kazunori Ueda¹ (1. Waseda University)

Keywords:Hybrid Systems, Hybrid Automata, Constraint Programming, Symbolic execution

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.