Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic

Shota Matsumoto, Kazunori Ueda

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

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016
EditorsCurtis Dyreson, Michael R. Hansen, Luke Hunsberger
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages4-11
Number of pages8
ISBN (Electronic)9781509038251
DOIs
Publication statusPublished - 2016 Dec 5
Event23rd International Symposium on Temporal Representation and Reasoning, TIME 2016 - Kongens Lyngby, Denmark
Duration: 2016 Oct 172016 Oct 19

Publication series

NameProceedings of the International Workshop on Temporal Representation and Reasoning
Volume2016-December

Other

Other23rd International Symposium on Temporal Representation and Reasoning, TIME 2016
CountryDenmark
CityKongens Lyngby
Period16/10/1716/10/19

Keywords

  • affine arithmetic
  • hybrid systems
  • interval Newton method
  • simulation
  • symbolic computation

ASJC Scopus subject areas

  • Mathematics(all)

Fingerprint Dive into the research topics of 'Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic'. Together they form a unique fingerprint.

Cite this