Robotics Commons^™

Design Of A Flexible Control Platform And Miniature In Vivo Robots For Laparo-Endoscopic Single-Site Surgeries, Lou P. Cubrich

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

Minimally-invasive laparoscopic procedures have proven efficacy for a wide range of surgical procedures as well as benefits such as reducing scarring, infection, recovery time, and post-operative pain. While the procedures have many advantages, there are significant shortcomings such as limited instrument motion and reduced dexterity. In recent years, robotic surgical technology has overcome some of these limitations and has become an effective tool for many types of surgeries. These robotic platforms typically have an increased workspace, greater dexterity, improved ergonomics, and finer control than traditional laparoscopic methods. This thesis presents the designs of both a four degree-of-freedom (DOF) and 5-DOF …

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 …

Studying The Effects Of Serpentine Soil On Adapted And Non-Adapted Species Using Arduino Technology, Kiana Saniee, Edward Himelblau, Brian Paavo

STAR Program Research Presentations

Abstract: Serpentine soils are formed from ultramafic rocks and are represent an extreme environment for plants. Serpentine soils are unique in that they carry high concentrations of heavy metals, are nutrient deficient, particularly in calcium, and have poor water retention capabilities. Although these soils constitute harsh conditions for plant growth, there are a number of species that are adapted and even endemic to serpentine soil. Water retention by commercial potting mix was compared with serpentine soil. Also, serpentine adapted and non-adapted species were grown in both soil treatments and physiological data were collected. We used the Arduino electronic platform to …

Landmark Detection With Surprise Saliency Using Convolutional Neural Networks, Feng Tang, Damian Lyons, Daniel Leeds

Faculty Publications

Abstract—Landmarks can be used as reference to enable people or robots to localize themselves or to navigate in their environment. Automatic definition and extraction of appropriate landmarks from the environment has proven to be a challenging task when pre-defined landmarks are not present. We propose a novel computational model of automatic landmark detection from a single image without any pre-defined landmark database. The hypothesis is that if an object looks abnormal due to its atypical scene context (what we call surprise saliency), it then may be considered as a good landmark because it is unique and easy to spot by …

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.

Flying By Fire: Making Controlled Burns Safer For Humans And Uavs, Rebecca Horzewski, Carrick Detweiler

UCARE Research Products

A temperature sensing circuit board was developed that will allow Nimbus Lab's controlled burn starting UAV to react to the temperatures around it.

“My Logic Is Undeniable”: Replicating The Brain For Ideal Artificial Intelligence, Samuel C. Adams

Senior Honors Theses

Alan Turing asked if machines can think, but intelligence is more than logic and reason. I ask if a machine can feel pain or joy, have visions and dreams, or paint a masterpiece. The human brain sets the bar high, and despite our progress, artificial intelligence has a long way to go. Studying neurology from a software engineer’s perspective reveals numerous uncanny similarities between the functionality of the brain and that of a computer. If the brain is a biological computer, then it is the embodiment of artificial intelligence beyond anything we have yet achieved, and its architecture is advanced …

Use Of A Small Unmanned Aerial System For The Sr-530 Mudslide Incident Near Oso, Washington, Robin Murphy, Brittany Duncan, Tyler Collins, Justin Kendrick, Patrick Lohman, Tamara Palmer, Frank Sanborn

School of Computing: Faculty Publications

The Center for Robot-Assisted Search and Rescue deployed three commercially available small unmanned aerial systems (SUASs)—an AirRobot AR100B quadrotor, an Insitu Scan Eagle, and a PrecisionHawk Lancaster—to the 2014 SR-530 Washington State mudslides. The purpose of the flights was to allow geologists and hydrologists to assess the eminent risk of loss of life to responders from further slides and flooding, as well as to gain a more comprehensive understanding of the event. The AirRobot AR100B in conjunction with PrecisionHawk postprocessing software created two-dimensional (2D) and 3D reconstructions of the inaccessible “moonscape” region of the slide and provided engineers with a …

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 …

Robots As Legal Metaphors, Ryan Calo

Articles

This Article looks at the specific role robots play in the judicial imagination. The law and technology literature is replete with examples of how the metaphors and analogies that courts select for emerging technology can be outcome determinative. Privacy law scholar Professor Daniel Solove argues convincingly, for instance, that George Orwell's Big Brother metaphor has come to dominate, and in ways limit, privacy law and policy in the United States. Even at a more specific, practical level, whether a judge sees email as more like a letter or a postcard will dictate the level of Fourth Amendment protection she is …