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...

Full description

Bibliographic Details
Main Author: de Sousa Pinto, J
Other Authors: Worrell, J
Format: Thesis
Published: 2017
Subjects: