Decidability boundaries in linear dynamical systems
<p>The object of this thesis is the study of the decidability properties of linear dynamical systems, which have fundamental ties to theoretical computer science, software verification, linear hybrid systems, and control theory. <p>In particular, we describe a method for deciding the...
Main Author: | |
---|---|
Other Authors: | |
Format: | Thesis |
Published: |
2017
|
Subjects: |