Emmanuel Benazera

Runtime Decision Sampling and Branch Utility Re-Evaluation in the Robust Execution of Contingent Plans (2008)

Emmanuel Benazera, Monte Carlo Simulation

Abstract — Current planning algorithms have difficulty handling the complexity that is due to an increase in domain uncertainty, and especially in the case of multi-dimensional continuous spaces....

Towards Collaborative Searching over an Overlay Network (2006)

Emmanuel Benazera

There is a certain frustration in the searching the web these days. True, simple web interfaces let users search through a prescanned massive portion of the whole webshere and return results in...

Stochastic oversubscription planning using hierarchies of MDPs (2006)

Nicolas Meuleau, Ronen Brafman, Emmanuel Benazera

In over-subscription planning (OSP), the set of goals is not achievable jointly, and the task is to find a plan that attains the best feasible subset of goals given resource constraints. Recent...

An AO* Algorithm for Planning with Continuous Resources (2005)

Emmanuel Benazera, Ronen Brafman, Nicolas Meuleau

We consider the problem of optimal planning in stochastic domains with resource constraints, where resources are continuous and the choice of action at each step may depend on the current resource...

Combining Particle Filters and Consistency-based Approaches for Monitoring and (2004)

Sriram Narasimhan, Richard Dearden, Emmanuel Benazera

Abstract. Fault detection and isolation are critical tasks to ensure correct operation of systems. When we consider stochastic hybrid systems, diagnosis algorithms need to track both the discrete...

State Tracking of Uncertain Hybrid Concurrent Systems (2002)

Benazera, Emmanuel, Trave-Massuyes, Louise, Dague, Philippe

In this paper we propose a component-based hybrid formalism, that represents physical phenomena by combining concurrent automata with continuous uncertain dynamic models. The formalism eases the...

State tracking of uncertain hybrid concurrent systems (2002)

Emmanuel Benazera, Louise Travé-massuyès

Abstract. In this paper we propose a component-based hybrid formalism, that represents physical phenomena by combining concurrent automata with continuous uncertain dynamic models. The formalism...