h1

000061055 001__ 61055
000061055 005__ 20230927111928.0
000061055 0247_ $$2URN$$aurn:nbn:de:hbz:82-opus-15866
000061055 0247_ $$2HBZ$$aHT014827246
000061055 0247_ $$2OPUS$$a1586
000061055 0247_ $$2Laufende Nummer$$a27377
000061055 037__ $$aRWTH-CONV-122739
000061055 041__ $$aEnglish
000061055 082__ $$a510
000061055 1001_ $$0P:(DE-82)IDM05501$$aRobertz, Daniel$$b0$$eAuthor
000061055 245__ $$aFormal computational methods for control theory$$cvorgelegt von Daniel Robertz$$honline, print
000061055 260__ $$aAachen$$bPublikationsserver der RWTH Aachen University$$c2006
000061055 300__ $$aIV, 203 S.
000061055 3367_ $$0PUB:(DE-HGF)11$$2PUB:(DE-HGF)$$aDissertation / PhD Thesis$$bphd$$mphd
000061055 3367_ $$02$$2EndNote$$aThesis
000061055 3367_ $$2DRIVER$$adoctoralThesis
000061055 3367_ $$2BibTeX$$aPHDTHESIS
000061055 3367_ $$2DataCite$$aOutput Types/Dissertation
000061055 3367_ $$2ORCID$$aDISSERTATION
000061055 502__ $$aAachen, Techn. Hochsch., Diss., 2006$$gFak01$$o2006-06-20
000061055 5203_ $$aDiese Arbeit behandelt die algebraische Analyse von strukturellen Eigenschaften von Kontrollsystemen, z.B. die Steuerbarkeit und die Parametrisierbarkeit ihres Verhaltens. Beiträge dieser Arbeit sind die folgenden formalen rechnerischen Methoden. Der Janet-Algorithmus wird auf Ore-Algebren erweitert, die für systemtheoretische Anwendungen von Interesse sind. Die verallgemeinerte Hilbert-Reihe, welche eine Vektorraumbasis eines endlich präsentierten Moduls über einer Ore-Algebra aufzählt, wird eingeführt. Weiter wird eine Methode zur Linearisierung von Differentialgleichungen präsentiert, die unabhängig von einer gewählten Trajektorie ist. Diese generische Linearisierung liefert ein lineares Differentialgleichungssystem mit nicht-konstanten Koeffizienten, für welche die ursprünglichen nicht-linearen Gleichungen erzeugende Relationen sind. Deshalb wird ein rechnerisches Verfahren zur Behandlung dieser Gleichungen unter Benutzung des Jet-Formalismus und differentiellen Ringen erläutert. Der algebraische Zugang zur Systemtheorie, der in dieser Arbeit benutzt wird, ordnet jedem linearen System einen Modul über einem Ring zu, der gemäß des Typs der gegebenen Gleichungen gewählt wird (z.B. gewöhnliche oder partielle Differentialgleichungen, Differenzengleichungen, retardierte Differentialgleichungen etc.).Die Genauigkeit, in der strukturelle Eigenschaften des Lösungsraums des linearen Systems durch den Modul wiedergegeben werden, hängt von der Wahl des Raumes der zulässigen Funktionen ab. Eine eineindeutige Beziehung von homologischen Kriterien besteht für Funktionenräume, die injektive Kogeneratoren sind. In dieser Arbeit wird ein injektiver Kogenerator für jede Ore-Algebra angegeben, die für die systemtheoretischen Anwendungen relevant ist.Anschließend wird die Möglichkeit, den Lösungsraum eines linearen Systems zu parametrisieren, genauer untersucht. Eine Erweiterung der bekannten Theorie auf lineare Systeme, welche nicht vollständig steuerbar sind, wird erläutert, und ein Verfahren zur Berechnung von flachen Ausgängen einer gewissen Klasse von linearen Systemen über Weyl-Algebren wird präsentiert. Die behandelte Theorie und die formalen Methoden werden an Beispielen mechanischer und verfahrenstechnischer Systeme veranschaulicht.$$lger
000061055 520__ $$aThis 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 theoretic applications. The generalized Hilbert series is introduced, which enumerates a vector space basis of a finitely presented module over an Ore algebra. A method for linearizing differential equations that is independent of any chosen trajectory is presented. This generic linearization results in a system of linear differential equations with non-constant coefficients which are subject to the original nonlinear equations. Therefore, a computational way for dealing with these equations is explained in the framework of jet calculus and differential rings. The algebraic approach to systems theory which is employed in this thesis associates with every linear system a module over a ring which is chosen in accordance with the type of the given equations (e.g. ordinary or partial differential equations, difference equations, retarded differential equations, etc.). The precision in which structural properties of the solution space of the linear system are represented by the module depends on the choice of the space of admissible functions. A faithful correspondence of homological conditions holds for function spaces which are injective cogenerators. In this thesis an injective cogenerator for every Ore algebra which is relevant for the applications to systems theory is presented. The possibility to parametrize the solution spaces of linear systems is investigated more closely. An extension of the established theory to linear systems which are not completely controllable is explained and a method for computing flat outputs of a certain class of linear systems over Weyl algebras is given. The presented theory and formal methods are illustrated on mechanical and chemical engineering systems.$$leng
000061055 591__ $$aGermany
000061055 653_7 $$aMathematik
000061055 653_7 $$2ger$$aDifferentialalgebra
000061055 653_7 $$2ger$$aComputeralgebra
000061055 653_7 $$2ger$$aKontrolltheorie
000061055 653_7 $$2ger$$aAlgebraische Systemtheorie
000061055 653_7 $$2eng$$aAlgebraic Analysis of Linear Systems
000061055 7001_ $$0P:(DE-82)196333$$aPlesken, Wilhelm$$b1$$eThesis advisor
000061055 8564_ $$uhttps://publications.rwth-aachen.de/record/61055/files/Robertz_Daniel.pdf
000061055 8564_ $$uhttps://publications.rwth-aachen.de/record/61055/files/61055_kardex.pdf$$yInternal catalog entry
000061055 909CO $$ooai:publications.rwth-aachen.de:61055$$pdnbdelivery$$pVDB$$pdriver$$purn$$popen_access$$popenaire
000061055 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
000061055 9201_ $$0I:(DE-82)114410_20140620$$k114410$$lLehrstuhl B für Mathematik$$x0
000061055 9201_ $$0I:(DE-82)110000_20140620$$k110000$$lFachgruppe Mathematik$$x1
000061055 961__ $$c2014-05-23$$x2006-08-25$$z2012-02-20
000061055 970__ $$aHT014827246
000061055 980__ $$aphd
000061055 980__ $$aI:(DE-82)114410_20140620
000061055 980__ $$aI:(DE-82)110000_20140620
000061055 980__ $$aVDB
000061055 980__ $$aUNRESTRICTED
000061055 980__ $$aConvertedRecord
000061055 9801_ $$aFullTexts
000061055 980__ $$aFullTexts