Abstract
One of the key problems in the safety analysis of control systems is the exact computation of reachable state spaces for continuous-time systems. Issues related to the controllability and observability of these systems are well-studied in systems theory. However, there are not many results on reachability, even for general linear systems. In this study, we present a large class of linear systems with decidable reachable state spaces. This is approached by reducing the reachability analysis to real root isolation of exponential polynomials. Furthermore, we have implemented this method in a Maple package based on symbolic computation and applied to several examples successfully.
| Original language | English |
|---|---|
| Pages (from-to) | 1411-1419 |
| Number of pages | 9 |
| Journal | International Journal of Systems Science |
| Volume | 41 |
| Issue number | 12 |
| DOIs | |
| State | Published - Dec 2010 |
Keywords
- continued fractions
- exponential polynomials
- interval arithmetic
- linear systems
- reachability analysis
- real root isolation