On invariance and reachability on semialgebraic sets for linear dynamics

Nikolaos Athanasopoulos, Raphael M. Jungers

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

1 Citation (Scopus)
121 Downloads (Pure)


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.
Original languageEnglish
Title of host publicationIFAC Conference on Analysis and Design of Hybrid Systems: Proceedings
Publication statusPublished - 31 Aug 2018


Dive into the research topics of 'On invariance and reachability on semialgebraic sets for linear dynamics'. Together they form a unique fingerprint.

Cite this