Extension of Declarative Semantics for the Constraint-based Hybrid System Modeling Language HydLa

Abstract

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.