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

Yunosuke Yamada, Masashi Sato, Kazunori Ueda

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationCyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, Revised Selected Papers
EditorsRoger Chamberlain, Martin Edin Grimheden, Walid Taha
PublisherSpringer
Pages153-178
Number of pages26
ISBN (Print)9783030411305
DOIs
Publication statusPublished - 2020
Event9th 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
Duration: 2019 Oct 172019 Oct 18

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11971 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)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
CountryUnited States
CityNew York City
Period19/10/1719/10/18

Keywords

  • Constraints
  • Hybrid systems
  • Symbolic simulation

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI'. Together they form a unique fingerprint.

  • Cite this

    Yamada, Y., Sato, M., & Ueda, K. (2020). Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI. In R. Chamberlain, M. Edin Grimheden, & W. Taha (Eds.), 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); Vol. 11971 LNCS). Springer. https://doi.org/10.1007/978-3-030-41131-2_8