Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI

Yunosuke Yamada, Masashi Sato, Kazunori Ueda

研究成果: Conference contribution

抜粋

Hybrid systems are dynamical systems that include both continuous and discrete changes. Modeling and simulation of hybrid systems can be challenging due to various kinds of subtleties of their behavior. The declarative modeling language HydLa aims at concise description of hybrid systems by means of constraints and constraint hierarchies. HyLaGI, a publicly available symbolic simulator of HydLa, featured error-free computation with symbolic parameters. Based on symbolic computation, HyLaGI provides various functionalities including nondeterministic execution, handling of infinitesimal quantities, and construction of hybrid automata. Nondeterministic execution in the framework of constraint programming enables us to solve inverse problems by automatic parameter search. This paper introduces these features by means of example programs. This paper also discusses our experiences with HydLa programming, which is unique in that its data and control structures are both based on constraint technologies. We discuss its expressive power and our experiences with modeling using constraint hierarchies.

元の言語English
ホスト出版物のタイトルCyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, Revised Selected Papers
編集者Roger Chamberlain, Martin Edin Grimheden, Walid Taha
出版者Springer
ページ153-178
ページ数26
ISBN(印刷物)9783030411305
DOI
出版物ステータスPublished - 2020
イベント9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019 - New York City, United States
継続期間: 2019 10 172019 10 18

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
11971 LNCS
ISSN(印刷物)0302-9743
ISSN(電子版)1611-3349

Conference

Conference9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019
United States
New York City
期間19/10/1719/10/18

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

フィンガープリント Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Yamada, Y., Sato, M., & Ueda, K. (2020). Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI. : R. Chamberlain, M. Edin Grimheden, & W. Taha (版), Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, Revised Selected Papers (pp. 153-178). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11971 LNCS). Springer. https://doi.org/10.1007/978-3-030-41131-2_8