Karel Zimmermann

dblp:06/116 · DBLP profile ↗
← Back
24ranked-venue papers
10as first author
4since 2021 · last 2025
0000-0002-8898-4512ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 17 · 8 first-author · 3 since 2021Systems, architecture and hardware · 8 · 2 first-author · 3 since 2021Graphics, computer vision, multimedia, augmented reality and games · 5 · 3 first-authorDatabases, data management, data science and information retrieval · 2Theory of computation · 2 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 2 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2025 Manual, Semi or Fully Autonomous Flipper Control? A Framework for Fair Comparison
abstract
We investigated the performance of existing semiand fully autonomous methods for controlling flipper-based skid-steer robots. Our study involves the reimplementation of these methods for a fair comparison, and it introduces a novel semi-autonomous control policy that provides a compelling trade-off among current state-of-the-art approaches. We also propose new metrics for assessing cognitive load and traversal quality and offer a benchmarking interface for generating Quality-Load graphs from recorded data. Our results, presented in a 2D Quality-Load space, demonstrate that the new control policy effectively bridges the gap between autonomous and manual control methods. Additionally, we reveal a surprising fact that fully manual, continuous control of all six degrees of freedom remains highly effective when performed by an experienced operator on a well-designed analog controller from a third-person view.
Valentýn Cíhala, Martin Pecka, Tomás Svoboda, Karel Zimmermann
ICRA4
2024 MonoForce: Self-supervised Learning of Physics-informed Model for Predicting Robot-terrain Interaction
abstract
While autonomous navigation of mobile robots on rigid terrain is a well-explored problem, navigating on deformable terrain such as tall grass or bushes remains a challenge. To address it, we introduce an explainable, physics-aware and end-to-end differentiable model which predicts the outcome of robot-terrain interaction from camera images, both on rigid and non-rigid terrain. The proposed MonoForce model consists of a black-box module which predicts robot-terrain interaction forces from onboard cameras, followed by a white-box module, which transforms these forces and a control signals into predicted trajectories, using only the laws of classical mechanics. The differentiable white-box module allows backpropagating the predicted trajectory errors into the black-box module, serving as a self-supervised loss that measures consistency between the predicted forces and ground-truth trajectories of the robot. Experimental evaluation on a public dataset and our data has shown that while the prediction capabilities are comparable to state-of-the-art algorithms on rigid terrain, MonoForce shows superior accuracy on nonrigid terrain such as tall grass or bushes. To facilitate the reproducibility of our results, we release both the code and datasets.
Ruslan Agishev, Karel Zimmermann, Vladimir Kubelka, Martin Pecka, Tomás Svoboda
IROS2
2023 T-UDA: Temporal Unsupervised Domain Adaptation in Sequential Point Clouds
abstract
Deep perception models have to reliably cope with an open-world setting of domain shifts induced by different geographic regions, sensor properties, mounting positions, and several other reasons. Since covering all domains with annotated data is technically intractable due to the endless possible variations, researchers focus on unsupervised domain adaptation (UDA) methods that adapt models trained on one (source) domain with annotations available to another (target) domain for which only unannotated data are available. Current predominant methods either leverage semi-supervised approaches, e.g., teacher-student setup, or exploit privileged data, such as other sensor modalities or temporal data consistency. We introduce a novel domain adaptation method that leverages the best of both approaches. Our approach combines input data's temporal and cross-sensor geometric consistency with the mean teacher method. Dubbed T-UDA for “temporal UDA”, such a combination yields massive performance gains for the task of 3D semantic segmentation of driving scenes. Experiments are conducted on Waymo Open Dataset, nuScenes, and SemanticKITTI, for two popular 3D point cloud architectures, Cylinder3D and MinkowskiNet. Our codes are publicly available on https://github.com/ctu-vras/T-UDA.
Awet Haileslassie Gebrehiwot, David Hurych, Karel Zimmermann, Patrick Pérez, Tomás Svoboda
IROS3
2022 Learning to Predict Lidar Intensities
abstract
We propose a data-driven method for simulating lidar sensors. The method reads computer-generated data, and (i) extracts geometrically simulated lidar point clouds and (ii) predicts the strength of the lidar response –lidar intensities. Qualitative evaluation of the proposed pipeline demonstrates the ability to predict systematic failures such as no/low responses on polished parts of car bodyworks and windows, or strong responses on reflective surfaces such as traffic signs and license/registration plates. We also experimentally show that enhancing the training set by such simulated data improves the segmentation accuracy on the real dataset with limited access to real data. Implementation of the resulting lidar simulator for the GTA V game, as well as the accompanying large dataset, is made publicly available.
Patrik Vacek, Otakar Jasek, Karel Zimmermann, Tomás Svoboda
IEEE Trans. Intell. Transp. Syst.3
2019 Steady states in the scheduling of discrete-time systems
Martin Gavalec, Daniela Ponce, Karel Zimmermann
Inf. Sci.3
2018 An optimization problem on the image set of a (max, min) fuzzy operator
Richard Cimler, Martin Gavalec, Karel Zimmermann
Fuzzy Sets Syst.3
2017 Learning for Active 3D Mapping
abstract
We propose an active 3D mapping method for depth sensors, which allow individual control of depth-measuring rays, such as the newly emerging solid-state lidars. The method simultaneously (i) learns to reconstruct a dense 3D occupancy map from sparse depth measurements, and (ii) optimizes the reactive control of depth-measuring rays. To make the first step towards the online control optimization, we propose a fast prioritized greedy algorithm, which needs to update its cost function in only a small fraction of possible rays. The approximation ratio of the greedy algorithm is derived. An experimental evaluation on the subset of the KITTI dataset demonstrates significant improvement in the 3D map accuracy when learning-to-reconstruct from sparse measurements is coupled with the optimization of depth measuring rays.
Karel Zimmermann, Tomás Petrícek 0002, Vojtech Salanský, Tomás Svoboda
ICCV1
2017 Fast simulation of vehicles with non-deformable tracks
abstract
This paper presents a novel technique that allows for both computationally fast and sufficiently plausible simulation of vehicles with non-deformable tracks. The method is based on an effect we have called Contact Surface Motion. A comparison with several other methods for simulation of tracked vehicle dynamics is presented with the aim to evaluate methods that are available off-the-shelf or with minimum effort in general-purpose robotics simulators. The proposed method is implemented as a plugin for the open-source physics-based simulator Gazebo using the Open Dynamics Engine.
Martin Pecka, Karel Zimmermann, Tomás Svoboda
IROS2
2016 Autonomous flipper control with safety constraints
abstract
Policy Gradient methods require many real-world trials. Some of the trials may endanger the robot system and cause its rapid wear. Therefore, a safe or at least gentle-to-wear exploration is a desired property. We incorporate bounds on the probability of unwanted trials into the recent Contextual Relative Entropy Policy Search method. The proposed algorithm is evaluated on the task of autonomous flipper control for a real Search and Rescue rover platform.
Martin Pecka, Vojtech Salanský, Karel Zimmermann, Tomás Svoboda
IROS3
2015 Adaptive traversability of partially occluded obstacles
abstract
Controlling mobile robots with complex articulated parts and hence many degrees of freedom generates high cognitive load on the operator, especially under demanding conditions such as in Urban Search & Rescue missions. We propose a solution based on reinforcement learning in order to accommodate the robot morphology automatically to the terrain and the obstacles it traverses. In this paper, we concentrate on the crucial issue of predicting rewards from incomplete or missing data. For this purpose we exploit the Gaussian processes as a predictor combined with decision trees. We demonstrate our achievements in a series of experiments on real data.
Karel Zimmermann, Petr Zuzánek, Michal Reinstein, Tomás Petrícek 0002, Václav Hlavác
ICRA1
2014 Adaptive Traversability of unknown complex terrain with obstacles for mobile robots
abstract
In this paper we introduce the concept of Adaptive Traversability (AT), which we define as means of autonomous motion control adapting the robot morphology - configuration of articulated parts and their compliance - to traverse unknown complex terrain with obstacles in an optimal way. We verify this concept by proposing a reinforcement learning based AT algorithm for mobile robots operating in such conditions. We demonstrate the functionality by training the AT algorithm under lab conditions on simple EUR-pallet obstacles and then testing it successfully on natural obstacles in a forest. For quantitative evaluation we define a metrics based on comparison with expert operator. Exploiting the proposed AT algorithm significantly decreases the cognitive load of the operator.
Karel Zimmermann, Petr Zuzánek, Michal Reinstein, Václav Hlavác
ICRA1
2014 Multi-view traffic sign detection, recognition, and 3D localisation
Radu Timofte, Karel Zimmermann, Luc Van Gool
Mach. Vis. Appl.2
2014 Non-Rigid Object Detection with LocalInterleaved Sequential Alignment (LISA)
abstract
This paper shows that the successively evaluated features used in a sliding window detection process to decide about object presence/absence also contain knowledge about object deformation. We exploit these detection features to estimate the object deformation. Estimated deformation is then immediately applied to not yet evaluated features to align them with the observed image data. In our approach, the alignment estimators are jointly learned with the detector. The joint process allows for the learning of each detection stage from less deformed training samples than in the previous stage. For the alignment estimation we propose regressors that approximate non-linear regression functions and compute the alignment parameters extremely fast.
Karel Zimmermann, David Hurych, Tomás Svoboda
IEEE Trans. Pattern Anal. Mach. Intell.1
2013 Terrain adaptive odometry for mobile skid-steer robots
abstract
This paper proposes a novel approach to improving precision and reliability of odometry of skid-steer mobile robots by means inspired by robotic terrain classification (RTC). In contrary to standard RTC approaches we do not provide human labeled discrete terrain categories but we classify the terrain directly by the values of coefficients correcting the robot's odometry. Hence these coefficients make the odometry model adaptable to the terrain type due to inherent slip compensation. Estimation of these correction coefficients is based on feature extraction from the vibration data measured by an inertial measurement unit and regression function trained offline. Statistical features from the time domain, frequency domain, and wavelet features were explored and the best were automatically selected. To provide ground truth trajectory for the purpose of offline training a portable overhead camera tracking system was developed. Experimental evaluation on rough outdoor terrain proved 67.9±7.5% improvement in RMSE in position with respect to a state of the art odometry model. Moreover, our proposed approach is straightforward, easy for online implementation, and low on computational demands.
Michal Reinstein, Vladimir Kubelka, Karel Zimmermann
ICRA3
2013 Duality of optimization problems with generalized fuzzy relation equation and inequality constraints
Martin Gavalec, Karel Zimmermann
Inf. Sci.2
2012 Exploiting Features - Locally Interleaved Sequential Alignment for Object Detection
Karel Zimmermann, David Hurych, Tomás Svoboda
ACCV (1)1
2010 Integrating Object Detection with 3D Tracking Towards a Better Driver Assistance System
abstract
Driver assistance helps save lives. Accurate 3D pose is required to establish if a traffic sign is relevant to the driver. We propose a real-time system that integrates single view detection with region-based 3D tracking of road signs. The optimal set of candidate detections is found, followed by AdaBoost cascades and SVMs. The 2D detections are then employed in simultaneous 2D segmentation and 3D pose tracking, using the known 3D model of the recognised traffic sign. We demonstrate the abilities of our system by tracking multiple road signs in real world scenarios.
Victor Adrian Prisacariu, Radu Timofte, Karel Zimmermann, Ian D. Reid 0001, Luc Van Gool
ICPR3
2010 Amino acid "little Big Bang": Representing amino acid substitution matrices as dot products of Euclidian vectors
abstract
BACKGROUND: Sequence comparisons make use of a one-letter representation for amino acids, the necessary quantitative information being supplied by the substitution matrices. This paper deals with the problem of finding a representation that provides a comprehensive description of amino acid intrinsic properties consistent with the substitution matrices. RESULTS: We present a Euclidian vector representation of the amino acids, obtained by the singular value decomposition of the substitution matrices. The substitution matrix entries correspond to the dot product of amino acid vectors. We apply this vector encoding to the study of the relative importance of various amino acid physicochemical properties upon the substitution matrices. We also characterize and compare the PAM and BLOSUM series substitution matrices. CONCLUSIONS: This vector encoding introduces a Euclidian metric in the amino acid space, consistent with substitution matrices. Such a numerical description of the amino acid is useful when intrinsic properties of amino acids are necessary, for instance, building sequence profiles or finding consensus sequences, using machine learning algorithms such as Support Vector Machine and Neural Networks algorithms.
Karel Zimmermann, Jean-François Gibrat
BMC Bioinform.1
2009 Multi-view traffic sign detection, recognition, and 3D localisation
abstract
Several applications require information about street furniture. Part of the task is to survey all traffic signs. This has to be done for millions of km of road, and the exercise needs to be repeated every so often. A van with 8 roof-mounted cameras drove through the streets and took images every meter. The paper proposes a pipeline for the efficient detection and recognition of traffic signs. The task is challenging, as illumination conditions change regularly, occlusions are frequent, 3D positions and orientations vary substantially, and the actual signs are far less similar among equal types than one might expect. We combine 2D and 3D techniques to improve results beyond the state-of-the-art, which is still very much preoccupied with single view analysis.
Radu Timofte, Karel Zimmermann, Luc Van Gool
WACV2
2009 Anytime learning for the NoSLLiP tracker
Karel Zimmermann, Tomás Svoboda, Jiri Matas
Image Vis. Comput.1
2009 Tracking by an Optimal Sequence of Linear Predictors
abstract
We propose a learning approach to tracking explicitly minimizing the computational complexity of the tracking process subject to user-defined probability of failure (loss-of-lock) and precision. The tracker is formed by a Number of Sequences of Learned Linear Predictors (NoSLLiP). Robustness of NoSLLiP is achieved by modeling the object as a collection of local motion predictors--object motion is estimated by the outlier-tolerant RANSAC algorithm from local predictions. Efficiency of the NoSLLiP tracker stems from (i) the simplicity of the local predictors and (ii) from the fact that all design decisions--the number of local predictors used by the tracker, their computational complexity (i.e. the number of observations the prediction is based on), locations as well as the number of RANSAC iterations are all subject to the optimization (learning) process. All time-consuming operations are performed during the learning stage--tracking is reduced to only a few hundreds integer multiplications in each step. On PC with 1xK8 3200+, a predictor evaluation requires about 30 microseconds. The proposed approach is verified on publicly-available sequences with approximately 12000 frames with ground-truth. Experiments demonstrates, superiority in frame rates and robustness with respect to the SIFT detector, Lucas-Kanade tracker and other trackers.
Karel Zimmermann, Jiri Matas, Tomás Svoboda
IEEE Trans. Pattern Anal. Mach. Intell.1
2007 Adaptive Parameter Optimization for Real-time Tracking
abstract
Adaptation of a tracking procedure combined in a common way with a Kalman filter is formulated as an constrained optimization problem, where a trade-off between precision and loss-of-lock probability is explicitly taken into account. While the tracker is learned in order to minimize computational complexity during a learning stage, in a tracking stage the precision is maximized online under a constraint imposed by the loss-of-lock probability resulting in an optimal setting of the tracking procedure. We experimentally show that the proposed method converges to a steady solution in all variables. In contrast to a common Kalman filter based tracking, we achieve a significantly lower state covariance matrix. We also show, that if the covariance matrix is continuously updated, the method is able to adapt to a different situations. If a dynamic model is precise enough the tracker is allowed to spend a longer time with a fine motion estimation, however, if the motion gets saccadic, i.e. unpredictable by the dynamic model, the method automatically gives up the precision in order to avoid loss-of-lock.
Karel Zimmermann, Tomás Svoboda, Jiri Matas
ICCV1
2006 A strongly polynomial algorithm for solving two-sided linear systems in max-algebra
Peter Butkovic, Karel Zimmermann
Discret. Appl. Math.2
2003 Disjunctive optimization, max-separable problems and extremal algebras
Karel Zimmermann
Theor. Comput. Sci.1