62 citations · 94 across the 12 of their papers we have counts for
12 papers
Classification of Covering Spaces and Canonical Change of Basepoint
Jelle Wemmenhove, Cosmin Manea, Jim Portegies
Using the language of homotopy type theory (HoTT), we 1) prove a synthetic version of the classification theorem for covering spaces, and 2) explore the existence of canonical chan…
Waterproof: Educational Software for Learning How to Write Mathematical Proofs
Jelle Wemmenhove, Dick Arends, Thijs Beurskens +8
In order to help students learn how to write mathematical proofs, we adapt the Coq proof assistant into an educational tool we call Waterproof. Like with other interactive theorem…
Feedforward Control in the Presence of Input Nonlinearities: A Learning-based Approach
Jilles van Hulst, Maurice Poot, Dragan Kostić +3
Advanced feedforward control methods enable mechatronic systems to perform varying motion tasks with extreme accuracy and throughput. The aim of this paper is to develop a data-dri…
Is Vanilla Policy Gradient Overlooked? Analyzing Deep Reinforcement Learning for Hanabi
Bram Grooten, Jelle Wemmenhove, Maurice Poot +1
In pursuit of enhanced multi-agent collaboration, we analyze several on-policy deep reinforcement learning algorithms in the recently published Hanabi benchmark. Our research sugge…
Gaussian Process Position-Dependent Feedforward: With Application to a Wire Bonder
Max van Haren, Maurice Poot, Dragan Kostić +3
Mechatronic systems have increasingly stringent performance requirements for motion control, leading to a situation where many factors, such as position-dependency, cannot be negle…
Position-Dependent Snap Feedforward: A Gaussian Process Framework
Max van Haren, Maurice Poot, Jim Portegies +1
Mechatronic systems have increasingly high performance requirements for motion control. The low-frequency contribution of the flexible dynamics, i.e. the compliance, should be comp…
Learning nonlinear feedforward: a Gaussian Process Approach Applied to a Printer with Friction
Max van Meer, Maurice Poot, Jim Portegies +1
Feedforward control is essential to achieving good tracking performance in positioning systems. The aim of this paper is to develop an identification strategy for inverse models of…
On the Role of Models in Learning Control: Actor-Critic Iterative Learning Control
Maurice Poot, Jim Portegies, Tom Oomen
Learning from data of past tasks can substantially improve the accuracy of mechatronic systems. Often, for fast and safe learning a model of the system is required. The aim of this…
PDE-based Group Equivariant Convolutional Neural Networks
Bart Smets, Jim Portegies, Erik Bekkers +1
We present a PDE-based framework that generalizes Group equivariant Convolutional Neural Networks (G-CNNs). In this framework, a network layer is seen as a set of PDE-solvers where…
Total Variation and Mean Curvature PDEs on
Remco Duits, Etienne St-Onge, Jim Portegies +1
Total variation regularization and total variation flows (TVF) have been widely applied for image enhancement and denoising. To include a generic preservation of crossing curviline…
SciSports: Learning football kinematics through two-dimensional tracking data
Anatoliy Babic, Harshit Bansal, Gianluca Finocchio +7
SciSports is a Dutch startup company specializing in football analytics. This paper describes a joint research effort with SciSports, during the Study Group Mathematics with Indust…
New Exact and Numerical Solutions of the (Convection-)Diffusion Kernels on SE(3)
J. M. Portegies, R. Duits
We consider hypo-elliptic diffusion and convection-diffusion on , the quotient of the Lie group of rigid body motions SE(3) in which group elements are eq…