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...
| 第一著者: | |
|---|---|
| その他の著者: | |
| フォーマット: | 学位論文 |
| 言語: | English |
| 出版事項: |
2024
|
| 主題: |