
M. Sc. Stefan Schwab
- Research Associate, Group Leader
- Group:
FZI
Embedded Systems and Sensor Engineering - Phone: +49 721 9654-757
- schwabBva7∂fzi de
FZI Forschungszentrum Informatik
Embedded Systems and Sensors Engineering (ESS)
Haid-und-Neu Str. 10-14
76131 Karlsruhe
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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