Electrical Engineering and Information Engineering
Publications
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 | |
2005 | |
2005 | |
2004 | |
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 | |
Projects
06/2020 - 11/2022 | |
03/2010 - 02/2013 | |
01/2009 - 12/2011 | |
06/2005 - 2015 | |
05/2004 - 02/2010 | |
