Modular and Analytical Methods for Solving Kinematics and Dynamics of Series-Parallel Hybrid Robots

While serial robots are known for their versatility in applications, larger workspace, simpler modeling and control, they have certain disadvantages like limited precision, lower stiffness and poor dynamic characteristics in general. A parallel robot can offer higher stiffness, speed, accuracy and payload capacity, at the downside of a reduced workspace and a more complex geometry that needs careful analysis and control. To bring the best of the two worlds, parallel submechanism modules can be connected in series to achieve a series-parallel hybrid robot with better dynamic characteristics and larger workspace. Such a design philosophy is being used in several robots not only at DFKI (for e.g., Mantis, Charlie, Recupera Exoskeleton, RH5 humanoid etc.) but also around the world, for e.g. Lola (TUM), Valkyrie (NASA), THOR (Virginia Tech.) etc.These robots inherit the complexity of both serial and parallel architectures. Hence, solving their kinematics and dynamics is challenging because they are subjected to additional geometric loop closure constraints. Most approaches in multi-body dynamics adopt numerical resolution of these constraints for the sake of generality but may suffer from inaccuracy and performance issues. They also do not exploit the modularity in robot design. Further, closed loop systems can have variable mobility, different assembly modes and can impose redundant constraints on the equations of motion which deteriorates the quality of many multi-body dynamics solvers. Very often only a local view to the system behavior is possible. Hence, it is interesting for geometers or kinematics researchers, to study the analytical solutions to geometric problems associated with a specific type of parallel mechanism and their importance over numerical solutions is irrefutable. Techniques such as screw theory, computational algebraic geometry, elimination and continuation methods are popular in this domain. But this domain specific knowledge is often underrepresented in the design of model based kinematics and dynamics software frameworks. The contributions of this thesis are two-fold. Firstly, a rigorous and comprehensive kinematic analysis is performed for the novel parallel mechanisms invented recently at DFKI-RIC such as RH5 ankle mechanism and Active Ankle using approaches from computational algebraic geometry and screw theory. Secondly, the general idea of a modular software framework called Hybrid Robot Dynamics (HyRoDyn) is presented which can be used to solve the geometry, kinematics and dynamics of series-parallel hybrid robotic systems with the help of a software database which stores the analytical solutions for parallel submechanism modules in a configurable and unit testable manner. HyRoDyn approach is suitable for both high fidelity simulations and real-time control of complex series-parallel hybrid robots. The results from this thesis has been applied to two robotic systems namely Recupera-Reha exoskeleton and RH5 humanoid. The aim of this software tool is to assist both designers and control engineers in developing complex robotic systems of the future. Efficient kinematic and dynamic modeling can lead to more compliant behavior, better whole body control, walking and manipulating capabilities etc. which are highly desired in the present day and future robotic applications

Analysis of Biochemical Reaction Networks using Tropical and Polyhedral Geometry Methods

The field of systems biology makes an attempt to realise various biological functions and processes as the emergent properties of the underlying biochemical network model. The area of computational systems biology deals with the computational methods to compute such properties. In this context, the thesis primarily discusses novel computational methods to compute the emergent properties as well as to recognize the essence in complex network models. The computational methods described in the thesis are based on the computer algebra techniques, namely tropical geometry and extreme currents. Tropical geometry is based on ideas of dominance of monomials appearing in a system of differential equations, which are often used to describe the dynamics of the network model. In such differential equation based models, tropical geometry deals with identification of the metastable regimes, defined as low dimensional regions of the phase space close to which the dynamics is much slower compared to the rest of the phase space. The application of such properties in model reduction and symbolic dynamics are demonstrated in the network models obtained from a public database namely Biomodels. Extreme currents are limiting edges of the convex polyhedrons describing the admissible fluxes in biochemical networks, which are helpful to decompose a biochemical network into a set of irreducible pathways. The pathways are shown to be associated with given clinical outcomes thereby providing some mechanistic insights associated with the clinical phenotypes. Similar to the tropical geometry, the method based on extreme currents is evaluated on the network models derived from a public database namely KEGG. Therefore, this thesis makes an attempt to explain the emergent properties of the network model by determining extreme currents or metastable regimes. Additionally, their applicability in the real world network models are discussed

International Congress of Mathematicians: 2022 July 6–14: Proceedings of the ICM 2022

Following the long and illustrious tradition of the International Congress of Mathematicians, these proceedings include contributions based on the invited talks that were presented at the Congress in 2022. Published with the support of the International Mathematical Union and edited by Dmitry Beliaev and Stanislav Smirnov, these seven volumes present the most important developments in all fields of mathematics and its applications in the past four years. In particular, they include laudations and presentations of the 2022 Fields Medal winners and of the other prestigious prizes awarded at the Congress. The proceedings of the International Congress of Mathematicians provide an authoritative documentation of contemporary research in all branches of mathematics, and are an indispensable part of every mathematical library

Q(sqrt(-3))-Integral Points on a Mordell Curve

We use an extension of quadratic Chabauty to number fields,recently developed by the author with Balakrishnan, Besser and M ̈uller,combined with a sieving technique, to determine the integral points overQ(√−3) on the Mordell curve y2 = x3 − 4

LIPIcs, Volume 261, ICALP 2023, Complete Volume

LIPIcs, Volume 261, ICALP 2023, Complete Volum

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing

Advances in Robot Kinematics : Proceedings of the 15th international conference on Advances in Robot Kinematics

International audienceThe motion of mechanisms, kinematics, is one of the most fundamental aspect of robot design, analysis and control but is also relevant to other scientific domains such as biome- chanics, molecular biology, . . . . The series of books on Advances in Robot Kinematics (ARK) report the latest achievement in this field. ARK has a long history as the first book was published in 1991 and since then new issues have been published every 2 years. Each book is the follow-up of a single-track symposium in which the participants exchange their results and opinions in a meeting that bring together the best of world’s researchers and scientists together with young students. Since 1992 the ARK symposia have come under the patronage of the International Federation for the Promotion of Machine Science-IFToMM.This book is the 13th in the series and is the result of peer-review process intended to select the newest and most original achievements in this field. For the first time the articles of this symposium will be published in a green open-access archive to favor free dissemination of the results. However the book will also be o↵ered as a on-demand printed book.The papers proposed in this book show that robot kinematics is an exciting domain with an immense number of research challenges that go well beyond the field of robotics.The last symposium related with this book was organized by the French National Re- search Institute in Computer Science and Control Theory (INRIA) in Grasse, France