Research Publications
All | |
| Narrow your search | 271 result(s) |
By Type
By Year By Research Group | Multi-valued decision diagrams (MDDs) are a convenient approach to representing many kinds of constraints including table constraints, regular constraints, complex set and multiset constraints, as well as ad- hoc problem specific constraints. This paper ... Max Restricted Path Consistency (maxRPC) is a local consistency for binary constraints that enforces a higher order of consistency than arc consistency. Despite the strong pruning that can be achieved, maxRPC is rarely used because existing maxRPC ... Pathfinding is important in many applications, including games, robotics and GPS itinerary planning. In games, most pathfinding methods rely on runtime search. Despite numerous enhancements introduced in recent years, runtime search has the disadvantage ... Diagnosis is traditionally defined on a space of hypotheses (typically, all the combinations of zero or more possible faults). In the present paper, we argue that a suitable reformulation of this hypothesis space can lead to more efficient diagnostic ... We present a theory of abstraction for diagnosis of discrete-event systems. We show what properties an abstraction should satisfy for the diagnosis to be computable and correct. We also show how to determine diagnosability with an abstract model.... Reliable and informative alarm processing is important for improving the situational awareness of operators of electricity networks and other complex systems. Earlier approaches to alarm processing have been predominantly syntactic, based on text-level ... Reliable and informative alarm processing is important for improving the situational awareness of operators of electricity networks and other complex systems. Earlier approaches to alarm processing have been predominantly syntactic, based on text-level ... We formulate DES diagnosis as the problem of finding preferred candidates in a space of hypotheses. This formulation allows us to compute an exhaustive diagnosis by solving a series of simple problems, called “diagnosis tests”, which consist in ... Voting is a simple mechanism to combine together the preferences of multiple agents. Unfortunately, agents may try to manipulate the result by mis-reporting their preferences. One barrier that might exist to such manipulation is computational complexity. ... |