Open Access. Powered by Scholars. Published by Universities.®
- Discipline
Articles 1 - 3 of 3
Full-Text Articles in Computer Engineering
On Problematic Robotic Thresholds, Adam K. Taylor
On Problematic Robotic Thresholds, Adam K. Taylor
Department of Computer Science and Engineering: Dissertations, Theses, and Student Research
Large configuration spaces present difficulties for developers validating large soft- ware systems and for users selecting the proper configuration to achieve the desired runtime behavior. Robot systems face the same challenges as they may have hundreds of configurable parameters. Our work focuses on co-robotic systems, those in which robots and humans work closely together to augment each other’s capabilities. We aim to leverage the user’s knowledge about a system to help determine configuration errors. To accomplish this, users mark runtime failures while observing the system in operation. A marked error indicates the robot “did something when it should not have” …
Performance Verification For Behavior-Based Robot Missions, Damian M. Lyons, Ron Arkin, Shu Jiang, Tsungming Liu, Paramesh Nirmal
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
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, …