Sciweavers

3053 search results - page 62 / 611
» Hybrid Systems Diagnosis
Sort
View
HYBRID
2005
Springer
14 years 3 months ago
Operational Semantics of Hybrid Systems
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific...
Edward A. Lee, Haiyang Zheng
AAAI
1994
13 years 11 months ago
Inductive Learning For Abductive Diagnosis
A new inductive learning system, Lab Learning for ABduction, is presented which acquires abductive rules from a set of training examples. The goal is to nd a small knowledge base ...
Cynthia A. Thompson, Raymond J. Mooney
KR
1998
Springer
14 years 2 months ago
Explanatory Diagnosis: Conjecturing Actions to Explain Observations
Our concern in this paper is with conjecturing diagnoses to explain what happened to a system, given a theory of system behaviour and some observed (aberrant) behaviour. We charac...
Sheila A. McIlraith
ICRA
2006
IEEE
120views Robotics» more  ICRA 2006»
14 years 4 months ago
Distributed Diagnosis of Coupled Mobile Robots
— Fault diagnosis of coupled mobile robots requires a large number of measurements to be communicated either between the robots or from the robots to a central diagnoser. As comp...
Matthew J. Daigle, Xenofon D. Koutsoukos, Gautam B...
CEEMAS
2005
Springer
14 years 3 months ago
Diagnosis of Plans and Agents
Abstract. We discuss the application of Model-Based Diagnosis in (agentbased) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It...
Nico Roos, Cees Witteveen