On invariance and reachability on semialgebraic sets for linear dynamics

Athanasopoulos, Nikolaos;Jungers, Raphaël
(2018) ADHS 2018 — Location: Oxford, UK (11.July.2018)

Files

S2405896318311212.html
  • Closed Access
  • HTML
  • 61.5 KB

Details

Authors
Abstract
Reachability analysis is a powerful tool which is being used extensively and efficiently for the analysis and control of dynamical systems, especially when linear systems and convex sets are involved. In this note, we investigate whether exact or approximate reachability operations can be performed efficiently for the affine-semialgebraic setting, that is when we are dealing with general affine dynamics and basic semialgebraic sets. We show that it is partially true, we pinpoint the underlying challenges when this is not possible and indicate some directions for this case.
Affiliations

Citations

Athanasopoulos, N., & Jungers, R. (2018). On invariance and reachability on semialgebraic sets for linear dynamics. IFAC-PapersOnLine, 51(16), 43-48. https://doi.org/10.1016/j.ifacol.2018.08.008 (Original work published 2018)