Country
Embedded Rule-Based Reasoning for Digital Product Memories
Seitz, Christian (Siemens AG) | Lamparter, Steffen (Siemens AG) | Schoeler, Thorsten (Siemens AG) | Pirker, Michael (Siemens AG)
A Digital Product Memory provides a digital diary of the complete product life cycle that is embedded in the product itself using smart wireless sensor technology. The data is hereby gathered by recording relevant ambient parameters in digital form. In this paper, we present the architecture and cost-efficient implementation of an autonomous digital product memory that generates and interprets its diary using rule-based reasoning methods. As we assume an open, heterogeneous sensor infrastructure, we rely on standard syntax and semantics provided by the Web Ontology Language OWL. The digital product memory collects and provides data using the OWL fragment OWL2 RL which can be processed with standard rule engines. As rule engine we use CLIPS on embedded hardware and exemplify the application of the digital product memory e.g. for predictive maintenance.
POMDP Models for Continuous Calibration of Interactive Surfaces
Migge, Bastian (Innovation Center Virtual Reality - ETH Zurich) | Schmidt, Tim (Palo Alto Research Center) | Kunz, Andreas (Innovation Center Virtual Reality - ETH Zurich)
On interactive surfaces, an accurate system calibration is crucial for a precise user interaction. Today, geometric distortions are eliminated by a static calibration. However, this calibration is specific to a userโs posture, and parallax distortions occur if this changes (i.e. if the user moves or if multiple users take turns). Within this paper, we describe an approach to model automatic online re-calibration to cope with changing viewpoints by using Partially Observable Markov Decision Processes (POMDP). Hereby, the viewpoint is stochastically deducted from the precision of user interactions on the surface. To enable the implementation on embedded systems, a small model is defined using states and observations, which are formulated relative to the current assumed viewpoint. We show the structure of a family of models, that can be generated automatically based on the userโs position probability and pointing accuracy.
Stream-Based Middleware Support for Embedded Reasoning
Heintz, Fredrik (Linkรถping University) | Kvarnstrรถm, Jonas (Linkรถping University) | Doherty, Patrick (Linkรถping University)
For autonomous systems such as unmanned aerial vehicles tosuccessfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abstraction. In order to make use of diverse reasoning modules in such systems, issues ofintegration such as sensor data flow and information flow between such modules has to be taken into account. The DyKnow framework is a tool with a formal basis that pragmatically deals with many of the architectural issues which arise in such systems. This includes a systematic stream-based method for handling the sense-reasoning gap,caused by the wide difference in abstraction levels between the noisy data generally available from sensors and the symbolic, semantically meaningful information required by many high-level reasoning modules. DyKnow has proven to be quite robust and widely applicable to different aspects of hybrid software architectures forrobotics. In this paper, we describe the DyKnow framework and show how it is integrated and used in unmanned aerial vehicle systems developed in our group. In particular, we focus on issues pertaining to the sense-reasoning gap and the symbol grounding problem and the use of DyKnow as a means of generating semantic structures representing situational awareness for such systems. We also discuss the use of DyKnow in the context of automated planning, in particular execution monitoring.
Learning Maps of Indoor Environments Based on Human Activity
Grzonka, Slawomir (University of Freiburg) | Dijoux, Frederic (University of Freiburg) | Karwath, Andreas (University of Freiburg) | Burgard, Wolfram (University of Freiburg)
We present a novel approach to build approximate maps of structured environments utilizing human motion and activity. Our approach uses data recorded with a data suit which is equipped with several IMUs to detect movements of a person and door opening and closing events. In our approach we interpret the movements as motion constraints and door handling events as landmark detections in a graph-based SLAM framework. As we cannot distinguish between individual doors, we employ a multi-hypothesis approach on top of the SLAM system to deal with the high data-association uncertainty. As a result, our approach is able to accurately and robustly recover the trajectory of the person. We additionally take advantage of the fact that people traverse free space and that doors separate rooms to recover the geometric structure of the environment after the graph optimization. We evaluate our approach in several experiments carried out with different users and in environments of different types.
Implementation of Neural Network on Parameterized FPGA
Gomperts, Alexander (Technical University of Eindhoven) | Ukil, Abhisek (ABB Corporate Research) | Zurfluh, Franz (ABB Corporate Research)
Artificial neural networks (ANNs, or simply NNs) are inspired by biological nervous systems and consist of simple processing units (artificial neurons) that are interconnected by weighted connections. Neural networks can be "trained" to solve problems that are difficult to solve by conventional computer algorithms. This paper presents the development and implementation of a generalized back-propagation multi-layer perceptron (MLP) neural network architecture described in very high speed hardware description language (VHDL). The development of hardware platforms has been complicated by the high hardware cost and quantity of the arithmetic operations required in an online MLP, i.e., one used to solve real-time problems. The challenge is thus to find an architecture that minimizes hardware costs while maximizing performance, accuracy, and parameterization. The paper describes herein a platform that offers a high degree of parameterization while maintaining performance comparable to other hardware based MLP implementations.
Golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems
Ferrein, Alexander (University of Cape Town)
Among many approaches to address the high-level decision making problem for autonomous robots and agents, the robot programming and plan language Golog follows a logic-based deliberative approach, and its successors were successfully deployed in a number of robotics applications over the past ten years. Usually, Golog interpreter are implemented in Prolog, which is not available for our target platform, the bi-ped robot platform Nao. In this paper we sketch our novel prototype implementation of a Golog interpreter in the scripting language Lua. With the example of the elevator domain we discuss how the basic action theory is specified and how we implemented fluent regression or backtracking in Lua. One possible advantage of the availability of a Non-Prolog implementation of Golog could be that Golog becomes available on a larger number of platforms, and also becomes more attractive for roboticists outside the Cognitive Robotics community.
Finding the Odd-One-Out in Fleets of Mechatronic Systems using Embedded Intelligent Agents
Byttner, Stefan (Halmstad University) | Svensson, Magnus (Volvo Technology) | Rรถgnvaldsson, Thorsteinn (Halmstad University)
With the introduction of low-cost wireless communication many new applications have been made possible; applications where systems can collaboratively learn and get wiser without human supervision. One potential application is automated monitoring for fault isolation in mobile mechatronic systems such as commercial vehicles. The paper proposes an agent design that is based on uploading software agents to a fleet of mechatronic systems. Each agent searches for interesting state representations of a system and reports them to a central server application. The states from the fleet of systems can then be used to form a consensus from which it can be possible to detect deviations and even locating a fault.
Autonomous and Semiautonomous Control Simulator
Burns, Chad Raymond (University of Illinois) | Zearing, Joseph (University of Illinois) | Wang, Ranxiao Frances (University of Illinois) | Stipanovic, Dusan (University of Illinois)
This paper presents a simulator that is being developed to study the performance of certain types of vehicle navigation. The performance metric looks at a likelihood of accomplishing a task and the cost of the strategy โ measuring both robustness and efficiency. We present results involving only autonomous control strategies, yet the simulator will be used to compare human performance in completing the same task.
Complex AI on Small Embedded Systems: Humanoid Robotics using Mobile Phones
Baltes, Jacky (University of Manitoba) | Anderson, John Eric (University of Manitoba)
Until recent years, the development of real-world humanoid robotics applications has been hampered by a lack of available mobile computational power. Unlike wheeled platforms, which can reasonably easily be expected to carry a payload of computers and batteries, humanoid robots couple a need for complex control over many degrees of freedom with a form where any significant payload complicates the balancing and control problem itself. In the last few years, however, an significant number of options for embedded processing suitable for humanoid robots have appeared (e.g. miniaturized motherboards such as beagle boards), along with ever-smaller and more powerful battery technology. Part of the drive for these embedded hardware breakthroughs has been the increasing demand by consumers for more sophisticated mobile phone applications, and these modern devices now supply much in the way of sensor technology that is also potentially of use to roboticists (e.g. accelerometers, cameras, GPS). In this paper, we explore the use of modern mobile phones as a vehicle for the sophisticated AI necessary for autonomous humanoid robots.
Robots as Recruitment Tools in Computer Science: The New Frontier or Simply Bait and Switch?
Kay, Jennifer S. (Rowan University)
There is little doubt that the use of robots in introductory classes is an effective way to spark an initial interest in Computer Science and recruit students into our classes, and subsequently recruit some of them as Computer Science majors. But when the semester is over, the vast majority of our students are unlikely to see robots in the classroom again until they take advanced courses in AI or Robotics. It is time for those of us who are proponents of the use of robots in Introductory Computer Science to start thinking seriously about how we are using robots in our classes, and how to sustain the interest and enthusiasm of our students as they move on to more traditional courses. While the focus of this paper is on the use of robots in Introductory Computer Science courses, my goal is to initiate a more general discussion on the use of any sort of cool new technology (tangible or not) into both undergraduate and K-12 education. These technologies successfully attract students to study subjects that we ourselves are deeply engaged in. But we need to discuss as a community what happens when our individual classes conclude and the rest of their studies commence.