Guarantees by Design
Challenges and Goals
Engineers face the challenge to consider all possible uncertainties during the development of a technical product. This is a crucial point in every development process and needs special attention for safety critical systems. Therefore, guaranteed statements about the behavior of technical systems are particularly important.
The goal is to tackle complex as well as distributed parameter systems for a great variety of upcoming challenges.
| Autonomous Driving | Energy Supply | Industry 4.0 |
|
|
|
|
To accomplish such challenges, innovative descriptions of these systems are required. The research group Guarantees by Design investigates methods to design specifications and develops systems which create (estimation) or satisfy (control) guaranteed boundaries.
In an estimation setting, these guarantees are interpreted as certain intervals enclosing the states while in the control setting, the guarantees are interpreted as operational limits which are given by the application.
Particularly methods weakening requirements, reducing or simplifying assumptions bear the potential to save time and costs. Furthermore, formalized methods are less error prone and are thus leading to more reliable results.
Staff
 |
Christoph SchnurrResearch Associate Research Interest: |
 |
Florian SiebenrockResearch Associate Research Interest: |
 |
Manuel SchwartzResearch Associate Research Interest: |
 |
Andreas ZürcherResearch Associate Research Interest: |
 |
Christopher BohnResearch Associate Research Interest: |
 |
Thomas GellrichResearch Associate Research Interest: |
Student Assistents
Bachelor- and Master Students
Open Theses
| Title | Type | Supervisor |
|---|---|---|
| Modellbasierter Reglerentwurf für ein verkoppeltes Wärmetransportsystem im Satelliten | Master Thesis | |
| Modellprädiktive Regelung von Loop Heat Pipes im Satelliten | Master Thesis | |
| Modellbasierter Entwurf eines Kompensationsreglers für oszillationsbehaftete Loop Heat Pipes | Master Thesis | |
| Entwicklung einer 3D Simulation für autonome Roboter | Bachelor Thesis | |
| Verifizierte Bahnplanung basierend auf stochastischen Erreichbarkeitsmethoden | Master Thesis | |
| Verifikation von Fahrzeugtrajektorien basierend auf Erreichbarkeitsmethoden | Bachelor Thesis |
Publications
2020
-
Predictive and Bounded Reference Generation of the Actuators of Four-wheel Drive and Four-wheel Steer Vehicles.
Schwartz, M.; Zhao, K.; Hohmann, S.
2020. IEEE CCTA 2020 -
Analytical Optimal Control Allocation with Time-varying Secondary Objectives.
Schwartz, M.; Mittelviefhaus, F.; Hohmann, S.
2020. IEEE ICCAR 2020 -
Robust Position and Velocity Tracking Control of a Four-wheel Drive and Four-wheel Steered Electric Vehicle.
Schwartz, M.; Rudolf, T.; Hohmann, S.
2020. IEEE ICCAR -
Kinematic Sensitivity Analysis of the Suspension Characteristics for the Initial Design of Four-Wheel Drive and Four-Wheel Steered Vehicles.
Schwartz, M.; Goosmann, T.; Hohmann, S.
2020. WCX SAE World Congress Experience, Detroit, MI, April 21-23, 2020. Proceedings, SAE International, Warrendale (PA). doi:10.4271/2020-01-0990 -
Dynamic Set-Inversion Procedure to Design Interval-Based State Estimators for Discrete-Time LPV Systems.
Krebs, S.; Meslem, N.; Hohmann, S.
2020. 58th IEEE Conference on Decision and Control (CDC 2019), Nice, F, December 11-13, 2019, 3190–3195, IEEE, Piscataway (NJ). doi:10.1109/CDC40024.2019.9029661 -
Interval Input-State-Output Estimation for Linear Port-Hamiltonian Systems with Application to Power Distribution Systems.
Pfeifer, M.; Krebs, S.; Hofmann, F.; Kupper, M.; Hohmann, S.
2020. 58th IEEE Conference on Decision and Control (CDC), Nice, F, December 11-13, 2019, 3176–3183, IEEE, Piscataway (NJ). doi:10.1109/CDC40024.2019.9029590 -
Computation of Orders of a Commensurable Fractional Order Model.
Stark, O.; Kupper, M.; Krebs, S.; Hohmann, S.
2020. 58th IEEE Conference on Decision and Control (CDC), Nice, F, December 11-13, 2019, 784–790, IEEE, Piscataway (NJ). doi:10.1109/CDC40024.2019.9029742
2019
-
Bias-free Parameter Identification of a Fractional Order Model.
Stark, O.; Malan, A. J.; Krebs, S.; Hohmann, S.
2019. doi:10.5445/IR/1000117548 -
Steady-State Optimal Frequency Control for Lossy Power Grids with Distributed Communication.
Kölsch, L.; Bhatt, K.; Krebs, S.; Hohmann, S.
2019. IEEE International Conference on Electrical, Control and Instrumentation Engineering (ICECIE). Proceedings, 1–8, IEEE. doi:10.1109/ICECIE47765.2019.8974715 -
A Port-Hamiltonian Approach to Plug-And-Play Voltage and Frequency Control in Islanded Inverter-Based AC Microgrids.
Strehle, F.; Malan, A. J.; Krebs, S.; Hohmann, S.
2019. 58th IEEE Conference on Decision and Control (CDC), Nice, F, December 11-13, 2019 -
Automated Generation of Explicit Port-Hamiltonian Models from Multi-Bond Graphs.
Pfeifer, M.; Caspart, S.; Pfeiffer, S.; Muller, C.; Krebs, S.; Hohmann, S.
2019. doi:10.5445/IR/1000104388 -
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, IEEE, Piscataway, NJ. 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 -
AMOTO: Automatic MOdeling TOol for the Port-Hamiltonian Formulation of Bond Graphs.
Pfeiffer, S.; Muller, C.; Pfeifer, M.; Caspart, S.; Krebs, S.; Hohmann, S.
2019. VDI/VDE GMA-Fachausschuss 1.30 „Modellbildung, Identifikation und Simulation in der Automatisierungstechnik“. Tagung (2019), Anif, Österreich, 25.–27. September 2019 -
Explicit Port-Hamiltonian Formulation of Bond Graphs.
Pfeifer, M.; Pfeiffer, S.; Caspart, S.; Muller, C.; Krebs, S.; Hohmann, S.
2019. GMA-Fachausschuss 1.30 „Modellbildung, Identifikation und Simulation in der Automatisierungstechnik“, Anif, A, 25.-27. September 2019, VDI/VDE-Gesellschaft Mess- und Automatisierungstechnik, Düsseldorf -
Unknown input kalman filtering for linear discrete-time fractional order systems with direct feedthrough.
Kupper, M.; Pfeifer, M.; Krebs, S.; Hohmann, S.
2019. 2019 18th European Control Conference (ECC), Napoli, Italy, June 25-28, 2019, 1848–1853, IEEE. doi:10.23919/ECC.2019.8795817 -
Model Predictive Control Allocation of an Over-actuated Electric Vehicle with Single Wheel Actuators.
Schwartz, M.; Siebenrock, F.; Hohmann, S.
2019. IFAC-PapersOnLine, 52 (8), 162–169. doi:10.1016/j.ifacol.2019.08.065 -
Guaranteed Verification of Dynamic Systems. Dissertation.
Schwab, S.
2019. Karlsruhe. 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), Lissabon, Portugal, 22.–24. Juli 2019 -
Current and State of Charge Estimation of Lithium-Ion Battery Packs Using Distributed Fractional Extended Kalman Filters.
Kupper, M.; Creutz, A.; Stark, O.; Krebs, S.; Hohmann, S.
2019. IEEE CCTA 2019, 462–469, IEEE, Piscataway (NJ). doi:10.1109/CCTA.2019.8920558 -
Unknown Input Kalman Filtering for Linear Discrete-Time Fractional Order Systems With Direct Feedthrough [in press].
Kupper, M.; Pfeifer, M.; Krebs, S.; Hohmann, S.
2019. European Control Conference (ECC), Naples, Italy, 25–28 June 2019, IEEE, Piscataway (NJ) -
An Extension of the Modulating Function Method for Online Parameter Identification of Initialized Fractional Order Models.
Stark, O.; Kupper, M.; Krebs, S.; Hohmann, S.
2019. 2019 International Conference on Fractional Calculus Theory and Applications (ICFCTA 2019), Bourges, F, April 25-26, 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, IEEE, Picataway, NJ. doi:10.1109/ICMECH.2019.8722886 -
Passivity-Based Plug-and-Play Voltage and Frequency Control in Islanded Inverter-Based AC Microgrids.
Strehle, F.; Malan, A. J.; Krebs, S.; Hohmann Sören.
2019. 58th IEEE Conference on Decision and Control, Nice, F, December 11-13, 2019, 4648–4655, IEEE, Piscataway (NJ). doi:10.1109/CDC40024.2019.9029272 -
Automatic Determining of a Modulating Function.
Stark, O.; Eckert, M.; Krebs, S.; Hohmann, S.
2019. KIT, Karlsruhe. doi:10.5445/IR/1000092062 -
Interval Set-Membership State Estimator for Discrete-Time LPV Systems.
Krebs, S.; Hohmann, S.
2019. KIT, Karlsruhe. doi:10.5445/IR/1000091545 -
A Scalable Port-Hamiltonian Approach to Plug-and-Play Voltage Stabilization in DC Microgrids [submitted].
Strehle, F.; Pfeifer, M.; Krebs, S.; Hohmann, S.
2019. IFAC-PapersOnLine [submitted] -
Online Parameter Identification of a Fractional Order Model.
Stark, O.; Kupper, M.; Krebs, S.; Hohmann, S.
2019. 57th IEEE Conference on Decision and Control (CDC 2018), Miami, FL, December 17-19, 2018, 2303–2309, IEEE, Piscataway, NJ. doi:10.1109/CDC.2018.8619723 -
Non-linear MPC for winding loss optimised torque control of anisotropic PMSM.
Schnurr, C.; Hohmann, S.; Kolb, J.
2019. The Journal of Engineering, (17), 4252 – 4256. doi:10.1049/joe.2018.8143
2018
-
Non-linear MPC for winding loss optimised torque control of anisotropic PMSM.
Schnurr, C.; Hohmann, S.; Kolb, J.
2018, April 19. 9th International Conference on Power Electronics, Machines and Drives (PEMD 2018), Liverpool, GB, 17. April 2018–19. April 2019 -
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, IEEE, Piscataway (NJ). doi:10.1109/AIKE.2018.00034 -
Novel Lexicographic MPC for Loss Optimized Torque Control of Nonlinear PMSM.
Schnurr, C.; Hohmann, S.; Kolb, J.
2018. 2018 IEEE Conference on Control Technology and Applications (CCTA), Copenhagen, Denmark, 21–24 August 2018, 690–697, IEEE. doi:10.1109/CCTA.2018.8511455 -
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 -
Weighted Least Squares State Estimation for Coupled Power and Gas Distribution Networks.
Pfeifer, M.; Zimmerlin, M.; Schwarzendorfer, M.; Sauter, P.; Krebs, S.; Leibfried, T.; Hohmann, S.
2018. 53rd International Universities Power Engineering Conference, Glasgow, Scotland, 4th-7th September 2018, IEEE, Piscataway, NJ. doi:10.1109/UPEC.2018.8542013 -
Intervallbeobachter für lineare parametervariante Systeme und deren Anwendung auf die Asynchronmaschine. Dissertation.
Krebs, S.
2018. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000086503 -
Combined Optimization of District Heating and Electric Power Networks.
Maurer, J.; Elsner, C.; Krebs, S.; Hohmann, S.
2018. Energy procedia, 149, 509–518. doi:10.1016/j.egypro.2018.08.215 -
Intervallbeobachter für lineare parametervariante Systeme und deren Anwendung auf die Asynchronmaschine. Dissertation.
Krebs, S.
2018. KIT, Karlsruhe. doi:10.5445/IR/1000085805 -
Cascaded Fractional Kalman Filtering for State and Current Estimation of Large-Scale Lithium-Ion Battery Packs.
Kupper, M.; Brenneisen, J.; Stark, O.; Krebs, S.; Hohmann, S.
2018. 2018 Chinese Control And Decision Conference (CCDC), 5071–5078, IEEE, Piscataway, NJ. doi:10.1109/CCDC.2018.8408010 -
Interval MRAC with Proven Stability Properties and Application on Induction Motor Control.
Müller, J.; Krebs, S.; Buchholz, M.; Hohmann, S.
2018. The 14th IEEE International Conference on Control and Automation (IEEE ICCA Alaska 2018), Anchorage, AK, June 12-15, 2018, 173–179, IEEE, Piscataway, NJ. doi:10.1109/ICCA.2018.8444328 -
Coupled boundary interval observer for LPV systems subject to uncertainties in input, output and parameters.
Krebs, S.; Bächle, M.; Hohmann, S.
2018. Automatica, 95, 426–432. doi:10.1016/j.automatica.2018.06.012 -
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, Magdeburg
2017
-
Interval observers for LPV systems and application to the guaranteed state estimation of an induction machine.
Krebs, S.; Gellrich, T.; Hohmann, S.
2017. IFAC-PapersOnLine, 50 (1), 2794–2799. doi:10.1016/j.ifacol.2017.08.629 -
Examples on Verified Diagnosis of Safety Critical Dynamic Systems Based on Kaucher Interval Arithmetik.
Schwab, S.; Stark, O.; Hohmann, S.
2017, Juni 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 -
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 -
Interval State Observer Based on a Time-Variant Transformation for LPV Systems and Application to Induction machines.
Krebs, S.; Fugel, S.; Hohmann, S.
2017. 1st IEEE Conference on Control Technology and Applications, CCTA 2017, Waikoloa, Hawaii USA, 27. - 30. Aug, 2017, 1077–1084, IEEE, Piscataway, NJ. doi:10.1109/CCTA.2017.8062602 -
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, Cham. 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 -
Interval Modelling of a Voltage Source Inverter.
Krebs, S.; Köhrer, L.; Hohmann, S.
2016. 8th IET International Conference on Power Electronics, Machines and Drives (PEMD 2016), Glasgow, United Kingdom, 19-21 April 2016, 1–6, Curran Associates, Inc, Red Hook, NY. doi:10.1049/cp.2016.0336 -
Garantierte Zustandsschätzung für Asynchronmaschinen auf Basis eines Intervallbeobachters.
Krebs, S.; Hohmann, S.
2016. GMA-Fachausschuss 1.40, Workshop 2016, 21.-23.09.2016, Anif/ Salzburg -
A New Modelling and Identification Approach for Guaranteed Inclusion of a Voltage Source Inverter’s Output Voltages.
Krebs, S.; Köhrer, L.; Hohmann, S.
2016. ICCAIS 2016 - International Conference on Control Automation & Information Sciences, October 27-29, 2016, Ansan, Korea, IEEE, Piscataway (NJ). doi:10.1109/ICCAIS.2016.7822445 -
Interval Observer for LPV Systems Based on Time-Variant Transformations.
Krebs, S.; Pfeifer, M.; Fugel, S.; Weigold, J.; Hohmann, S.
2016. 55th IEEE Conference on Decision and Control (CDC), December 12-14, 2016, Las Vegas, NV, USA, 4090–4096, IEEE, Piscataway. doi:10.1109/CDC.2016.7798889 -
Reduced-order hybrid interval observer for verified state estimation of an induction machine.
Krebs, S.; Schnurr, C.; Pfeifer, M.; Weigold, J.; Hohmann, S.
2016. Control engineering practice, 57, 157–168. doi:10.1016/j.conengprac.2016.09.004
2015
-
Interval observers for electrical traction drives.
Krebs, S.; Hohmann, S.
2015. Summer School of Sino-EU Doctoral School for Sustainability, 18.10.-19.10.2015, Lissabon
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, IEEE, Piscataway (NJ). 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, IEEE, Piscataway (NJ). doi:10.1109/SMC.2014.6974086 -
A Cooperative and Competitive Workshop in Mechatronics Engineering.
Krebs, S.; Schmidt, S.; Matthiesen, S.; Hohmann, S.
2014. International Journal of Engineering Pedagogy, 4 (1), 13–17
2013
-
Cooperation-focused education in mechatronic engineering design projects.
Schmidt, S.; Lohmeyer, Q.; Krebs, S.; Hohmann, S.; Matthiesen, S.
2013. 15th International Conference on Engineering and Product Design Education: Design Education - Growing Our Future, EPDE 2013; Dublin; Ireland; 5 - 6 September 2013: Proceedings. Ed.: E. Bohemia, 296–301, The Design Society, Glasgow -
Erschließung mechatronischer Synergiepotentiale durch kooperationsorientierte Lehre (koop-L).
Matthiesen, S.; Hohmann, S.; Schmidt, S.; Breitschuh, J.; Lohmeyer, Q.; Krebs, S.
2013. Standortvorteil Methodik : 11. Gemeinsames Kolloquium Konstruktionstechnik (KT 2013), 12. - 13. September 2013 in Aachen. Hrsg.: K. Brökel, Shaker, Aachen -
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, IEEE, Piscataway (NJ). 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, IEEE, Piscataway (NJ). doi:10.1109/CDC.2013.6760428
