Martin Sachenbacher

Learn 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 has largely operated on hardware systems. However, in most complex systems today , hardware is augmented with software functions that influence the system's behavior. In this paper, hardware models are extended to include the behavior of associated embedded software, resulting in more comprehensive diagnoses. Prior work introduced(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)
Many problems in Artificial Intelligence, such as diagnosis, control, and planning, can be framed as constraint optimization problems where a limited number of leading solutions are needed. An important class of optimization algorithms use A*, a variant of best first search, to guide the search effectively, while employing a heuristic evaluation function(More)
In engineering domains, AI decision making is often confronted with problems that lie at the intersection of logic-based and probabilistic reasoning. A typical example is the plan assessment problem studied in this paper, which comprises the identification of possible faults and the computation of remaining success probabilities based on a system model. In(More)