The Experts below are selected from a list of 136464 Experts worldwide ranked by ideXlab platform

Robin Roberson Murphy - One of the best experts on this subject based on the ideXlab platform.

  • Human-robot interaction in rescue robotics
    IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews, 2004
    Co-Authors: Robin Roberson Murphy
    Abstract:

    Rescue robotics has been suggested by a recent DARPA/NSF study as an application domain for the research in human-robot integration (HRI). This paper provides a short tutorial on how robots are currently used in urban search and rescue (USAR) and discusses the HRI issues encountered over the past eight years. A domain theory of the search activity is formulated. The domain theory consists of two parts: 1) a workFlow Model identifying the major tasks, actions, and roles in robot-assisted search (e.g., a workFlow Model) and 2) a general Information Flow Model of how data from the robot is fused by various team members into Information and knowledge. The Information Flow Model also captures the types of situation awareness needed by each agent in the rescue robot system. The article presents a synopsis of the major HRI issues in reducing the number of humans it takes to control a robot, maintaining performance with geographically distributed teams with intermittent communications, and encouraging acceptance within the existing social structure.

Lori A Clarke - One of the best experts on this subject based on the ideXlab platform.

  • an Information Flow Model of fault detection
    International Symposium on Software Testing and Analysis, 1993
    Co-Authors: Margaret C Thompson, Debra J Richardson, Lori A Clarke
    Abstract:

    RELAY is a Model of how a fault causes a failure on execution of some test datum. This process begins with introduction of an original state potential failure at a fault location and continues as the potential failure(s) transfers to output. Here we describe the second stage of this process, transfer of an incorrect intermediate state from a faulty statement to output. Transfer occurs along Information Flow chains, where each link in the chain involves data dependence transfer and/or control dependence transfer. RELAY Models concurrent transfer along multiple Information Flow chains with transfer sets, which identify possible interaction between potential failures, and with transfer routes, which identify actual interactions. Transfer sets, transfer routes, and control dependence transfer are unique to the RELAY Model. The Model demonstrates that the process of potential failure transfer is extremely complex and full analysis of real programs may not be practical. Nonetheless, RELAY provides insight into testing and fault detection and suggests an approach to fault-based testing and analysis that may be warranted for critical systems software.

  • ISSTA - An Information Flow Model of fault detection
    Proceedings of the 1993 international symposium on Software testing and analysis - ISSTA '93, 1993
    Co-Authors: Margaret C Thompson, Debra J Richardson, Lori A Clarke
    Abstract:

    RELAY is a Model of how a fault causes a failure on execution of some test datum. This process begins with introduction of an original state potential failure at a fault location and continues as the potential failure(s) transfers to output. Here we describe the second stage of this process, transfer of an incorrect intermediate state from a faulty statement to output. Transfer occurs along Information Flow chains, where each link in the chain involves data dependence transfer and/or control dependence transfer. RELAY Models concurrent transfer along multiple Information Flow chains with transfer sets, which identify possible interaction between potential failures, and with transfer routes, which identify actual interactions. Transfer sets, transfer routes, and control dependence transfer are unique to the RELAY Model. The Model demonstrates that the process of potential failure transfer is extremely complex and full analysis of real programs may not be practical. Nonetheless, RELAY provides insight into testing and fault detection and suggests an approach to fault-based testing and analysis that may be warranted for critical systems software.

