Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"Algebraic Analysis of Linear Systems"”.
-
Formal computational methods for control theory
This thesis treats structural properties of control systems, e.g. controllability and parametrizability of their behavior, from an algebraic point of view. It contributes the following formal computational methods. Janet's algorithm is extended to Ore algebras which are relevant for system …