Reachability and escape problems in linear dynamical systems
<p>In this thesis we explore decision problems for linear dynamical systems, which are a fundamental model in theoretical computer science, software verification and control theory. We focus on the reachability and escape problems in discrete and continuous linear dynamical systems, and their...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |
| Published: |
2024
|
| Subjects: |