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
|
| الموضوعات: |