Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic

Shota Matsumoto, Kazunori Ueda

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

    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
    PublisherInstitute of Electrical and Electronics Engineers Inc.
    Pages4-11
    Number of pages8
    Volume2016-December
    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

    Other

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

    Fingerprint

    Hybrid Systems
    Simulator
    Reachable Set
    Interval Methods
    Simulation
    Interval Arithmetic
    Symbolic Computation
    Newton Methods
    Simulation Methods
    Model
    First-order

    Keywords

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

    ASJC Scopus subject areas

    • Mathematics(all)

    Cite this

    Matsumoto, S., & Ueda, K. (2016). Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic. In Proceedings - 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016 (Vol. 2016-December, pp. 4-11). [7774642] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/TIME.2016.8

    Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic. / Matsumoto, Shota; Ueda, Kazunori.

    Proceedings - 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016. Vol. 2016-December Institute of Electrical and Electronics Engineers Inc., 2016. p. 4-11 7774642.

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

    Matsumoto, S & Ueda, K 2016, Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic. in Proceedings - 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016. vol. 2016-December, 7774642, Institute of Electrical and Electronics Engineers Inc., pp. 4-11, 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016, Kongens Lyngby, Denmark, 16/10/17. https://doi.org/10.1109/TIME.2016.8
    Matsumoto S, Ueda K. Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic. In Proceedings - 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016. Vol. 2016-December. Institute of Electrical and Electronics Engineers Inc. 2016. p. 4-11. 7774642 https://doi.org/10.1109/TIME.2016.8
    Matsumoto, Shota ; Ueda, Kazunori. / Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic. Proceedings - 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016. Vol. 2016-December Institute of Electrical and Electronics Engineers Inc., 2016. pp. 4-11
    @inproceedings{6be5d46933d24c97acebd4b70cdfd26c,
    title = "Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic",
    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.",
    keywords = "affine arithmetic, hybrid systems, interval Newton method, simulation, symbolic computation",
    author = "Shota Matsumoto and Kazunori Ueda",
    year = "2016",
    month = "12",
    day = "5",
    doi = "10.1109/TIME.2016.8",
    language = "English",
    volume = "2016-December",
    pages = "4--11",
    booktitle = "Proceedings - 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016",
    publisher = "Institute of Electrical and Electronics Engineers Inc.",
    address = "United States",

    }

    TY - GEN

    T1 - Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic

    AU - Matsumoto, Shota

    AU - Ueda, Kazunori

    PY - 2016/12/5

    Y1 - 2016/12/5

    N2 - 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.

    AB - 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.

    KW - affine arithmetic

    KW - hybrid systems

    KW - interval Newton method

    KW - simulation

    KW - symbolic computation

    UR - http://www.scopus.com/inward/record.url?scp=85009783364&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=85009783364&partnerID=8YFLogxK

    U2 - 10.1109/TIME.2016.8

    DO - 10.1109/TIME.2016.8

    M3 - Conference contribution

    AN - SCOPUS:85009783364

    VL - 2016-December

    SP - 4

    EP - 11

    BT - Proceedings - 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016

    PB - Institute of Electrical and Electronics Engineers Inc.

    ER -