Symbolic analysis of hybrid systems involving numerous discrete changes using loop detection

Kenichi Betsuno*, Shota Matsumoto, Kazunori Ueda

*この研究の対応する著者

研究成果: Conference contribution

2 被引用数 (Scopus)

抄録

Hybrid systems are dynamical systems that include both continuous and discrete changes. Some hybrid systems involve a large or infinite number of discrete changes within an infinitesimal-width region of phase space. Systems with sliding mode are typical examples of such hybrid systems. It is difficult to analyze such hybrid systems through ordinary numerical simulation, since the time required for simulation increases in proportion to the number of discrete changes. In this paper, we propose a method to symbolically analyze such models involving numerous discrete changes by detecting loops and checking loop invariants of the model’s behavior. The method handles parameterized hybrid systems and checks inclusion of parameterized states focusing on the values of a switching function that dominate the dynamics of sliding mode. We implemented the main part of the method in our symbolic hybrid system simulator HyLaGI, and conducted analysis of example models.

本文言語English
ホスト出版物のタイトルCyber Physical Systems
ホスト出版物のサブタイトルDesign, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Revised Selected Papers
編集者Rafael Wisniewski, Mohammad Reza Mousavi, Christian Berger
出版社Springer Verlag
ページ17-30
ページ数14
ISBN(印刷版)9783319517377
DOI
出版ステータスPublished - 2017
イベント6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, CyPhy 2016 - Pittsburgh, United States
継続期間: 2016 10 62016 10 6

出版物シリーズ

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

Other

Other6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, CyPhy 2016
国/地域United States
CityPittsburgh
Period16/10/616/10/6

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Symbolic analysis of hybrid systems involving numerous discrete changes using loop detection」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル