57,417 research outputs found
A ROS2 based communication architecture for control in collaborative and intelligent automation systems
Collaborative robots are becoming part of intelligent automation systems in
modern industry. Development and control of such systems differs from
traditional automation methods and consequently leads to new challenges.
Thankfully, Robot Operating System (ROS) provides a communication platform and
a vast variety of tools and utilities that can aid that development. However,
it is hard to use ROS in large-scale automation systems due to communication
issues in a distributed setup, hence the development of ROS2. In this paper, a
ROS2 based communication architecture is presented together with an industrial
use-case of a collaborative and intelligent automation system.Comment: 9 pages, 4 figures, 3 tables, to be published in the proceedings of
29th International Conference on Flexible Automation and Intelligent
Manufacturing (FAIM2019), June 201
Smart matching
One of the most annoying aspects in the formalization of mathematics is the
need of transforming notions to match a given, existing result. This kind of
transformations, often based on a conspicuous background knowledge in the given
scientific domain (mostly expressed in the form of equalities or isomorphisms),
are usually implicit in the mathematical discourse, and it would be highly
desirable to obtain a similar behavior in interactive provers. The paper
describes the superposition-based implementation of this feature inside the
Matita interactive theorem prover, focusing in particular on the so called
smart application tactic, supporting smart matching between a goal and a given
result.Comment: To appear in The 9th International Conference on Mathematical
Knowledge Management: MKM 201
Empowering and assisting natural human mobility: The simbiosis walker
This paper presents the complete development of the Simbiosis Smart Walker. The device is equipped with a set of sensor subsystems to acquire user-machine interaction forces and the temporal evolution of user's feet during gait. The authors present an adaptive filtering technique used for the identification and separation of different components found on the human-machine interaction forces. This technique allowed isolating the components related with the navigational commands and developing a Fuzzy logic controller to guide the device. The Smart Walker was clinically validated at the Spinal Cord Injury Hospital of Toledo - Spain, presenting great acceptability by spinal chord injury patients and clinical staf
A 64mW DNN-based Visual Navigation Engine for Autonomous Nano-Drones
Fully-autonomous miniaturized robots (e.g., drones), with artificial
intelligence (AI) based visual navigation capabilities are extremely
challenging drivers of Internet-of-Things edge intelligence capabilities.
Visual navigation based on AI approaches, such as deep neural networks (DNNs)
are becoming pervasive for standard-size drones, but are considered out of
reach for nanodrones with size of a few cm. In this work, we
present the first (to the best of our knowledge) demonstration of a navigation
engine for autonomous nano-drones capable of closed-loop end-to-end DNN-based
visual navigation. To achieve this goal we developed a complete methodology for
parallel execution of complex DNNs directly on-bard of resource-constrained
milliwatt-scale nodes. Our system is based on GAP8, a novel parallel
ultra-low-power computing platform, and a 27 g commercial, open-source
CrazyFlie 2.0 nano-quadrotor. As part of our general methodology we discuss the
software mapping techniques that enable the state-of-the-art deep convolutional
neural network presented in [1] to be fully executed on-board within a strict 6
fps real-time constraint with no compromise in terms of flight results, while
all processing is done with only 64 mW on average. Our navigation engine is
flexible and can be used to span a wide performance range: at its peak
performance corner it achieves 18 fps while still consuming on average just
3.5% of the power envelope of the deployed nano-aircraft.Comment: 15 pages, 13 figures, 5 tables, 2 listings, accepted for publication
in the IEEE Internet of Things Journal (IEEE IOTJ
A Dynamic Localized Adjustable Force Field Method for Real-time Assistive Non-holonomic Mobile Robotics
Providing an assistive navigation system that augments
rather than usurps user control of a powered wheelchair
represents a significant technical challenge. This paper
evaluates an assistive collision avoidance method for a
powered wheelchair that allows the user to navigate safely
whilst maintaining their overall governance of the platform
motion. The paper shows that by shaping, switching and
adjusting localized potential fields we are able to negotiate
different obstacles by generating a more intuitively natural
trajectory, one that does not deviate significantly from the
operator in the loop desired-trajectory. It can also be seen
that this method does not suffer from the local minima
problem, or narrow corridor and proximity oscillation,
which are common problems that occur when using
potential fields. Furthermore this localized method enables
the robotic platform to pass very close to obstacles, such as
when negotiating a narrow passage or doorway
- …