Curriculum Vitae

Studies of electrical engineering at Karlsruhe Institute of Technology (KIT) and the University of Newcastle, Australia (bachelor 2010). Practical work within the pre-master program of Robert Bosch GmbH at the research and development center of Abstatt. Then, studies of electrical engineering at KIT. Master’s thesis at IRS on the identification of a movement model based on measured trajectories. From 2013 until 2018 research assistant at the IRS and fellow of the doctoral college in the "Projekthaus eDrive". Since 2018 department manager of "Control in Information Technology" (CIT, Director Prof. Hohmann) at the research center for information technology (FZI).

Research

Classical manual development processes are time-consuming and cost-intensive. Use of more formalized methods for specification, implementation, and verification offers a vast potential for time and cost reduction. Formalized methods and processes are less susceptible to failure and produce more reliable results. In addition, clearer structures and notations are generated, which may result in enhanced system understanding.

Within the “Systems with Guarantees” group, methods are developed for such a formalization. The different projects of the group focus on the different partial steps of a development process. The objective is the development of a standardized framework for specification, control design, and verification.

The requirements needed are to be intuitive and easy to define. The results are given a degree of confidence that results from the framework used and the special mathematical description applied. In the context of safety-critical systems (e.g. driver assistance systems, autopilots, etc.) in particular, such data are of decisive importance. By using the proposed framework, it is possible to derive information on the functional properties of safety-critical systems based on easy-to-verify assumptions.

My research focuses on guaranteed verification of hybrid dynamic systems (also known as “embedded system” or “cyber physical system”) by using interval arithmetics. To determine so-called “inner enclosures,” a special type of interval arithmetics, so-called Kaucher interval arithmetics is applied. This new approach is to be used for control problems along the complete development process.

Publications

2020

Driver Interaction at Intersections: A Hybrid Dynamic Game Based Model.
Lemmer, M.; Schwab, S.; Hohmann, S.
2020. 2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2269–2276, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SMC42975.2020.9283079
Extended Nonlinear Dynamical Modeling and State Estimation for the Temperature Control of Loop Heat Pipes.
Gellrich, T.; Moeller, J.; Schwab, S.; Hohmann, S.
2020. 2020 IEEE Conference on Control Technology and Applications (CCTA), Montreal, QC, Canada, Canada, 24-26 Aug. 2020, 1015–1022, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CCTA41146.2020.9206366
Shared-Control Concepts for Large Vehicle-Manipulators.
Varga, B.; Burkhardt, Y.; Schwab, S.; Hohmann, S.
2020. 2020 IEEE 29th International Symposium on Industrial Electronics (ISIE), 197–203, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ISIE45063.2020.9152208
Limited-Information Cooperative Shared Control for Vehicle-Manipulators [in press].
Varga, B.; Shahirpour, A.; Lemmer, M.; Schwab, S.; Hohmann, S.
2020. 2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC), Institute of Electrical and Electronics Engineers (IEEE)
Validation of Cooperative Shared-Control Concepts for Large Vehicle-Manipulators.
Varga, B.; Shahirpour, A.; Burkhardt, Y.; Schwab, S.; Hohmann, S.
2020. 2020 IEEE Conference on Control Technology and Applications (CCTA), Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CCTA41146.2020.9206372

2019

Nonlinear Model Identification Adaptive Heater Control Design for Loop Heat Pipes.
Gellrich, T.; Zhang, X.; Schwab, S.; Hohmann, S.
2019. IEEE Conference on Control Technology and Applications (CCTA), 679–684, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CCTA.2019.8920525
Verification of hybrid systems using Kaucher arithmetic.
Schwab, S.; Hohmann, S.
2019. Automatisierungstechnik, 67 (4), 316–325. doi:10.1515/auto-2018-0095
Control of Large Vehicle-Manipulators with Human Operator.
Varga, B.; Shahirpour, A.; Schwab, S.; Hohmann, S.
2019. IFAC-PapersOnLine, 52 (30), 373–378. doi:10.1016/j.ifacol.2019.12.571
Guaranteed Verification of Dynamic Systems. PhD dissertation.
Schwab, S.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000097068
Regenerative Breaking Strategies for Electric Heavy Duty Trucks.
Rudolf, T.; Bischof, F.; Schwab, S.; Hohmann, S.
2019. 6th SINO-EU Doctoral School for Sustainability Engineering (SESE 2019), Lisbon, Portugal, July 22–24, 2019
Model predictive control and trajectory optimization of large vehicle-manipulators.
Varga, B.; Meier, S.; Schwab, S.; Hohmann, S.
2019. IEEE International Conference on Mechatronics (IEEE ICM 2019), Ilmenau, March 18-20, 2019, 60–66, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICMECH.2019.8722886

