Abstract
We introduce backward dissimilarity (BD) for discrete-time linear dynamical systems (LDS), which relaxes existing notions of bisimulations by allowing for approximate comparisons. BD is an invariant property stating that the difference along the evolution of the dynamics governing two state variables is bounded by a constant, which we call dissimilarity. We demonstrate the applicability of BD in a simple case study and showcase its use concerning: (i) robust model comparison; (ii) approximate model reduction; and (iii) approximate data recovery. Our main technical contribution is a policy-iteration algorithm to compute BDs. Using a prototype implementation, we apply it to benchmarks from network science and discrete-time Markov chains and compare it against a related notion of bisimulation for linear control systems.
Original language | English |
---|---|
Title of host publication | Proceedings of the International Joint Conference for Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems |
Volume | 14996 |
Publisher | Springer |
Publication date | 2024 |
Pages | 125-142 |
ISBN (Print) | 978-3-031-68415-9 |
ISBN (Electronic) | 978-3-031-68416-6 |
DOIs | |
Publication status | Published - 2024 |
Event | Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Calgary, Canada Duration: 9 Sept 2024 → 13 Sept 2024 Conference number: 1 |
Conference
Conference | Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems |
---|---|
Number | 1 |
Country/Territory | Canada |
City | Calgary |
Period | 09/09/2024 → 13/09/2024 |
Keywords
- Linear dynamical systems
- Bisimulation
- Robustness