Regelungs- und Systemtheorie - Research Information System | University of Kassel

Regelungs- und Systemtheorie

University of Kassel » Fachbereiche » Faculty of Electrical Engineering and Computer Science » Elektrotechnik

URL:	http://www.uni-kassel.de/eecs/fachgebiete/control/start.html

Address:

Wilhelmshöher Allee 73
34121 Kassel

Description

Das Fachgebiet untersucht in der Forschung vorrangig Methoden zur Analyse, Regelung, Steuerung und Optimierung von mathematisch modellierten Systemen, die durch eine oder mehrere der folgenden Eigenschaften gekennzeichnet sind: gemischt kontinuierlich-diskrete (hybride) Dynamiken,verteilte Strukturen mit Kommunikationskomponenten,hierarchischer Aufbau mit mehreren Entscheidungsebenen,Dynamiken mit Unsicherheiten, Zeitvariabilität oder Unteraktuierung. Zur Validierung der entwickelten Methoden werden schwerpunktmäßig Anwendungen aus den Bereichen der Automobiltechnik, der Robotik und der Produktionstechnik betrachtet.

Persons

Prof. Dr.-Ing. Olaf Stursberg

------

Publications

25 of 26

1999	Kowalewski, S., Bauer, N., Preußig, J., Stursberg, O., Treseler, H., 1999. An Open Tool Architecture for the Formal Verification of Logic Controllers in Processing Systems. 14th IFAC World Congress J, 121–126.
1999	Stursberg, O., Kowalewski, S., 1999. Approximating Switched Continuous Systems by Rectangular Automata. European Control Conference F1014–4. https://doi.org/10.23919/ecc.1999.7099845
1999	Preußig, J., Stursberg, O., Kowalewski, S., 1999. Approximative Erreichbarkeitsanalyse für gesteuerte kontinuierliche Systeme. 6. Tagung Entwurf und Betrieb komplexer Automatisierungssysteme 1, 219–232.
1999	Preußig, J., Stursberg, O., Kowalewski, S., 1999. Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis. In. Hybrid Systems - Computation and Control 1569 of LNCS, 209–222. Springer.
1999	Stursberg, O., Engell, S., Kowalewski, S., 1999. Timed Approximations of Hybrid Processes for Controller Verification. 14th IFAC World Congress J, 73–78.
1999	Kowalewski, S., Engell, S., Preußig, J., Stursberg, O., 1999. Verification of Logic Controllers for Continuous Plants Using Timed Condition/Event-System Models. Automatica 25, 505–528. https://doi.org/10.1016/S0005-1098(98)00179-4
1998	Stursberg, O., Graf, H., Engell, S., Schmidt-Traub, H., 1998. A Concept for Safety Analysis of Chemical Plants based on Discrete Models with an Adapted Degree of Abstraction. 4th Int. Workshop on Discrete Event Systems 314–320.
1998	Stursberg, O., Kowalewski, S., Preußig, J., Treseler, H., 1998. Block-diagrambased Modeling and Analysis of Continuous Processes under Discrete Control. 3rd Int. Conf. on Automation of Mixed Processes 63–70.
1998	Stursberg, O., Kowalewski, S., Preußig, J., Treseler, H., 1998. Block-Diagram based Modelling and Analysis of Hybrid Processes under Discrete Control. Journal Européen des Systèmes Automatisés 32(9-10), 1097–1118.
1998	Kowalewski, S., Preußig, J., Stursberg, O., Treseler, H., 1998. Blockorientierte Modellierung und Verifikation von diskret gesteuerten kontinuierlichen Prozessen. GMA-Kongress 1397 / VDI-Reihe, 335–342. VDI.