Robotics Commons^™

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 …

Pythagorean Combinations For Lego Robot Building., Ronald I. Greenberg

Computer Science: Faculty Publications and Other Works

This paper provides tips for LEGO robot construction involving bracing or gear meshing along a diagonal using standard Botball kits.

Establishing Performance Guarantees For Behavior-Based Robot Missions Using An Smt Solver, Feng Tang, Damian M. Lyons, Ronald Arkin

Faculty Publications

In prior work we developed an approach to formally representing behavior-based multi-robot programs, and the uncertain environments in which they operate, as process networks. We automatically extract a set of probabilistic equations governing program execution in that environment using a static analysis module called VIPARS, and solve these using a Dynamic Bayesian Network (DBN) to establish whether stated performance guarantees hold for the program in that environment. In this paper we address the challenge of expanding the range of performance guarantees that are possible by using an SMT-solver instead of a DBN. We translate flow functions, which are recursive probabilistic …

Teaching Robot Kinematics For Engineering Technology Students Using A Created Three-Dimensional Robot And Camera, Cheng Y. Lin, Yuzhong Shen

Engineering Technology Faculty Publications

Teaching robot kinematics is important to engineering technology students in the robot automation. The study can help students not only in the coordinate transformation principles from a joint to its following joint in a robot, but also in relating the coordinate systems between a robot and a machine vision system. While students can utilize math software to compute robot kinematic transformations, they have problems verifying their answers. In this paper, a three dimensional vertically articulated robot is created to help students visualize the location and orientation of the end effector. Students can check their robot kinematic answers based on the …

Performance Verification For Behavior-Based Robot Missions, Damian M. Lyons, Ron Arkin, Shu Jiang, Tsungming Liu, Paramesh Nirmal

Faculty Publications

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 are …

Preparing Students For The Advanced Manufacturing Environment Through Robotics, Mechatronics, And Automation Training, Ana M. Djuric, Vukica Jovanovic, Tatiana V. Goris

Engineering Technology Faculty Publications

Automation is one of the key areas for modern manufacturing systems. It requires coordination of different machines to support manufacturing operations in a company. Recent studies show that there is a gap in the STEM workforce preparation in regards to highly automated production environments. Industrial robots have become an essential part of these semi-automated and automated manufacturing systems. Their control and programming requires adequate education and training in robotics theory and applications. Various engineering technology departments offer different courses related to the application of robotics. These courses are a great way to inspire students to learn about science, math, engineering, …

Invariant Inferring And Monitoring In Robotic Systems, Hengle Jiang

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

System monitoring can help to detect abnormalities and avoid failures. Crafting monitors for today’s robotic systems, however, can be very difficult due to the systems’ inherent complexity and its rich operating environment.

In this work we address this challenge through an approach that automatically infers system invariants and synthesizes those invariants into monitors. This approach is inspired by existing software engineering approaches for automated invariant inference, and it is novel in that it derives invariants by observing the messages passed between system nodes and the invariants types are tailored to match the spatial, time, temporal, and architectural attributes of robotic …

Towards A Sustainable Modular Robot System For Planetary Exploration, S. G. M. Hossain

Department of Mechanical and Materials Engineering: Dissertations, Theses, and Student Research

This thesis investigates multiple perspectives of developing an unmanned robotic system suited for planetary terrains. In this case, the unmanned system consists of unit-modular robots. This type of robot has potential to be developed and maintained as a sustainable multi-robot system while located far from direct human intervention. Some characteristics that make this possible are: the cooperation, communication and connectivity among the robot modules, flexibility of individual robot modules, capability of self-healing in the case of a failed module and the ability to generate multiple gaits by means of reconfiguration. To demonstrate the effects of high flexibility of an individual …

Review Of Development Stages In The Conceptual Design Of An Electro Hydrostatic Actuator For Robotics, Velibor Karanović, Mitar Jocanović, Vukica Jovanović

Engineering Technology Faculty Publications

The design of modern robotic devices faces numerous requirements and limitations which are related to optimization and robustness. Consequently, these stringent requirements have caused improvements in many engineering areas and lead to development of new optimization methods which better handle new complex products designed for application in industrial robots. One of the newly developed methods used in industrial robotics is the concept of a self-contained power device, an Electro-Hydrostatic Actuator (EHA). EHA devices were designed with a central idea, to avoid the possible drawbacks which were present in other types of actuators that are currently used in robotic systems. This …

Toward A Framework For Levels Of Robot Autonomy In Human-Robot Interaction, Jenay Beer, A. D. Fisk, W. A. Rogers

Faculty Publications

