Prof. Dr.-Ing. Olaf Stursberg
Projektbeteiligungen
2019 - 2021 | |
09/2017 - 03/2021 | |
Publikationen
2007 | |
2007 | |
2007 | |
2007 | Lohmann, S., Dinh-Thi, L.A., Tran, T.H., Stursberg, O., Engell, S., 2007. Iterative Verfeinerung und Formalisierung von Spezifikationen im Kontext des systematischen Steuerungsentwurfs. GMA-Kongress 1980 of VDI-Ber., 3–12. |
2007 | |
2007 | |
2007 | |
2007 | Althoff, M., Stursberg, O., Buss, M., 2007. Safety Assessment of Autonomous Cars using Verification Techniques, in: American Control Conference, 2007. ACC ’07 (Hrsg.), American Control Conference, 2007. ACC ’07. S. 4154–4159. https://doi.org/10.1109/ACC.2007.4282809 |
2007 | Subbiah, S., Panek, S., Engell, S., Stursberg, O., 2007. Scheduling of Multiproduct Batch Plants using Reachability Analysis of Timed Automata Models. 4th Int. Conf. on Informatics in Control, Automation, and Robotics 141–148. |
2006 | |