A5038009320- Calibration and Measurement Techniques
- Formal Methods in Verification
- Robotic Mechanisms and Dynamics
- Atmospheric and Environmental Gas Dynamics
- Dynamics and Control of Mechanical Systems
- Model-Driven Software Engineering Techniques
- Advanced Software Engineering Methodologies
- Synthetic Aperture Radar (SAR) Applications and Techniques
- Geochemistry and Geologic Mapping
- Engineering Applied Research
- Safety Systems Engineering in Autonomy
- Remote-Sensing Image Classification
- Optical Polarization and Ellipsometry
- Atmospheric Ozone and Climate
- Software Reliability and Analysis Research
- Adaptive optics and wavefront sensing
- Remote Sensing in Agriculture
- Advanced Manufacturing and Logistics Optimization
- Astronomical Observations and Instrumentation
- Satellite Image Processing and Photogrammetry
- Soil Moisture and Remote Sensing
- Astronomy and Astrophysical Research
- Soil Geostatistics and Mapping
- Mineral Processing and Grinding
- Particle Accelerators and Free-Electron Lasers
Johannes Kepler University of Linz
2014-2024
University of Applied Sciences Upper Austria
2020
Darmstadt University of Applied Sciences
2020
Profil Institute for Metabolic Research
2019
Universitätsklinikum des Saarlandes
2012
University of Applied Sciences Landshut
2010-2012
Chemnitz University of Technology
2007
Fraunhofer Institute for Microengineering and Microsystems
2005
Carl Zeiss (Germany)
2005
Laboratoire d'Informatique Fondamentale de Lille
2003
Many robotic applications require fast planning of highly dynamic movements for their execution in time critical scenarios. A successful depends on quickly finding trajectories which can accomplish the task. Computing optimal a short is further challenging. The paper addresses this problem context Pick and Place operations. This formulated as finite-dimensional time-optimal control problem. Two sets reference solutions are computed discretized workspace using multiple shooting approach. One...
We present an approach for hybrid systems that combines the advantages of component-based modeling (e.g., reduced model complexity) with formal verification guaranteed contract compliance). Component-based can be used to split large models into multiple component local responsibilities reduce complexity. Yet, this only helps analysis if proceeds one at a time. In order benefit from decomposition system components both and purposes, we prove safety compatible implies composed system....
Background Anterior cervical diskectomy and fusion (ACDF) or posterior foraminotomy (PF) are standard treatment options for radiculopathy due to disk prolapse. Which method produces superior results has not yet been established. One reason the dilemma, among others, is a lack of detailed outcome analysis in previous studies. We quantified compare both methods our retrospective single-center series. Method conducted 107 patients with who were operated on via ACDF PF. Demographic data,...
Abstract Process control in manufacturing industries usually lacks flexibility and adaptability. The process planning is traditionally pursued within the production scheduling then remains unchanged until a major overhaul necessary. Consequently, no knowledge acquired by machine operators used to adapt, thus improve, control. In this paper, fully automated solution for container logistics proposed, which based on deep neural networks has been trained from steering decisions made employees....
We address the problem how high-fidelity verification results about hybrid systems dynamics of cyber-physical flow can be provided at scale large (traffic) networks without prohibitive analytic cost. propose use contracts for traffic components concisely capturing conditions a safe operation in context network. This reduces analysis flows full network to simple arithmetic checks local compatibility component contracts, while retaining higher-fidelity correctness guarantees global models that...
Modeling closed loop mechanisms is a necessity for the control and simulation of various systems poses great challenge to rigid body dynamics algorithms. Solving forward inverse such require resolution closure constraints which are often solved via numerical procedures. This brings an additional burden these algorithms as they have stabilize errors. In order avoid this issue, analytical solutions preferred commonly studied parallel mechanisms. paper has two contributions. Firstly, it reports...
The transport of suspended particulate matter and heavy metals in tidal rivers is both ecological economic relevance. But temporal variabilities spatial heterogeneities considerably complicate its quantitative treatment by numerical simulation the acquisition representative field data for systematic investigations. As a contribution to potential solution this problem, methodology has been developed at GKSS Research Centre which combines theoretical experimental techniques an effective way. A...
Abstract A motion of a mechanism is curve in its configuration space (c-space). Singularities the c-space are kinematic singularities mechanism. Any mobility analysis particular amounts to investigating geometry at given configuration. higher-order necessary determine finite mobility. To this end, past research leads approaches using time derivatives loop closure constraints assuming (implicitly) that all possible motions smooth. This continuity assumption limits generality these methods. In...
While formal verification techniques are inevitable to ensure safety of critical cyber-phyical systems (CPS), engineering support the design and analysis such CPS still in their infancy. Therefore, we take a first step towards provision appropriate for verification, by providing an extensive evaluation current state art, identifying challenges not yet tackled existing approaches proposing research roadmap intended pave way fully supported process models.
Abstract A classical approach to the multibody systems (MBS) modeling is use absolute coordinates, i.e., a set of (possibly redundant) coordinates that describe position and orientation individual bodies with respect an inertial frame (IFR). well-known problem for time integration equations motion (EOM) lack singularity-free parameterization spatial motions, which usually tackled by using unit quaternions. Lie group methods were proposed as alternative integration. At same time, formulations...