Presentation information

Organized Session

Organized Session » OS-17

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

Wed. Jun 10, 2020 3:50 PM - 5:30 PM Room N (jsai2020online-14)

宋 剛秀(神戸大学)、沖本 天太(神戸大学)

4:50 PM - 5:10 PM

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

〇Yunosuke Yamada1, Kazunori Ueda2 (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.

Authentication for paper PDF access

A password is required to view paper PDFs. If you are a registered participant, please log on the site from Participant Log In.
You could view the PDF with entering the PDF viewing password bellow.