Publications

2016
DOI
[bibtex]
Johanna Nellen, Kai Driessen, Martin R. Neuhäußer, Erika Abraham, Benedikt Wolters. Two CEGAR-Based Approaches for the Safety Verification of PLC-Controlled Plants. Information Systems Frontiers 18(5), pages 927–952, 2016.
2015
DOI
[bibtex]
Sascha Geulen, Martina Josevski, Johanna Nellen, Janosch Fuchs, Lukas Netz, Benedikt Wolters, Dirk Abel, Erika Abraham, Walter Unger. Learning-based Control Strategies for Hybrid Electric Vehicles. Proc. of the 2015 IEEE Conf. on Control Applications (CCA'15), pages 1722–1728, IEEE, 2015.

[bibtex]
Sascha Geulen, Martina Josevski, Johanna Nellen, Janosch Fuchs, Lukas Netz, Benedikt Wolters, Erika Abraham, Walter Unger, Dirk Abel. Online Lernen als Kontrollstrategie in Hybridfahrzeugen. Proc. of the 7th VDI/VDE Fachtagung AUTOREG: Auf dem Weg zum automatisierten Fahren, Volume 2233 of VDI-Berichte, pages 101–112, VDI Verlag, 2015.
Link
[bibtex]
Johanna Nellen, Erika Abraham, Benedikt Wolters. A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants using Hybrid Automata. In Thouraya Bouabana-Tebibel, Stuart H. Rubin editors, Formalisms for Reuse and Systems Integration, pages 55–78, Volume 346 of Advances in Intelligent Systems and Computing, 2015.
Link
[bibtex]
Johanna Nellen, Benedikt Wolters, Lukas Netz, Sascha Geulen, Erika Abraham. A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs. Proc. of the 1st Global Conference on Artificial Intelligence (GCAI'15), Volume 36 of EPiC Series in Computer Science, pages 196–214, EasyChair, 2015.