Model-Based Diagnosis of Dynamic Systems: Systematic Conflict Generation

Author(s):  
Bartłomiej Górny ◽  
Antoni Ligeza
Keyword(s):  
2015 ◽  
Vol 23 (4) ◽  
pp. 923-938 ◽  
Author(s):  
Daniel Leite ◽  
Reinaldo M. Palhares ◽  
Victor C. S. Campos ◽  
Fernando Gomide

2004 ◽  
Vol 43 (3) ◽  
pp. 459-475 ◽  
Author(s):  
C.H. Lo ◽  
Y.K. Wong ◽  
A.B. Rad

2003 ◽  
Vol 19 ◽  
pp. 469-512 ◽  
Author(s):  
L. Console ◽  
C. Picardi ◽  
D. Theseider Duprè

The automatic generation of decision trees based on off-line reasoning on models of a domain is a reasonable compromise between the advantages of using a model-based approach in technical domains and the constraints imposed by embedded applications. In this paper we extend the approach to deal with temporal information. We introduce a notion of temporal decision tree, which is designed to make use of relevant information as long as it is acquired, and we present an algorithm for compiling such trees from a model-based reasoning system.


Sign in / Sign up

Export Citation Format

Share Document