Open Access. Powered by Scholars. Published by Universities.®

Computer Engineering Commons™

Open Access. Powered by Scholars. Published by Universities.®

2013

Fordham University

Articles 1 - 10 of 10

Full-Text Articles in Computer Engineering

Mobile Sensor Data Mining, Jeff Lockhart Fcrh '13 Dec 2013

Mobile Sensor Data Mining, Jeff Lockhart Fcrh '13

The Fordham Undergraduate Research Journal

At an ever increasing rate, the smartphones and other devices people carry with them in their everyday lives are packed with sensors and processing power. This provides an unprecedented opportunity to apply data mining techniques to people’s activities as they go about their daily lives, without changing their routine. The goal of the Wireless Sensor Data Mining (WISDM) Project is to explore the possibilities of data mining on these powerful mobile platforms.1 Data mining involves extracting knowledge from data using computer algorithms. A major sensor in these devices is the tri-axial accelerometer originally included for screen rotation and advanced gaming. …

Go to article

Getting It Right The First Time: Robot Mission Guarantees In The Presence Of Uncertainty, Damian M. Lyons, Ronald C. Arkin, Paramesh Nirmal, Shu Jiang, Tsung-Ming Liu, J. Deeb Nov 2013

Getting It Right The First Time: Robot Mission Guarantees In The Presence Of Uncertainty, Damian M. Lyons, Ronald C. Arkin, Paramesh Nirmal, Shu Jiang, Tsung-Ming Liu, J. Deeb

Faculty Publications

Certain robot missions need to perform predictably in a physical environment that may only be poorly characterized in advance. We have previously developed an approach to establishing performance guarantees for behaviorbased controllers in a process-algebra framework. We extend that work here to include random variables, and we show how our prior results can be used to generate a Dynamic Bayesian Network for the coupled system of program and environment model. Verification is reduced to a filtering problem for this network. Finally, we present validation results that demonstrate the effectiveness of the verification of a multiple waypoint robot mission using this …

Go to article

Getting It Right The First Time: Robot Mission Guarantees In The Presence Of Uncertainty, Damian Lyons, Ron Arkin, Paramesh Nirmal, Shu Jiang, Tsung-Ming Liu, Julia Deeb Nov 2013

Getting It Right The First Time: Robot Mission Guarantees In The Presence Of Uncertainty, Damian Lyons, Ron Arkin, Paramesh Nirmal, Shu Jiang, Tsung-Ming Liu, Julia Deeb

Faculty Publications

Abstract—Certain robot missions need to perform predictably in a physical environment that may only be poorly characterized in advance. We have previously developed an approach to establishing performance guarantees for behavior-based controllers in a process-algebra framework. We extend that work here to include random variables, and we show how our prior results can be used to generate a Dynamic Bayesian Network for the coupled system of program and environment model. Verification is reduced to a filtering problem for this network. Finally, we present validation results that demonstrate the effectiveness of the verification of a multiple waypoint robot mission using this …

Go to article

Performance Guarantees For C-Wmd Robot Missions, Shu Jiang, Ronald C. Arkin, Damian M. Lyons, Tsung-Ming Liu, Dagon Harrington Oct 2013

Performance Guarantees For C-Wmd Robot Missions, Shu Jiang, Ronald C. Arkin, Damian M. Lyons, Tsung-Ming Liu, Dagon Harrington

Faculty Publications

Robotics has been considered as one of the five key technology areas for defense against attacks with weapons of mass destruction (WMD). However, due to the mass impact nature of WMD, failures of counter-WMD (C-WMD) missions can have catastrophic consequences.To ensure robot's success in carrying out C-WMD missions, we have developed a novel verification framework in providing performance guarantees for behavior-based and probabilistic robot algorithms in complex real-world environments. This paper describes the system architecture and discusses how the verification framework can be used to provide pre-mission performance guarantees for robots in executing C-WMD missions.

Go to article

Verifying Performance For Autonomous Robot Missions With Uncertainty, Damian M. Lyons, Ronald Arkin, Tsung-Ming Liu, Shu Jiang, Paramesh Nirmal Jun 2013

Verifying Performance For Autonomous Robot Missions With Uncertainty, Damian M. Lyons, Ronald Arkin, Tsung-Ming Liu, Shu Jiang, Paramesh Nirmal

Faculty Publications

