Artículo
Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases
Autor/es | Gómez López, María Teresa
Martínez Gasca, Rafael Valle Sevillano, Carmelo del |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2006 |
Fecha de depósito | 2022-10-20 |
Publicado en |
|
Resumen | In model-based diagnosis, minimal hitting sets are usually used to identify which components may fail in a system. This work presents a set of algorithms to improve the determination of all Minimal Hitting Sets. Our proposal ... In model-based diagnosis, minimal hitting sets are usually used to identify which components may fail in a system. This work presents a set of algorithms to improve the determination of all Minimal Hitting Sets. Our proposal uses the minimal conflict sets to obtain, in an efficient way, the diagnosis of a system. The improvement consists of three algorithms which analyse only the relevant options. This proposal builds an equivalent system in order to obtain all minimal hitting sets depending on the location of the sensors. At the same time, all the information of the process is stored in a Constraint Database, keeping the information persistent and recoverable. Some empirical results are presented in order to show how the proposal improves the process in order to obtain all minimal hitting sets. |
Agencias financiadoras | Ministerio de Ciencia Y Tecnología (MCYT). España |
Identificador del proyecto | DPI2003-07146-C02-01 |
Cita | Gómez López, M.T., Martínez Gasca, R. y Valle Sevillano, C.d. (2006). Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases. IFAC Proceedings Volumes, 39 (13), 1509-1514. https://doi.org/10.3182/20060829-4-CN-2909.00251. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Improving the Determination of ... | 322.7Kb | [PDF] | Ver/ | |