ハイブリッド制約言語HydLaの宣言的意味論

• 上田 和紀

  早稲田大学理工学術院情報理工学科

• 細部 博史

  国立情報学研究所

• 石井 大輔

  ナント大学

書誌事項

タイトル別名

• Declarative Semantics of the Hybrid Constraint Language HydLa

抄録

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.

収録刊行物

• コンピュータ ソフトウェア

  コンピュータ ソフトウェア 28 (1), 306-311, 2011

  日本ソフトウェア科学会

詳細情報

• CRID: 1390282679715108096
• NII論文ID: 130004892168
• DOI: 10.11309/jssst.28.1_306
• ISSN: 02896540
• データソース種別:
  • JaLC
  • CiNii Articles
• 抄録ライセンスフラグ: 使用不可