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

23 of 26

2003	Clarke, E., Fehnker, A., Han, Z., Krogh, B.H., Stursberg, O., Theobald, M., 2003. Verification of Hybrid Systems based on Counterexample-Guided Abstraction Refinement. Tools and Algorithms for the Construction and Analysis of Systems 2619 of LNCS, 192–207. Springer. https://doi.org/10.1007/3-540-36577-x_14
2002	Stursberg, O., Panek, S., 2002. Control of Switched Hybrid Systems based on Disjunctive Formulations. Hybrid Systems: Computation and Control 2289 of LNCS, 421–435. Springer. https://doi.org/10.1007/3-540-45873-5_33
2002	Stursberg, O., Panek, S., Till, J., Engell, S., 2002. Generation of Optimal Control Policies for Systems with Switched Hybrid Dynamics. Modelling, Analysis, and Design of Hybrid Systems 279 of LNCIS, 337–352. Springer.
2002	Bauer, N., Engell, S., Grüger, M., Stursberg, O., 2002. Modellbasierter Entwurf von Steuerungen für verfahrenstechnische Anlagen. Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen 197–210. Wiley–VCH.
2002	Frehse, G., Stursberg, O., Engell, S., Huuck, R., Lukoschus, B., 2002. Modular Analysis of Discrete Controllers for Distributed Hybrid Systems. 15th IFAC World Congress ThE06–4. https://doi.org/10.3182/20020721-6-es-1901.00566
2002	Stursberg, O., Engell, S., 2002. Optimal Control of Switched Continuous Systems Using Mixed-Integer Programming. 15th IFAC World Congress ThA06–4. https://doi.org/10.3182/20020721-6-es-1901.00560
2001	Treseler, H., Stursberg, O., 2001. Analyse zeitbewerteter Bedingung/Ereignis-Systeme durch Transformation in diskrete Automaten. 7. Tagung Engineering komplexer Automatisierungssysteme 205–223.
2001	Silva, B.I., Stursberg, O., Krogh, B.H., Engell, S., 2001. An Assessment of the Current Status of Algorithmic Approaches to the Verification of Hybrid Systems, in: IEEE (Hrsg.), Decision and Control, 2001. Proceedings of the 40th IEEE Conference on. S. 2867–2874. https://doi.org/10.1109/.2001.980711
2001	Kowalewski, S., Stursberg, O., Bauer, N., 2001. An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems. European Journal of Control 7, 366–381. https://doi.org/10.3166/ejc.7.361-381
2001	Treseler, H., Stursberg, O., Chung, P.W.H., Yang, S., 2001. An Open Software Architecture for the Verification of Industrial Controllers. Journal of Universal Computer Science 7, 37–53.