Autonomy is a critical construct related to human-robot interaction (HRI) and varies widely across robot platforms. Levels of robot autonomy (LORA), ranging from teleoperation to fully autonomous systems, influence the way in which humans and robots interact with one another. Thus, there is a need to understand HRI by identifying variables that influence—and are influenced by—robot autonomy. Our overarching goal is to develop a framework for LORA in HRI. To reach this goal, our framework draws links between HRI and human-automation interaction, a field with a long history of studying and understanding human-related variables. The construct of autonomy is reviewed …

A Collaborated Process With A Wireless Autonomous Vehicle At It's Center, Thomas B. Stout, Steve C. Hsiung

Engineering Technology Faculty Publications

Developing partnerships between high schools, community colleges and universities is critical for the successful transitions to a lifelong STEM careers. How do you develop these partnerships? The sharing of a technology platform such as autonomous vehicles can bridge the gap by using a common core group of materials. Collaborations between teachers and faculty indifferent schools that share common interests in teaching control systems and robotics technology can be an excellent start. The university as catalyst in the process by designing the curriculum, system hardware and software then through the common interest deploying them in the high schools and community college. …

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 …

Evolving Predator Control Programs For An Actual Hexapod Robot Predator, Gary Parker, Basar Gulcu

Computer Science Faculty Publications

In the development of autonomous robots, control program learning systems are important since they allow the robots to adapt to changes in their surroundings. Evolutionary Computation (EC) is a method that is used widely in learning systems. In previous research, we used a Cyclic Genetic Algorithm (CGA), a form of EC, to evolve a simulated predator robot to test the effectiveness of a learning system in the predator/prey problem. The learned control program performed search, chase, and capture behavior using 64 sensor states relative to the nearest obstacle and the target, a simulated prey robot. In this paper, we present …

Integrating Robotics Into First-Year Experience Courses, Tyson S. Hall, P. Willard Munger

Faculty Works

Robotics are a popular component of many introductory engineering and computer science courses. At Southern Adventist University, the School of Computing faculty decided to integrate robotics into a discipline-specific section of the University’s first-year experience course. The integration of robotics into a first-year experience course has created a hands-on introduction to college life within the Computing discipline while introducing students to the problem-solving process. This paper will introduce a very low-cost robotic platform kit ($50-75) that has been developed for the first-year experience course. Student assessment data from the first offering of this course with the SouthernBot 2.0 kit shows …

Reactivation Of A Six-Degree-Of-Freedom Repeated Impact Machine Using Programmable Logical Controller (Plc), Cheng Lin

Engineering Technology Faculty Publications

Reactivation of a six-degree-of-freedom impact machine using Programmable Logical Control (PLC) is presented. The output from the machine is the history of accelerations collected from accelerometers attached at the testing article and a load cell mounted at the rubber pad where the impact occurs. Readings of the acceleration and impact force are sent to a PC for analysis through a data acquisition device (USB 6251) and Labview software provided by National Instrument (NI). Result shows that the machine can repeatedly generate an impact force up to eleven Gs. Demonstration of the project can be used as one of labs in …

Variable Structure End Point Control Of A Flexible Manipulator, Shailaja Chenumalla, Sahjendra N. Singh

Electrical & Computer Engineering Faculty Research

We treat the question of control and stabilization of the elastic multibody system developed in the Phillips Laboratory, Edwards Air Force Base, California. The controlled output is judiciously chosen such that the zero dynamics are stable or almost stable. A variable structure control (VSC) law is derived for the end point trajectory control. Although, the VSC law accomplishes precise end point tracking, elastic modes are excited during the maneuver of the arm. A Linear stabilizer is designed for the final capture of the terminal state.

An Efficient Technique For Finding The Desired Global Optimum Of Robotic Joint Displacement, Paul P. Lin, An-Jen J. Yang

Mechanical Engineering Faculty Publications

For an industrial robot on a daily operation basis such as pick and place, it is desired to minimize the robotic joint displacements when moving the robot from one location to another. The objective of the optimization here is to simultaneously minimize a robot end effector's positional error and the robotic joint displacements. By modifying the searching algorithm in the existing complex optimization method, this article presents a technique for finding the desired global optimum solution more efficiently. To compare the optimum searching capability between the proposed and existing searching algorithms, a modified Himmelblau's function is used as an objective …

An Improved Method For Online Calculation And Compensation Of The Static Deflection At A Robot End-Effector, Paul P. Lin, Hsiang-Dih Chiang, Xiu Xun Cui

Mechanical Engineering Faculty Publications

Traditionally, robotic deflection analysis for a low-weight robot has been performed based on an assumption that each link is treated as a cantilever beam, which leads to no angular deflection at a joint. In practice, a robotic intermediate joint is linearly and angulary deflected when a load is applied at the end-effector. It is found in this study that the additional link deflection resulting from the angular deflection of a robotic revolute joint substantially contributes to the end-effector's total deflection. This article presents an improved method via a combination of classical beam theory, energy methods and the concepts of differential …