-
Knowledge compilation for online decision-making : application to the control...
Controlling autonomous systems requires to make decisions depending on current observations and objectives. This involves some tasks that must be executed online--with... -
An Efficient Library for Solving CSP with Local Search
International audience -
A fusion method for creating sub-hourly DNI-based TMY from long-term satellit...
International audience -
Mechanisms of Model Change in Optimization and Inventive Problem Solving Methods
International audience -
Quelles mesures de la non-qualification ?
L'objet de ce chapitre est de s'intéresser à la non-qualification comme catégorie statistique. -
Fixed sound source localization in reverberant environments using a multimicr...
International audience -
Algorithms for irreducible infeasible subset detection in CSP - Application t...
The frequency assignment (FAP) consists in assigning the frequency on the radio links of a network which satisfiesthe electromagnetic interference among the links.... -
Nonlinear state estimation using forward-backward propagation of intervals in...
International audience -
Guaranteed nonlinear estimation using constraint propagation on sets
International audience -
Nonlinear bounded-error state estimation of continuous-time systems
International audience -
Estimation d'état de systèmes non-linéaires à temps continus par une approche...
Cet article illustre l'utilisation de l'analyse par intervalles et des méthodes de propagation de contraintes pour l'estimation de systèmes à temps continu décrit par... -
Eco-innovative design method for process engineering
International audience -
On the Decidability of the Safety Problem for Access Control Policies
An access control system regulates the rights of users to gain access to resources in accordance with a specified policy. The rules in this policy may interact in a... -
Assumption-Commitment Support for CSP Model Checking
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the... -
Optimisation par algorithme génétique sous contraintes
Dans le cadre de la programmation logique par contraintes sur les domaines finis CLP(FD), nous proposons une nouvelle méthode d'optimisation reposant sur un algorithme...
