40,860 research outputs found
Specification Patterns for Robotic Missions
Mobile and general-purpose robots increasingly support our everyday life,
requiring dependable robotics control software. Creating such software mainly
amounts to implementing their complex behaviors known as missions. Recognizing
the need, a large number of domain-specific specification languages has been
proposed. These, in addition to traditional logical languages, allow the use of
formally specified missions for synthesis, verification, simulation, or guiding
the implementation. For instance, the logical language LTL is commonly used by
experts to specify missions, as an input for planners, which synthesize the
behavior a robot should have. Unfortunately, domain-specific languages are
usually tied to specific robot models, while logical languages such as LTL are
difficult to use by non-experts. We present a catalog of 22 mission
specification patterns for mobile robots, together with tooling for
instantiating, composing, and compiling the patterns to create mission
specifications. The patterns provide solutions for recurrent specification
problems, each of which detailing the usage intent, known uses, relationships
to other patterns, and---most importantly---a template mission specification in
temporal logic. Our tooling produces specifications expressed in the LTL and
CTL temporal logics to be used by planners, simulators, or model checkers. The
patterns originate from 245 realistic textual mission requirements extracted
from the robotics literature, and they are evaluated upon a total of 441
real-world mission requirements and 1251 mission specifications. Five of these
reflect scenarios we defined with two well-known industrial partners developing
human-size robots. We validated our patterns' correctness with simulators and
two real robots
On Centroidal Dynamics and Integrability of Average Angular Velocity
In the literature on robotics and multibody dynamics, the concept of average
angular velocity has received considerable attention in recent years. We
address the question of whether the average angular velocity defines an
orientation framethat depends only on the current robot configuration and
provide a simple algebraic condition to check whether this holds. In the
language of geometric mechanics, this condition corresponds to requiring the
flatness of the mechanical connection associated to the robotic system. Here,
however, we provide both a reinterpretation and a proof of this result
accessible to readers with a background in rigid body kinematics and multibody
dynamics but not necessarily acquainted with differential geometry, still
providing precise links to the geometric mechanics literature. This should help
spreading the algebraic condition beyond the scope of geometric
mechanics,contributing to a proper utilization and understanding of the concept
of average angular velocity.Comment: 8 pages, accepted for IEEE Robotics and Automation Letters (RA-L
A Model-Driven Engineering Approach for ROS using Ontological Semantics
This paper presents a novel ontology-driven software engineering approach for
the development of industrial robotics control software. It introduces the
ReApp architecture that synthesizes model-driven engineering with semantic
technologies to facilitate the development and reuse of ROS-based components
and applications. In ReApp, we show how different ontological classification
systems for hardware, software, and capabilities help developers in discovering
suitable software components for their tasks and in applying them correctly.
The proposed model-driven tooling enables developers to work at higher
abstraction levels and fosters automatic code generation. It is underpinned by
ontologies to minimize discontinuities in the development workflow, with an
integrated development environment presenting a seamless interface to the user.
First results show the viability and synergy of the selected approach when
searching for or developing software with reuse in mind.Comment: Presented at DSLRob 2015 (arXiv:1601.00877), Stefan Zander, Georg
Heppner, Georg Neugschwandtner, Ramez Awad, Marc Essinger and Nadia Ahmed: A
Model-Driven Engineering Approach for ROS using Ontological Semantic
Compliance error compensation technique for parallel robots composed of non-perfect serial chains
The paper presents the compliance errors compensation technique for
over-constrained parallel manipulators under external and internal loadings.
This technique is based on the non-linear stiffness modeling which is able to
take into account the influence of non-perfect geometry of serial chains caused
by manufacturing errors. Within the developed technique, the deviation
compensation reduces to an adjustment of a target trajectory that is modified
in the off-line mode. The advantages and practical significance of the proposed
technique are illustrated by an example that deals with groove milling by the
Orthoglide manipulator that considers different locations of the workpiece. It
is also demonstrated that the impact of the compliance errors and the errors
caused by inaccuracy in serial chains cannot be taken into account using the
superposition principle.Comment: arXiv admin note: text overlap with arXiv:1204.175
A Review on the Application of Natural Computing in Environmental Informatics
Natural computing offers new opportunities to understand, model and analyze
the complexity of the physical and human-created environment. This paper
examines the application of natural computing in environmental informatics, by
investigating related work in this research field. Various nature-inspired
techniques are presented, which have been employed to solve different relevant
problems. Advantages and disadvantages of these techniques are discussed,
together with analysis of how natural computing is generally used in
environmental research.Comment: Proc. of EnviroInfo 201
- …