Conservative Time Discretization: A Comparative Study

Marcelo Forets, Christian Schilling

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Abstrakt

We present the first review of methods to overapproximate the set of reachable states of linear time-invariant systems subject to uncertain initial states and input signals for short time horizons. These methods are fundamental to state-of-the-art reachability algorithms for long time horizons, which proceed in two steps: First they use such a method to discretize the system for a short time horizon, and then they efficiently obtain a solution of the new discrete system for the long time horizon. Traditionally, both qualitative and quantitative comparison between different reachability algorithms has only considered the combination of both steps. In this paper we study the first step in isolation. We perform a variety of numerical experiments for six fundamental discretization methods from the literature. As we show, these methods have different trade-offs regarding accuracy and computational cost and, depending on the characteristics of the system, some methods may be preferred over others. We also discuss preprocessing steps to improve the results and efficient implementation strategies.
OriginalsprogEngelsk
TiteliFM
RedaktørerMaurice H. ter Beek, Rosemary Monahan
Antal sider19
ForlagSpringer
Publikationsdato2022
Sider149-167
ISBN (Trykt)978-3-031-07726-5
ISBN (Elektronisk)978-3-031-07727-2
DOI
StatusUdgivet - 2022
Begivenhed 17th International Conference on integrated Formal Methods - Lugano, Schweiz
Varighed: 7 jun. 202210 jun. 2022
https://ifm22.si.usi.ch/

Konference

Konference 17th International Conference on integrated Formal Methods
Land/OmrådeSchweiz
ByLugano
Periode07/06/202210/06/2022
Internetadresse
NavnLecture Notes in Computer Science
Vol/bind13274
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Conservative Time Discretization: A Comparative Study'. Sammen danner de et unikt fingeraftryk.

Citationsformater