Thesis
Reachability problems for linear dynamical systems
- Abstract:
-
The object of principal interest in this thesis is linear dynamical systems: deterministic systems which evolve under a linear operator. They are specified by an initial state set I, contained in ℝm, and a real m-by-m evolution matrix A. We distinguish two varieties of linear dynamical systems: discrete-time and continuous-time. In the discrete-time setting, the state x(n) of the system at time n for natural n is governed by the diffe...
Expand abstract
Actions
Authors
Contributors
+ Ouaknine, J
- Department:
- University of Oxford, Max Planck Institute for Software Systems
- Role:
- Supervisor
+ Worrell, J
- Department:
- University of Oxford
- Role:
- Supervisor
- Type of award:
- DPhil
- Level of award:
- Doctoral
- Awarding institution:
- University of Oxford
- UUID:
-
uuid:e73d1a5b-edce-4e1d-a593-fd8df7e2a817
- Deposit date:
-
2017-07-07
Terms of use
- Copyright holder:
- Chonev, V
- Copyright date:
- 2015
If you are the owner of this record, you can report an update to it here: Report update to this record