Artificial Intelligence and Robotics Commons^™

Development Of A Locomotion And Balancing Strategy For Humanoid Robots, Emile Bahdi

Electronic Theses and Dissertations

The locomotion ability and high mobility are the most distinguished features of humanoid robots. Due to the non-linear dynamics of walking, developing and controlling the locomotion of humanoid robots is a challenging task. In this thesis, we study and develop a walking engine for the humanoid robot, NAO, which is the official robotic platform used in the RoboCup Spl. Aldebaran Robotics, the manufacturing company of NAO provides a walking module that has disadvantages, such as being a black box that does not provide control of the gait as well as the robot walk with a bent knee. The latter disadvantage, …

Formal Performance Guarantees For An Approach To Human In The Loop Robot Missions, Damian Lyons, Ron Arkin, Shu Jiang, Matt O'Brien, Feng Tang, Peng Tang

Faculty Publications

Abstract— A key challenge in the automatic verification of robot mission software, especially critical mission software, is to be able to effectively model the performance of a human operator and factor that into the formal performance guarantees for the mission. We present a novel approach to modelling the skill level of the operator and integrating it into automatic verification using a linear Gaussians model parameterized by experimental calibration. Our approach allows us to model different skill levels directly in terms of the behavior of the lumped, robot plus operator, system.

