research
∙
03/17/2023
Experimental verification of an online traction parameter identification method
Traction parameters, that characterize the ground-wheel contact dynamics...
share
research
∙
08/31/2022
A stabilizing reinforcement learning approach for sampled systems with partially unknown models
Reinforcement learning is commonly associated with training of reward-ma...
research
∙
12/02/2021
Formal verification of a controller implementation in fixed-point arithmetic
For the implementations of controllers on digital processors, certain li...
research
∙
04/06/2021
Extraction of a computer-certified ODE solver
Reliably determining system trajectories is essential in many analysis a...
research
∙
01/08/2021
On the Turnpike to Design of Deep Neural Nets: Explicit Depth Bounds
It is well-known that the training of Deep Neural Networks (DNN) can be ...
research
∙
06/17/2020