Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic

Shota Matsumoto, Kazunori Ueda

研究成果

1 被引用数 (Scopus)

抄録

The purpose of this research is to develop a highly reliable simulator of hybrid systems, i.e., systems involving both discrete change and continuous evolution. In particular, we aim at rigorous simulation of parametrized hybrid systems, which enables not only the analysis of model's possible behavior but also the design of parameters that realize desired properties. Simulators with interval arithmetic can reliably compute a reachable set of states, but preserving the dependency of uncertain quantities in models is still challenging. In this paper, we discuss a simulation method that is based on symbolic computation and cooperates with the interval Newton method and affine arithmetic, which is able to preserve first-order dependency of uncertain quantities. We implemented the algorithm on the symbolic simulator we have been developing and evaluated the performance of the method with example models.

本文言語English
ホスト出版物のタイトルProceedings - 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016
編集者Curtis Dyreson, Michael R. Hansen, Luke Hunsberger
出版社Institute of Electrical and Electronics Engineers Inc.
ページ4-11
ページ数8
ISBN(電子版)9781509038251
DOI
出版ステータスPublished - 2016 12 5
イベント23rd International Symposium on Temporal Representation and Reasoning, TIME 2016 - Kongens Lyngby, Denmark
継続期間: 2016 10 172016 10 19

出版物シリーズ

名前Proceedings of the International Workshop on Temporal Representation and Reasoning
2016-December

Other

Other23rd International Symposium on Temporal Representation and Reasoning, TIME 2016
国/地域Denmark
CityKongens Lyngby
Period16/10/1716/10/19

ASJC Scopus subject areas

  • 数学 (全般)

フィンガープリント

「Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル