Declarative semantics of the hybrid constraint language HydLa

Kazunori Ueda, Hiroshi Hosobe, Daisuke Ishii

Research output: Contribution to journalArticle

Abstract

Hybrid systems are dynamical systems with continuous evolution of states and discrete evolution of states and governing equations. We have worked on the design and implementation of HydLa, a constraint-based modeling language for hybrid systems, with a view to the proper handling of uncertanties and the integration of simulation and verification. HydLa's constraint hierarchies facilitate the description of constraints with adequate strength, but its semantical foundations are not obvious due to the interaction of various language constructs. This paper gives the declarative semantics of HydLa and discusses its properties and consequences by means of examples.

Original languageEnglish
Pages (from-to)306-311
Number of pages6
JournalComputer Software
Volume28
Issue number1
Publication statusPublished - 2011 Feb 24

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Declarative semantics of the hybrid constraint language HydLa'. Together they form a unique fingerprint.

  • Cite this