JSAI2019

Presentation information

Organized Session

Organized Session » [OS] OS-3

[1E3-OS-3b] AI における離散構造処理と制約充足(2)

Tue. Jun 4, 2019 3:20 PM - 4:00 PM Room E (301A Medium meeting room)

波多野 大督(理化学研究所)、蓑田 玲緒奈((株)ベイシスコンサルティング)

3:40 PM - 4:00 PM

[1E3-OS-3b-02] Dynamic Reduction of Guarded Constraints for the Hybrid Systems Modeling Language HydLa

〇Takafumi Horiuchi1, Kazunori Ueda1 (1. Waseda University)

Keywords:Hybrid System, Modeling Language, Constraints, Monotonicity

HydLa is a language for modeling hybrid systems - dynamical systems that intermix discrete and continuous behavior. Its adoption of a constraint-based framework benefits the language in various ways, such as allowing a concise representation of systems and performing error-free high precision simulations. In spite of all the advantages, the computations among sets of constraints become a bottleneck in simulation time when handling some large-scale models. The purpose of this research lies in providing a method of improving the computational efficiency and the scalability of the language and its simulator. This is achieved by considering the monotonic aspects in HydLa models to dynamically reduce the size of guarded constraints. Results show that this approach is effective for models that contain multiple objects represented by guard conditions. As for the model evaluated in an experiment in the research, the overall computational time has reduced to approximately half the original length.