Martin Sachenbacher

Learn More
Overview Overview „ Diagnosis traditionally viewed as logical reasoning – (de Kleer and Williams 87), (Reiter 87), … „ But more naturally viewed as constraint optimization – Minimal set of faulty components, most likely fault, … „ Framework that unifies qualitative and quantitative notions of diagnosis using semiring-based CSP – Choose appropriate semiring(More)
Traditionally routing has focused on finding shortest paths in networks with positive, static edge costs representing the distance between two nodes. Energy-optimal routing for electric vehicles creates novel algorithmic challenges, as simply understanding edge costs as energy values and applying standard algorithms does not work. First, edge costs can be(More)
Model-based diagnosis of devices has largely operated on hardware systems. However, in most complex systems today, such as aerospace vehicles, automobiles and medical devices, hardware is augmented with software functions that influence the system's behavior. As these sophisticated systems are required to perform increasingly ambitious tasks. there is a(More)
This paper reports on the application of model-based diagnosis techniques to diesel engine management systems within the Brite-EuRam project "Vehicle Model Based Diagnosis". We discuss some major requirements that have been identified in this application. In particular, it is essential to solve the inherent variant problem, to reason across different(More)
Constraint optimization underlies many problems in AI. We present a novel algorithm for finite domain constraint optimization that generalizes branch-and-bound search by reasoning about sets of assignments rather than individual assignments. Because in many practical cases, sets of assignments can be represented implicitly and compactly using symbolic(More)
A case study in off-board diagnosis of the hydraulic circuit of an anti-lock braking system Abstract We present requirements and results of a case study in model-based (off-board-)diagnosis of the hydraulic circuit of an anti-lock braking system. The primary problems to be addressed quite fundamental: it is impossible to predict the behavior of the system(More)