[2N5-OS-17b] OS-17 (2)

[2N5-OS-17b-04] Extension of Declarative Semantics for the Constraint-based Hybrid System Modeling Language HydLa

〇Yunosuke Yamada¹, Kazunori Ueda² (1. Graduate School of Fundamental Science and Engineering, Waseda University, 2. Faculty of Science and Engineering, Waseda University)

Keywords:Constraint Programming, Hybrid System, Program Semantics, Frame Axiom

Hybrid systems are dynamical systems that include both continuous and discrete changes. HydLa is a constraint-based hybrid system modeling language. In HydLa programs, users describe systems declaratively, and represent models with solution sets obtained by declarative semantics. In this paper, we propose a new declarative semantics based on existing semantics to give more natural meanings to HydLa programs.