Using MissionLab and VIPARS (a behavior-based robot mission verification …

Developing Grounded Goals Through Instant Replay Learning, Lisa Meeden, Douglas S. Blank

Computer Science Faculty Research and Scholarship

This paper describes and tests a developmental architecture that enables a robot to explore its world, to find and remember interesting states, to associate these states with grounded goal representations, and to generate action sequences so that it can re-visit these states of interest. The model is composed of feed-forward neural networks that learn to make predictions at two levels through a dual mechanism of motor babbling for discovering the interesting goal states and instant replay learning for developing the grounded goal representations. We compare the performance of the model with grounded goal representations versus random goal representations, and find …

Investigating Trust And Trust Recovery In Human-Robot Interactions, Abigail L. Thomson

Celebration of Learning

As artificial intelligence and robotics continue to advance and be used in increasingly different functions and situations, it is important to look at how these new technologies will be used. An important factor in how a new resource will be used is how much it is trusted. This experiment was conducted to examine people’s trust in a robotic assistant when completing a task, how mistakes affect this trust, and if the levels of trust exhibited with a robot assistant were significantly different than if the assistant were human. The task was to watch a computer simulation of the three-cup monte …

Impact Of Artificial Intelligence, Robotics, And Machine Learning On Sales And Marketing, Keng Siau, Y. Yang

Research Collection School Of Computing and Information Systems

AI, robotics, and machine learning are impacting the field of sales and marketing in an unprecedented way. A perfect storm is brewing! On one hand, online retail stores like Amazon are crushing the bricks and mortar stores. Sales and marketing professionals in bricks and mortar stores are facing a grim future. On the other hand, AI, robotics, and machine learning are replacing sales and marketing professionals in online stores. In fact, salespersons and marketers are predicted to be among the first to be replaced by robots. In a face-to-face environment, human may still prefer to interact with another human. In …

An Approach To Robust Homing With Stereovision, Fuqiang Fu, Damian Lyons

Faculty Publications

Visual Homing is a bioinspired approach to robot navigation which can be fast and uses few assumptions. However, visual homing in a cluttered and unstructured outdoor environment offers several challenges to homing methods that have been developed for primarily indoor environments. One issue is that any current image during homing may be tilted with respect to the home image. The second is that moving through a cluttered scene during homing may cause obstacles to interfere between the home scene and location and the current scene and location. In this paper, we introduce a robust method to improve a previous developed …

Performance Verification For Robot Missions In Uncertain Environments, Damian Lyons, Ron Arkin, Shu Jiang, Matt O'Brien, Feng Tang, Peng Tang

Faculty Publications

Abstract—Certain robot missions need to perform predictably in a physical environment that may have significant uncertainty. One approach is to leverage automatic software verification techniques to establish a performance guarantee. The addition of an environment model and uncertainty in both program and environment, however, means the state-space of a model-checking solution to the problem can be prohibitively large. An approach based on behavior-based controllers in a process-algebra framework that avoids state-space combinatorics is presented here. In this approach, verification of the robot program in the uncertain environment is reduced to a filtering problem for a Bayesian Network. Validation results …

Establishing A-Priori Performance Guarantees For Robot Missions That Include Localization Software, Damian Lyons, Ron Arkin, Shu Jiang, Matt O'Brien, Feng Tang, Peng Tang

Faculty Publications

One approach to determining whether an automated system is performing correctly is to monitor its performance, signaling when the performance is not acceptable; another approach is to automatically analyze the possible behaviors of the system a-priori and determine performance guarantees. Thea authors have applied this second approach to automatically derive performance guarantees for behaviorbased, multi-robot critical mission software using an innovative approach to formal verification for robotic software. Localization and mapping algorithms can allow a robot to navigate well in an unknown environment. However, whether such algorithms enhance any specific robot mission is currently a matter for empirical validation. Several …

Formal Performance Guarantees For Behavior-Based Localization Missions, Damian Lyons, Ron Arkin, Shu Jiang, Matt O'Brien, Feng Tang, Peng Tang

Faculty Publications

Abstract— Localization and mapping algorithms can allow a robot to navigate well in an unknown environment. However, whether such algorithms enhance any specific robot mission is currently a matter for empirical validation. In this paper we apply our MissionLab/VIPARS mission design and verification approach to an autonomous robot mission that uses probabilistic localization software.

Two approaches to modeling probabilistic localization for verification are presented: a high-level approach, and a sample-based approach which allows run-time code to be embedded in verification. Verification and experimental validation results are presented for two different missions, each using each method, demonstrating the accuracy …

A Study Of The Impact Of Interaction Mechanisms And Population Diversity In Evolutionary Multiagent Systems, Sadat U. Chowdhury

Dissertations, Theses, and Capstone Projects

In the Evolutionary Computation (EC) research community, a major concern is maintaining optimal levels of population diversity. In the Multiagent Systems (MAS) research community, a major concern is implementing effective agent coordination through various interaction mechanisms. These two concerns coincide when one is faced with Evolutionary Multiagent Systems (EMAS).

This thesis demonstrates a methodology to study the relationship between interaction mechanisms, population diversity, and performance of an evolving multiagent system in a dynamic, real-time, and asynchronous environment. An open sourced extensible experimentation platform is developed that allows plug-ins for evolutionary models, interaction mechanisms, and genotypical encoding schemes beyond the one …

Grounding Robot Motion In Natural Language And Visual Perception, Scott Alan Bronikowski

Open Access Dissertations

The current state of the art in military and first responder ground robots involves heavy physical and cognitive burdens on the human operator while taking little to no advantage of the potential autonomy of robotic technology. The robots currently in use are rugged remote-controlled vehicles. Their interaction modalities, usually utilizing a game controller connected to a computer, require a dedicated operator who has limited capacity for other tasks.

I present research which aims to ease these burdens by incorporating multiple modes of robotic sensing into a system which allows humans to interact with robots through a natural-language interface. I conduct …

Applications Of Computational Geometry And Computer Vision, Joseph Lemley

All Master's Theses

Recent advances in machine learning research promise to bring us closer to the original goals of artificial intelligence. Spurred by recent innovations in low-cost, specialized hardware and incremental refinements in machine learning algorithms, machine learning is revolutionizing entire industries. Perhaps the biggest beneficiary of this progress has been the field of computer vision. Within the domains of computational geometry and computer vision are two problems: Finding large, interesting holes in high dimensional data, and locating and automatically classifying facial features from images. State of the art methods for facial feature classification are compared and new methods for finding empty hyper-rectangles …

Integrating Cobots In Engineering Technology Education, Ana M. Djuric, Vukica Jovanovic, Tatiana V. Goris, Otilia Popescu

Engineering Technology Faculty Publications

Collaborative robots or CoBots, unlike traditional robots, are safe and flexible enough to work harmoniously with humans. Exploiting the efficiency of automated operations and the flexibility of manual operations in one process can improve productivity and worker job satisfaction. CoBots technology has been experiencing strong growth in different areas such as ground transportation, food-processing industry, car manufacturing, and naval or aeronautical engineering. Current CoBots education and training opportunities are rare or non-existent in university environments. In response to this need, we developed several CoBots modules which will be integrated in the current robotics and mechatronics courses. In this paper we …

Reformulation Strategies Of Repeated References In The Context Of Robot Perception Errors In Situated Dialogue, Niels Schütte, John D. Kelleher, Brian Mac Namee

Conference papers

We performed an experiment in which human participants interacted through a natural language dialogue interface with a simulated robot to fulfil a series of object manipulation tasks. We introduced errors into the robot’s perception, and observed the resulting problems in the dialogues and their resolutions. We then introduced different methods for the user to request information about the robot’s understanding of the environment. In this work, we describe the effects that the robot’s perceptual errors and the information request options available to the participant had on the reformulation of the referring expressions the participants used when resolving a unsuccessful reference.

Robotics And The Lessons Of Cyberlaw, Ryan Calo

Articles

Two decades of analysis have produced a rich set of insights as to how the law should apply to the Internet’s peculiar characteristics. But, in the meantime, technology has not stood still. The same public and private institutions that developed the Internet, from the armed forces to search engines, have initiated a significant shift toward developing robotics and artificial intelligence.

This Article is the first to examine what the introduction of a new, equally transformative technology means for cyberlaw and policy. Robotics has a different set of essential qualities than the Internet and accordingly will raise distinct legal issues. Robotics …

Designing A Biomimetic Testing Platform For Actuators In A Series-Elastic Co-Contraction System, Ryan Tyler Schroeder

UNLV Theses, Dissertations, Professional Papers, and Capstones

Actuators determine the performance of robotic systems at the most intimate of levels. As a result, much work has been done to assess the performance of different actuator systems. However, biomimetics has not previously been utilized as a pretext for tuning a series elastic actuator system with the purpose of designing an empirical testing platform. Thus, an artificial muscle tendon system has been developed in order to assess the performance of two distinct actuator types: (1) direct current electromagnetic motors and (2) ultrasonic rotary piezoelectric motors. Because the design of the system takes advantage of biomimetic operating principles such as …

Moving Object Detection For Interception By A Humanoid Robot, Saltanat B. Tazhibayeva

Open Access Theses

Interception of a moving object with an autonomous robot is an important problem in robotics. It has various application areas, such as in an industrial setting where products on a conveyor would be picked up by a robotic arm, in the military to halt intruders, in robotic soccer (where the robots try to get to the moving ball and try to block an opponent's attempt to pass the ball), and in other challenging situations. Interception, in and of itself, is a complex task that demands a system with target recognition capability, proper navigation and actuation toward the moving target. There …

Intelligent Sensing Based On Low Cost Unmanned Aerial Vehicles (Uav) For Bridge Condition Assessment, Theodore Teates, Austin Boyd, Chung-Hao Chen

Electrical & Computer Engineering Faculty Publications

The eventual completion of this project envisions the use of an Unmanned Aerial Vehicle (UAV) to inspect bridge infrastructure. This project may also be expanded to encompass general object detection and inspection in order to unburden this technology so that it may reach its fullest potential. The project requires research and development in three distinct areas of image processing, control structures, and integration of systems. Initial undergraduate research sets the base knowledge for the overall project, explores the areas of concentration that are desired to expand upon in the future project, and provides a base UAV model that new researchers …

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 …

Modeling A Sensor To Improve Its Efficacy, Nabin K. Malakar, Daniil Gladkov, Kevin H. Knuth

Physics Faculty Scholarship

Robots rely on sensors to provide them with information about their surroundings. However, high-quality sensors can be extremely expensive and cost-prohibitive. Thus many robotic systems must make due with lower-quality sensors. Here we demonstrate via a case study how modeling a sensor can improve its efficacy when employed within a Bayesian inferential framework. As a test bed we employ a robotic arm that is designed to autonomously take its own measurements using an inexpensive LEGO light sensor to estimate the position and radius of a white circle on a black field. The light sensor integrates the light arriving from a …

Object Retrieval From Secure Unknown Interior Spaces Using Autonomous Unmanned Aerial Vehicles, John Levous, Julie Hoven, Victor Habgood, Abdulrahman Alotaibi, Brandon Ordway, Garibe Mohammed-Jones, Haole Guo, Filip Cuckov, Chung-Hao Chen

Electrical & Computer Engineering Faculty Publications

This paper describes an autonomous unmanned aerial vehicle (UAV) designed to participate in the 23rd annual International Aerial Robotics Competition. The UAV is equipped with onboard sensors and a Harvard architecture 8-bit RISC microcontroller to monitor and locally control its flight telemetry. Additional sensors (and an additional microcontroller) are used for detecting and mapping of structural and environmental objects while the UAV is in flight. The microcontrollers are interfaced with wireless communication modules for transmitting flight telemetry and structural/environmental data to a ground control station that sends the UAV command and control signals required for the mission objectives. The UAV …

Autonomous Entropy-Based Intelligent Experimental Design, Nabin Kumar Malakar

Legacy Theses & Dissertations (2009 - 2024)

The aim of this thesis is to explore the application of probability and information theory in experimental design, and to do so in a way that combines what we know about inference and inquiry in a comprehensive and consistent manner.

Robotics In Hazardous Environments- Real Deployments By The Savannah River National Lab, Steven Tibrea, Thomas Nance, Eric Kriikku

Journal of the South Carolina Academy of Science

No abstract provided.

Toward A Theory-Based Natural Language Capability In Robots And Other Embodied Agents : Evaluating Hausser's Slim Theory And Database Semantics, Robin Kowalchuk Burk

Legacy Theses & Dissertations (2009 - 2024)

Computational natural language understanding and generation have been a goal of artificial intelligence since McCarthy, Minsky, Rochester and Shannon first proposed to spend the summer of 1956 studying this and related problems. Although statistical approaches dominate current natural language applications, two current research trends bring renewed focus on this goal. The nascent field of artificial general intelligence (AGI) seeks to evolve intelligent agents whose multi-subagent architectures are motivated by neuroscience insights into the modular functional structure of the brain and by cognitive science insights into human learning processes. Rapid advances in cognitive robotics also entail multi-agent software architectures that attempt …

Applying Computational Models Of Spatial Prepositions To Visually Situated Dialog, John D. Kelleher, Fintan Costello

Articles

This article describes the application of computational models of spatial prepositions to visually situated dialog systems. In these dialogs, spatial prepositions are important because people often use them to refer to entities in the visual context of a dialog. We first describe a generic architecture for a visually situated dialog system and highlight the interactions between the spatial cognition module, which provides the interface to the models of prepositional semantics, and the other components in the architecture. Following this, we present two new computational models of topological and projective spatial prepositions. The main novelty within these models is the fact …

Pioneering The Personal Robotics Industry, Russell Nickerson

Undergraduate Review

The up and coming industry that I will be reporting about here is the personal and home robotics industry. I will show how the development cycle in the United States functions. I will then answer the question: What are the main limits that hold back this industry? The U.S. approach to robotics will be contrasted with Japan’s approach as Japan has another very well developed robotics program.

Conceptual Study Of Rotary-Wing Microrobotics, Kelson D. Chabak

Theses and Dissertations

This thesis presents a novel rotary-wing micro-electro-mechanical systems (MEMS) robot design. Two MEMS wing designs were designed, fabricated and tested including one that possesses features conducive to insect level aerodynamics. Two methods for fabricating an angled wing were also attempted with photoresist and CrystalBond™ to create an angle of attack. One particular design consisted of the wing designs mounted on a gear which are driven by MEMS actuators. MEMS comb drive actuators were analyzed, simulated and tested as a feasible drive system. The comb drive resonators were also designed orthogonally which successfully rotated a gear without wings. With wings attached …

Proximity In Context: An Empirically Grounded Computational Model Of Proximity For Processing Topological Spatial Expression., John D. Kelleher, Geert-Jan Kruijff, Fintan Costello

Conference papers

The paper presents a new model for context-dependent interpretation of linguistic expressions about spatial proximity between objects in a natural scene. The paper discusses novel psycholinguistic experimental data that tests and verifies the model. The model has been implemented, and enables a conversational robot to identify objects in a scene through topological spatial relations (e.g. ''X near Y''). The model can help motivate the choice between topological and projective prepositions.

Singularity Avoidance Strategies For Satellite Mounted Manipulators Using Attitude Control, Nathan A. Titus

Theses and Dissertations

Control concepts for satellite mounted manipulators (SMM) are examined. The primary focus is on base actuated concepts, which eliminate singularity problems associated with free floating SMMs. A new form of the equations of motion for an n-link SMM is developed using a quasi coordinate form of Lagrange's Equation. Alternative free floating SMM designs are presented which eliminate dynamic singularities, but still experience difficulties due to the unactuated base. A new generic SMM controller is developed as a framework for various control concepts with and without base actuation. Momentum constrained Jacobians are shown to produce better SMM tracking than fixed base …

The Toysim Project, Anthony Rodriguez

Theses : Honours

No abstract provided.