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)
Automating the generation of qualitative models at a level that is tailored to support a particular task is crucial to the deployment of model-based systems technologies in practical applications, because reusability of models is of vital importance. If this task cannot be solved, models in a library will either be ineffective, because they are too coarse(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)
Electric vehicles (EV) powered by batteries will play a significant role in the road traffic of the future. The unique characteristics of such EVs – limited cruising range, long recharge times, and the ability to regain energy during deceleration – require novel routing algorithms, since the task is now to determine the most economical route rather than(More)