Establishing performance guarantees for robot missions is especially important for C-WMD applications. Software verification techniques, such as model checking (Clark 1999, Jhala & Majumdar 2009), can be applied to robotic applications but characteristics of this application area, including addition of a robot environment model and handling continuous spatial location well, exacerbate state explosion, a key weakness of these methods. We have proposed an approach to verifying robot missions that shifts the focus from state-based analysis onto the solution of a set of flow equations (Lyons et al. 2012). The key novelty introduced in this paper is a probabilistic spatial representation …

Go to article

Performance Verification For Behavior-Based Robot Missions, Damian M. Lyons, Ronald Arkin, Shu Jiang, Tsung-Ming Liu, Paramesh Nirmal, J. Deeb May 2013

Performance Verification For Behavior-Based Robot Missions, Damian M. Lyons, Ronald Arkin, Shu Jiang, Tsung-Ming Liu, Paramesh Nirmal, J. Deeb

Faculty Publications

Certain robot missions need to perform predictably in a physical en-vironment that may only be poorly characterized in advance. This requirement raises many issues for existing approaches to software verification. An approach based on behavior-based controllers in a process-algebra framework is proposed by Lyons et al [15] to side-step state combinatorics. In this paper we show that this approach can be used to generate a Dynamic Bayesian Network for the problem, and that verification is reduced to a filtering problem for this network. We present validation results for the verification of a multiple waypoint robot mission using this approach.

Go to article

Fusion Of Ranging Data From Robot Teams Operating In Confined Areas, Damian M. Lyons, Karma Shrestha, Tsung-Ming Liu Apr 2013

Fusion Of Ranging Data From Robot Teams Operating In Confined Areas, Damian M. Lyons, Karma Shrestha, Tsung-Ming Liu

Faculty Publications

We address the problem of fusing laser ranging data from multiple mobile robots that are surveying an area as part of a robot search and rescue or area surveillance mission. We are specifically interested in the case where members of the robot team are working in close proximity to each other. The advantage of this teamwork is that it greatly speeds up the surveying process; the area can be quickly covered even when the robots use a random motion exploration approach. However, the disadvantage of the close proximity is that it is possible, and even likely, that the laser ranging …

Go to article

A Cognitive Approach To Vision For A Mobile Robot, Paul Benjamin, Christopher Funk, Damian M. Lyons Apr 2013

A Cognitive Approach To Vision For A Mobile Robot, Paul Benjamin, Christopher Funk, Damian M. Lyons

Faculty Publications

We describe a cognitive vision system for a mobile robot. This system works in a manner similar to the human vision system, using saccadic, vergence and pursuit movements to extract information from visual input. At each fixation, the system builds a 3D model of a small region, combining information about distance, shape, texture and motion. These 3D models are embedded within an overall 3D model of the robot's environment. This approach turns the computer vision problem into a search problem, with the goal of constructing a physically realistic model of the entire environment. At each step, the vision system selects …

Go to article

A Software Tool For The Design Of Critical Robot Missions With Performance Guarantees, Damian M. Lyons, Ronald C. Arkin, Paramesh Nirmal, Shu Jiang, Tsung-Ming Liu Mar 2013

A Software Tool For The Design Of Critical Robot Missions With Performance Guarantees, Damian M. Lyons, Ronald C. Arkin, Paramesh Nirmal, Shu Jiang, Tsung-Ming Liu

Faculty Publications

Deploying a robot as part of a counter-weapons of mass destruction mission demands that the robotic software operates with high assurance. A unique feature of robotic software development is the need to perform predictably in a physical environment that may only be poorly characterized in advance. In this paper, we present an approach to building high assurance software for robot missions carried out in uncertain environments. The software development framework and the verification algorithm, VIPARS, are described in detail. Results are presented for missions including motion and sensing uncertainty, interaction with obstacles, and the use of sensors to guide behavior.

Go to article

Visual Homing With A Pan-Tilt Based Stereo Camera, Paramesh Nirmal, Damian M. Lyons Feb 2013

Visual Homing With A Pan-Tilt Based Stereo Camera, Paramesh Nirmal, Damian M. Lyons

Faculty Publications

Visual homing is a navigation method based on comparing a stored image of the goal location and the current image (current view) to determine how to navigate to the goal location. It is theorized that insects, such as ants and bees, employ visual homing methods to return to their nest [1]. Visual homing has been applied to autonomous robot platforms using two main approaches: holistic and feature-based. Both methods aim at determining distance and direction to the goal location. Navigational algorithms using Scale Invariant Feature Transforms (SIFT) have gained great popularity in the recent years due to the robustness of …

Go to article