Lösung regelungstechnischer Problemstellungen mittels Quantorenelimination-Reference-Cited by-同舟云学术

Lösung regelungstechnischer Problemstellungen mittels Quantorenelimination

Published:2019-09-01 Issue:9 Volume:67 Page:714-726
ISSN:2196-677X
Container-title:at - Automatisierungstechnik
language:en
Short-container-title:

Author:

Röbenack Klaus¹,Voßwinkel Rick²

Affiliation:

1. Institut für Regelungs- und Steuerungstheorie, Fakultät Elektrotechnik und Informationstechnik , TU Dresden , Dresden , Deutschland

2. Entwicklungszentrum Chemnitz/Stollberg , IAV GmbH , Chemnitz , Deutschland

Abstract

Zusammenfassung Zahlreiche regelungstechnisch relevante Entwurfs- und Analysefragestellungen lassen sich als Entscheidungsprobleme formulieren und mit quantifizierten Ausdrücken darstellen. Um diese Formulierungen für die jeweilige regelungstechnische Aufgabe nutzen zu können, werden Methoden der Quantorenelimination verwendet. Dabei handelt es sich um ein aus der Modelltheorie stammendes Konzept, um quantifizierte Ausdrücke in quantorenfreie Äquivalente zu überführen. Dieser Ansatz wird in diesem Beitrag auf eine Reihe von Fragestellungen angewendet und anhand diverser Beispiele diskutiert.

Publisher

Walter de Gruyter GmbH

Subject

Electrical and Electronic Engineering,Computer Science Applications,Control and Systems Engineering

Link

https://www.degruyter.com/document/doi/10.1515/auto-2019-0045/pdf

Reference71 articles.

1. Abdallah, C. T., P. Dorato, R. Liska, S. Steinberg and W. Yang: Applications of Quantifier Elimination Theory to Control Theory. Technischer Bericht, University of New Mexico, September 1995.

2. Ackermann, J.: Entwurf durch Polvorgabe, Teil 2. Regelungstechnik, 25:209–215, 1977.

3. Ackermann, J. E.: On the synthesis of linear control systems with specified characteristics. Automatica, 13(1):89–94, Januar 1977.

4. Adamy, J.: Nichtlineare Systeme und Regelungen. Springer Vieweg, Berlin, Heidelberg, 3. Auflage, 2018.

5. Anai, H. and S. Hara: A Robust Control System Design by a Special Quantifier Elimination Methods using a Sturm-Habicht sequence. In: Proc. IMACS-ACA’99, 1999.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Systematic Analysis and Design of Control Systems Based on Lyapunov’s Direct Method;Algorithms;2023-08-14

2. On the Systematic Construction of Lyapunov Functions for Polynomial Systems;PAMM;2023-05

3. Über die algebraische Stabilitätsanalyse parametrischer polynomialer Systeme mittels LaSalles Invarianzprinzip;at - Automatisierungstechnik;2022-08-01

4. Full and Partial Eigenvalue Placement for Minimum Norm Static Output Feedback Control;SYSTEM THEORY, CONTROL AND COMPUTING JOURNAL;2022-06-30

5. Minimum Norm Partial Eigenvalue Placement for Static Output Feedback Control;2021 25th International Conference on System Theory, Control and Computing (ICSTCC);2021-10-20