Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- Fordham University (12)
- University of Nebraska - Lincoln (8)
- Singapore Management University (5)
- Loyola University Chicago (3)
- Edith Cowan University (2)
-
- Embry-Riddle Aeronautical University (2)
- University of Nevada, Las Vegas (2)
- Bryn Mawr College (1)
- Florida International University (1)
- Old Dominion University (1)
- Portland State University (1)
- San Jose State University (1)
- Southwestern Oklahoma State University (1)
- Texas A&M University-Commerce (1)
- University at Albany, State University of New York (1)
- University of Pennsylvania Carey Law School (1)
- Keyword
-
- Robotics (14)
- Behavior-Based (5)
- Formal Verification (5)
- Validation (5)
- Artificial intelligence (4)
-
- Chatbots (2)
- Computer Vision (2)
- Computer science education (2)
- Fuzzy logic (2)
- Learning (2)
- Machine Learning (2)
- Mobile robots (2)
- Navigation (2)
- Simulation (2)
- Unmanned Aerial Vehicle (2)
- [RSTDPub] (2)
- 3D object detection (1)
- AI (1)
- Accountability (1)
- Accuracy (1)
- Adaptive decentralized controller (1)
- Adaptive sampling (1)
- Adjudicating by algorithm (1)
- Administrative law (1)
- Aerospace industry (1)
- Agent-based models (1)
- Algebra (1)
- Algorithmic governance (1)
- Amour (1)
- Animal Tracking (1)
- Publication Year
- Publication
-
- Faculty Publications (13)
- Computer Science: Faculty Publications and Other Works (3)
- Department of Computer Science and Engineering: Dissertations, Theses, and Student Research (3)
- Research Collection School Of Computing and Information Systems (3)
- MITB Thought Leadership Series (2)
-
- Publications (2)
- Research outputs 2014 to 2021 (2)
- All Faculty Scholarship (1)
- Computer Science Faculty Research and Scholarship (1)
- Department of Biological Systems Engineering: Papers and Publications (1)
- Department of Construction Engineering and Management: Faculty Publications (1)
- Department of Mechanical and Materials Engineering: Dissertations, Theses, and Student Research (1)
- FIU Electronic Theses and Dissertations (1)
- Library Philosophy and Practice (e-journal) (1)
- Mechanical Engineering Faculty Presentations (1)
- Mechanical Engineering Faculty Research (1)
- Mechanical and Materials Engineering Faculty Publications and Presentations (1)
- Mineta Transportation Institute (1)
- Physics Faculty Scholarship (1)
- School of Computing: Faculty Publications (1)
- Student Research (1)
- VMASC Publications (1)
Articles 31 - 43 of 43
Full-Text Articles in Robotics
Developing Grounded Goals Through Instant Replay Learning, Lisa Meeden, Douglas S. Blank
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 …
An Approach To Robust Homing With Stereovision, Fuqiang Fu, Damian Lyons
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
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
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
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 …
Landmark Detection With Surprise Saliency Using Convolutional Neural Networks, Feng Tang, Damian Lyons, Daniel Leeds
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 …
A Comparative Study Of Underwater Robot Path Planning Algorithms For Adaptive Sampling In A Network Of Sensors, Sreeja Banerjee
A Comparative Study Of Underwater Robot Path Planning Algorithms For Adaptive Sampling In A Network Of Sensors, Sreeja Banerjee
Department of Computer Science and Engineering: Dissertations, Theses, and Student Research
Monitoring lakes, rivers, and oceans is critical to improving our understanding of complex large-scale ecosystems. We introduce a method of underwater monitoring using semi-mobile underwater sensor networks and mobile underwater robots in this thesis. The underwater robots can move freely in all dimension while the sensor nodes are anchored to the bottom of the water column and can move only up and down along the depth of the water column. We develop three different algorithms to optimize the path of the underwater robot and the positions of the sensors to improve the overall quality of sensing of an area of …
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
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
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 …
A Fuzzy Logic Controller For Autonomous Wheeled Vehicles, Mohamed Trabia, Linda Z. Shi, Neil Eugene Hodge
A Fuzzy Logic Controller For Autonomous Wheeled Vehicles, Mohamed Trabia, Linda Z. Shi, Neil Eugene Hodge
Mechanical Engineering Faculty Research
Autonomous vehicles have potential applications in many fields, such as replacing humans in hazardous environments, conducting military missions, and performing routine tasks for industry. Driving ground vehicles is an area where human performance has proven to be reliable. Drivers typically respond quickly to sudden changes in their environment. While other control techniques may be used to control a vehicle, fuzzy logic has certain advantages in this area; one of them is its ability to incorporate human knowledge and experience, via language, into relationships among the given quantities. Fuzzy logic controllers for autonomous vehicles have been successfully applied to address various …
Comparison Of Two Distributed Fuzzy Logic Controllers For Flexible-Link Manipulators, Linda Z. Shi, Mohamed Trabia
Comparison Of Two Distributed Fuzzy Logic Controllers For Flexible-Link Manipulators, Linda Z. Shi, Mohamed Trabia
Mechanical Engineering Faculty Presentations
The paper suggests that fuzzy logic controllers present a computationally efficient and robust alternative to conventional controllers. The paper presents two possible structures for the distributed fuzzy logic controller of a single-link flexible manipulator. A linear quadratic regulator method is used to prove the effectiveness of fuzzy logic controllers.
Impact Of Automation On Process Control Decision-Making, Steven M. Miller, Susan R. Bereiter
Impact Of Automation On Process Control Decision-Making, Steven M. Miller, Susan R. Bereiter
Research Collection School Of Computing and Information Systems
This paper investigates changes in the process control of a vehicle assembly plant which had been modernized from a principally manual procedure to one that uses programmable automation extensively. Process control is defined as the information flow and decision-making required to perform basic process operations. We investigate the effects of implementing a computer-integrated production system on the amount and types of process control decision-making and on the distribution of process control decision-making between humans and machines. After automation, the emphasis on decisions regarding product quality specifications increased and the emphasis on decisions related to flexibility in handling a variety of …
Robotics And The Conservation Of Human Resources, Robert U. Ayres, Steven M. Miller
Robotics And The Conservation Of Human Resources, Robert U. Ayres, Steven M. Miller
Research Collection School Of Computing and Information Systems
Due to rapid expansion in the field of robotics, policy issues have arisen in regard to developing human skills to deal with the new technology and to deal with the obsolescent human skills which are the inevitable result of this growth pattern. Industrialists, educators, union leaders, and government officials must work cooperatively to insure that the coming changes are made with minimum disruption. Improved training methods and courses have to be developed for the skills needed to control, manage and supervise the new machines. Some of the ways in which this can be accomplished are through offering financial incentives for …