John W. Sheppard - One of the best experts on this subject based on the ideXlab platform.

  • The Information Flow Model
    System Test and Diagnosis, 1994
    Co-Authors: William R. Simpson, John W. Sheppard
    Abstract:

    To address the problems of performing system diagnosis and analyzing system testability, we introduce the concept of an Information Flow Model. This Model-based approach to system test and diagnosis incorporates techniques from Information fusion and artificial intelligence to guide analysis. The Model represents the problem to be solved as Information Flow. Tests provide Information and diagnostic inference combines Information from multiple tests using symbolic logic and pattern recognition.

  • System testability assessment for integrated diagnostics
    IEEE Design & Test of Computers, 1992
    Co-Authors: William R. Simpson, John W. Sheppard
    Abstract:

    Techniques for analyzing the testability of a system are presented. They are based on an Information Flow Model detailed by the authors previously (see ibid., vol.8, no.4, p.12-25, (1991)). The techniques identify testability problems involving ambiguity, feedback, the test set, and multiple failures. The overall concern is with the ability to diagnose failures as part of an overall maintenance architecture. >

  • System complexity and integrated diagnostics
    IEEE Design & Test of Computers, 1991
    Co-Authors: William R. Simpson, John W. Sheppard
    Abstract:

    An overview of a complete approach to integrated diagnostics is given. The approach is centered around an Information-Flow Model and incorporates techniques from Information fusion and artificial intelligence to guide analyses. The concept of integrated diagnosis is explained, and the Model is examined. The authors show how to analyze testability, evaluate fault diagnosis, and create maintenance aids. >

  • Automated production of Information Models for use in Model-based diagnosis
    Proceedings of the IEEE 1992 National Aerospace and Electronics Conference@m_NAECON 1992, 1
    Co-Authors: John W. Sheppard, William R. Simpson
    Abstract:

    The approach to system maintenance uses a Model of the system as a foundation for its knowledge base. A particular type of Model, the Information Flow Model, is very useful for diagnosing problems. The authors explore a learning approach to assist the Modeling process. They describe a system in which a simulation Model was used as a teacher to identify test attributes automatically for the system to be diagnosed. The automated Modeling system begins with a simulation Model and evaluates tests in a nominal situation to determine the limits and tolerances on these tests. The system then sequentially fails the components in the system and reruns the simulation to determine which tests will fail. The results of these simulations define an attribute map for the system that becomes the basis for an Information Flow Model to be processed by the system testability and maintenance program (STAMP) and the portable interactive troubleshooter, (POINTER). These tools function together and use an Information Flow Model to assess system testability and diagnose faults. >

  • VTS - Improving the accuracy of diagnostics provided by fault dictionaries
    Proceedings of 14th VLSI Test Symposium, 1
    Co-Authors: John W. Sheppard, William R. Simpson
    Abstract:

    Using nearest neighbor classification with fault dictionaries to resolve inexact signature matches in digital circuit diagnosis is inadequate. Nearest neighbor focuses on the possible diagnoses rather than on the tests. Our alternative-the Information Flow Model-focuses on test Information in the fault dictionary to provide more accurate diagnostics.

Margaret C Thompson - One of the best experts on this subject based on the ideXlab platform.

  • an Information Flow Model of fault detection
    International Symposium on Software Testing and Analysis, 1993
    Co-Authors: Margaret C Thompson, Debra J Richardson, Lori A Clarke
    Abstract:

    RELAY is a Model of how a fault causes a failure on execution of some test datum. This process begins with introduction of an original state potential failure at a fault location and continues as the potential failure(s) transfers to output. Here we describe the second stage of this process, transfer of an incorrect intermediate state from a faulty statement to output. Transfer occurs along Information Flow chains, where each link in the chain involves data dependence transfer and/or control dependence transfer. RELAY Models concurrent transfer along multiple Information Flow chains with transfer sets, which identify possible interaction between potential failures, and with transfer routes, which identify actual interactions. Transfer sets, transfer routes, and control dependence transfer are unique to the RELAY Model. The Model demonstrates that the process of potential failure transfer is extremely complex and full analysis of real programs may not be practical. Nonetheless, RELAY provides insight into testing and fault detection and suggests an approach to fault-based testing and analysis that may be warranted for critical systems software.

  • ISSTA - An Information Flow Model of fault detection
    Proceedings of the 1993 international symposium on Software testing and analysis - ISSTA '93, 1993
    Co-Authors: Margaret C Thompson, Debra J Richardson, Lori A Clarke
    Abstract:

    RELAY is a Model of how a fault causes a failure on execution of some test datum. This process begins with introduction of an original state potential failure at a fault location and continues as the potential failure(s) transfers to output. Here we describe the second stage of this process, transfer of an incorrect intermediate state from a faulty statement to output. Transfer occurs along Information Flow chains, where each link in the chain involves data dependence transfer and/or control dependence transfer. RELAY Models concurrent transfer along multiple Information Flow chains with transfer sets, which identify possible interaction between potential failures, and with transfer routes, which identify actual interactions. Transfer sets, transfer routes, and control dependence transfer are unique to the RELAY Model. The Model demonstrates that the process of potential failure transfer is extremely complex and full analysis of real programs may not be practical. Nonetheless, RELAY provides insight into testing and fault detection and suggests an approach to fault-based testing and analysis that may be warranted for critical systems software.

Xiaohui Liu - One of the best experts on this subject based on the ideXlab platform.