Thesis icon

Thesis

Decidability boundaries in linear dynamical systems

Abstract:

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.

In particular, we describe a method for deciding the termination of simple linear loops, partly solving a 10-year-old open problem of Tiwari (2004) and Braverman (2006). We also study the membership problem for semigroups of matrix exponentials, which we show t...

Expand abstract

Actions


Access Document


Files:

Authors


More by this author
Division:
MPLS
Department:
Computer Science
Department:
University of Oxford
Role:
Author

Contributors

Department:
University of Oxford
Role:
Supervisor
Department:
University of Oxford
Role:
Supervisor
Department:
Max Planck Institute
Role:
Supervisor
Department:
University of Oxford
Role:
Examiner
Department:
University of Waterloo
Role:
Examiner
More from this funder
Funding agency for:
Koutsoupias, E
Grant:
321171
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
University of Oxford
Subjects:
UUID:
uuid:9dde757f-6de1-47a6-a628-73f46e4bdf70
Deposit date:
2017-09-18

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP