Elektrotechnik und Informationstechnik - Research Information System | University of Kassel - CONVERIS Research Information System

Go to Header Go to Navigation Go to Content Go to Footer

Elektrotechnik und Informationstechnik

Personen

Publikationen

Go to first page

Go to previous page

7 von 8

Go to next page

Go to last page

2007	Buhlmann, M., Tagliabó, F., Roslak, J., Ayeb, M., 2007. Vom Design zum Code - ein durchgängiger Ansatz (DECOS), in: VDI (Hrsg.), 13. Internationaler Kongress Elektronik im Kraftfahrzeug. VDI Fahrzeug- und Verkehrstechnik, Baden-Baden, S. TBD.
2006	Lohmann, S., Dinh Thi, L.A., Stursberg, O., 2006. Design of verified logic control programs, in: IEEE (Hrsg.), Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, 2006 IEEE. S. 1855–1860. https://doi.org/10.1109/CACSD-CCA-ISIC.2006.4776923
2005	Stursberg, O., Lohmann, S., 2005. Analysis of Logic Controllers by Transformation of SFC into Timed Automata, in: IEEE (Hrsg.), Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC ’05. 44th IEEE Conference on. S. 7720–7725. https://doi.org/10.1109/CDC.2005.1583409
2005	Stursberg, O., Engell, S., 2005. Hybrid Control Techniques for the Design of Industrial Controllers, in: European Control Conference (Hrsg.), Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC ’05. 44th IEEE Conference on. S. 5612–5617. https://doi.org/10.1109/CDC.2005.1583056
2005	Stefani, S., 2005. Rechtliche Aspekte und Implementierung eines Benachrichtigungssystems für Nutzer von Bibliotheken. Kassel.
2004	Stursberg, O., 2004. A Graph Search Algorithm for Optimal Control of Hybrid Systems, in: IEEE (Hrsg.), Decision and Control, 2004. CDC. 43rd IEEE Conference on. IEEE, Nassau, Bahamas, S. 1412–1417. https://doi.org/10.1109/CDC.2004.1430241
2004	Remelhe, M.P., Lohmann, S., Stursberg, O., Engell, S., Bauer, N., 2004. Algorithmic Verification of Logic Controllers Given as Sequential Function Charts, in: IEEE (Hrsg.), Computer Aided Control Systems Design, 2004 IEEE International Symposium on. S. 53–58. https://doi.org/10.1109/CACSD.2004.1393850
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	Frehse, G., Stursberg, O., Engell, S., Huuck, R., Lukoschus, B., 2001. Verification of Hybrid Controlled Processing ´Systems based on Decomposition and Deduction, in: http://ieeexplore.ieee.org/ (Hrsg.), Intelligent Control, 2001. (ISIC ’01). Proceedings of the 2001 IEEE International Symposium on. S. 150–155. https://doi.org/10.1109/ISIC.2001.971500
2000	Engell, S., Kowalewski, S., Schulz, C., Stursberg, O., 2000. Continuous-Discrete Interactions in Chemical Processing Plants. Proceedings of the IEEE 88, 1050–1068. https://doi.org/10.1109/5.871308

Projekte

06/2020 - 11/2022	Ladeinfrastruktur 2.0
03/2010 - 02/2013	Oszilierender mikrooptischer Fasersensor für die Präszisionsmesstechnik
01/2009 - 12/2011	3D-Ultraschallabbildungsverfahren für Betonbauteile
06/2005 - 2015	Autonome Mobile Fussballroboter
05/2004 - 02/2010	Planare Multichipmodul-Integrationstechnologie für Leistungsanwendungen im Mikrowellen- und Millimeterwellenbereich