2018

Modeling of Human-Centered Cooperative Control by Means of Tracking in Discrete Time Linear Quadratic Differential Games.
Lemmer, M.; Köpf, F.; Schwab, S.; Flad, M.; Hohmann, S.
2018. 1st IEEE International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2018; Laguna Hills; United States; 26 September 2018 through 28 September 2018, 156–161, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/AIKE.2018.00034
A Robust Fault Detection Method using a Zonotopic Kaucher Set-membership Approach.
Schwab, S.; Puig, V.; Hohmann, S.
2018. IFAC-PapersOnLine, 51 (24), 500–507. doi:10.1016/j.ifacol.2018.09.623
Automatisierte Verifikation hybrider Systeme am Beispiel eines Batteriemanagementsystems.
Schwab, S.; Hohmann, S.
2018. Entwurf komplexer Automatisierungssysteme : EKA 2018 : Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen : 15. Fachtagung mit Workshop : 02. bis 03. März 2018 in Magdeburg. Hrsg.: Ulrich Jumar, Christian Diedrich, ifak / Otto-von-Guericke-Universität

2017

Verified Diagnosis of Safety Critical Dynamic Systems Based on Kaucher Interval Arithmetic.
Schwab, S.; Stark, O.; Hohmann, S.
2017. 20th IFAC World Congress, Toulouse, F, July 9-14, 2017, 13414–13421. doi:10.1016/j.ifacol.2017.08.1939
Examples on Verified Diagnosis of Safety Critical Dynamic Systems Based on Kaucher Interval Arithmetik.
Schwab, S.; Stark, O.; Hohmann, S.
2017, June 14. 10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership Applications, Reliability and Theory. (SWIM - SMART 2017), Manchester, UK, June 14 - 16, 2017
Automated Verification of Switched Systems Using Hybrid Identification.
Schwab, S.; Holzmüller, B.; Hohmann, S.
2017. Cyber Physical Systems : Design, Modeling, and Evaluation. 6th International Workshop, Pittsburgh, PA, October 6, 2016. Ed.: C. Berger, 87–100, Springer International Publishing. doi:10.1007/978-3-319-51738-4_7

2016

Verification of battery management systems using hybrid identification.
Schwab, S.; Hohmann, S.
2016. SINO-EU Doctoral School for Sustainability Engineering Harbin Institute of Technology (HIT), Harbin, China, 29th August – 03rd September, 2016

2014

Steering driver assistance system: A systematic cooperative shared control design approach.
Flad, M.; Otten, J.; Schwab, S.; Hohmann, S.
2014. Proceedings - 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC), San Diego, CA, USA, October 5-8, 2014, 3585–3592, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SMC.2014.6974486
Necessary and sufficient conditions for the design of cooperative shared control.
Flad, M.; Otten, J.; Schwab, S.; Hohmann, S.
2014. Proceedings - 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC), San Diego, CA, USA, October 5-8, 2014, 1253–1259, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SMC.2014.6974086

2013

Online identification of individual driver steering behaviour and experimental results.
Diehm, G.; Maier, S.; Flad, M.; Hohmann, S.
2013. Proceedings - 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC 2013) : Manchester, United Kingdom, 13 - 16 October 2013, 221–227, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SMC.2013.44
An Identification Method for Individual Driver Steering Behaviour Modelled by Switched Affine Systems.
Diehm, G.; Maier, S.; Flad, ;.; Hohmann, S.
2013. 52nd IEEE Annual Conference on Decision and Control, Florence, Italy, Dec. 10 ‐13, 2013, 3547–3553, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CDC.2013.6760428