Allez au contenu, Allez à la navigation

.

RSS

Cedric Pralet

Contact


    Cédric Pralet
    ONERA (the French Aerospace Lab)
    Systems Control and Flight Dynamics Department (DCSD)
    Decision and Control Team
    2 av. Edouard Belin, 31400 Toulouse, France
    cedric[dot]pralet[at]onera[dot]fr

 

General research interests:

  • constraint programming
  • automated AI planning and scheduling
  • combinatorial optimization
  • local search techniques (constraint-based local search)
  • discrete-event dynamic systems
  • sequential decision making under uncertainty
  • graphical models for knowledge representation
  • space and aeronautics applications, especially planning and scheduling for satellites

 

Publications

2016


 

2015


 

2014


 

2013


 

  • Un cadre de modélisation à base de chronogrammes, d'évènements et de contraintes pour la planification et l'ordonnancement.
    G. Verfaillie, C. Pralet.
    Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA-13), Lille, France, 2013.

  • Application showcase: a generic constraint-based local search library for the management of an electromagnetic surveillance space mission.
    C. Pralet, G. Infantes, G. Verfaillie.
    Proc. of the ICAPS-13 Application showcase, Rome, Italy, 2013.

  • Compilation de CSPs : carte de complexité des MDDs non-déterministes.
    J. Amilhastre, H. Fargier, A. Niveau, C. Pralet.
    Actes des 9èmes Journées Francophones de Programmation par Contraintes (JFPC-13), Aix-en-Provence, France, 2013.

2012


 

  • Time-Dependent Simple Temporal Networks.
    C. Pralet, G. Verfaillie.
    Proc. of the 18th International Conference on Principle and Practice of Constraint Programming (CP-12), Québec City, Canada, 2012.

  • Combining Static and Dynamic Models for Boosting Forward Planning.
    C. Pralet, G. Verfaillie.
    Proc. of the 9th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimisation Problems (CPAIOR-12), Nantes, France, 2012.

     

  • Synthesis of Plans or Policies for Controlling Dynamic Systems.
    G. Verfaillie, C. Pralet, V. Vidal, F. Teichteil-Königsbuch, G. Infantes, Ch. Lesire.
    Aerospace Lab, vol. 4, 2012.

  • Réseaux temporels simples étendus - Application à la gestion de satellites agiles.
    C. Pralet, G. Verfaillie.
    Actes des 8èmes Journées Francophones de Programmation par Contraintes (JFPC-12), Toulouse, France, 2012.

  • Au delà des QCSP pour résoudre des problèmes de contrôle.
    C. Pralet, G. Verfaillie.
    Actes des 8èmes Journées Francophones de Programmation par Contraintes (JFPC-12), Toulouse, France, 2012.

  • Compilation de CSP en Set-labeled Diagram.
    A. Niveau, H. Fargier, C. Pralet
    .

    Actes des 8èmes Journées Francophones de Programmation par Contraintes (JFPC-12), Toulouse, France, 2012.

2011


 

  • Representing CSPs with set-labeled diagrams: a compilation map.
    A. Niveau, H. Fargier, C. Pralet.
    In 2nd IJCAI International Workshop on Graph Structures for Knowledge Representation and Reasoning (GRK-11), Barcelona, Spain, 2011.

  • Programmation par contraintes pour la synthèse de contrôleur.
    C. Pralet, G. Verfaillie.
    Actes des 7èmes Journées Francophones de Programmation par Contraintes (JFPC-11), 317-326, Lyon, France, 2011.

  • Combinaison entre recherche en avant et optimisation combinatoire pour la planification déterministe.
    C. Pralet, G. Verfaillie.
    Journées Francophones de Planification, Décision et Apprentissage pour la conduite de systèmes (JFPDA-11), Rouen, France, 2011.

2010


 

  • Approche à base de contraintes pour la synthèse de contrôleur en environnement non déterministe et partiellement observable.
    C. Pralet, G. Verfaillie, M. Lemaître, G. Infantes.
    Journées Francophones de Planification, Décision et Apprentissage pour la conduite de systèmes (JFPDA-10), Besançon, France, 2010.

  • Compilation de connaissances avec automates à intervalles et applications à la planification.
    A. Niveau, H. Fargier, C. Pralet, G. Verfaillie.
    Journées Francophones de Planification, Décision et Apprentissage pour la conduite de systèmes (JFPDA-10), Besançon, France, 2010.

2009


 

  • Using interval automata to represent decision policies with continuous variables.
    A. Niveau, H.Fargier, C. Pralet, G. Verfaillie.
    Proc. of the Doctoral Consortium of the 19th International Conference on Automated Planning and Scheduling (ICAPS-09), Thessaloniki, Greece, 2009.

  • Constraint network on timelines for planning and scheduling.
    C. Pralet, G. Verfaillie.
    Journées Francophones de Planification, Décision et Apprentissage pour la conduite de systèmes (JFPDA-09), Paris, France, 2009.

2008


 

  • How to model planning and scheduling problems using timelines.
    G. Verfaillie, C. Pralet.
    In COPLAS-08 (CP/ICAPS 2008 Joint Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems), Sydney, Australia, 2008.

  • Utiliser des chronogrammes pour modéliser des problèmes de planification et d'ordonnancement.
    G. Verfaillie, C. Pralet.
    Actes des Journées Francophones de Planification, Décision et Apprentissage pour la conduite de systèmes (JFPDA-08), 13-22, Metz, France, 2008.

2007


 

  • Constraint-Based Modelling of Discrete Event Dynamic Systems.
    G. Verfaillie, C. Pralet, M. Lemaître.
    In COPLAS-07 (CP/ICAPS 2007 Joint Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems), Providence, Rhode Island, USA, 2007.

  • Chronogrammes et contraintes pour la modélisation de systèmes dynamiques à événements discrets.
    G. Verfaillie, C. Pralet, M. Lemaître.
    Actes des Journées Formalisation d'Activités Concurrentes (FAC-07), Toulouse, France, 2007.

  • Modélisation à base de contraintes de systèmes dynamiques à événements discrets.
    G. Verfaillie, C. Pralet, M. Lemaître.
    Actes des 3èmes Journées Francophones de Programmation par Contraintes (JFPC-07), 261-270, Rocquencourt, France, 2007.

2006


 

  • Décision avec incertitudes, faisabilités et utilités: vers un cadre algébrique unifié.
    C. Pralet, G. Verfaillie, T. Schiex.
    Actes des Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA-06), Toulouse, France, 2006.

  • Une nouvelle architecture de calcul pour résoudre des diagrammes d'influence.
    C. Pralet, T. Schiex, G. Verfaillie.
    Actes des Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA-06), Toulouse, France, 2006.

2005


 

  • Réseaux de croyance-faisabilité-désir.
    C. Pralet, G. Verfaillie, T. Schiex.
    Colloque des doctorants de l'Ecole Doctorale Informatique et Télécommunications, Toulouse, France, 2005.

  • The basic ingredients of a constraint-based framework for decision-making under uncertainty.
    G. Verfaillie, C. Pralet.
    Proc. of the CP-05 International Workshop on "Constraint solving under Change and Uncertainty", Sitges, Spain, 2005.

  • Composite graphical models for reasoning about uncertainties, feasibilities, and utilities.
    C. Pralet, G. Verfaillie, T. Schiex.
    Proc. of the CP-05 international workshop on "Preferences and soft constraints", Sitges, Spain, 2005.

  • Requêtes complexes sur des réseaux de croyance-faisabilité-désir.
    C. Pralet, G. Verfaillie, T. Schiex.
    Actes des Journées Francophones de Programmation par Contraintes (JFPC-05), Lens, France, 2005.

2004


 

  • Belief and desire networks for answering complex queries.
    C. Pralet, Verfailllie, G., T. Schiex.
    Proc. of the CP-04 Workshop on "Constraint solving under change and uncertainty", Toronto, Canada, 2004.

  • Un voyage dans le monde des recherches locales dans l'espace des affectations partielles.
    C. Pralet, G. Verfaillie.
    Actes des Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets (JNPC-04), 299-313, Angers, France, 2004.

2003


 

  • Résolution de problèmes de satisfaction de contraintes, combinaison des méthodes de recherche locale et de propagation de contraintes.
    C. Pralet.
    Rapport de DEA, 2003.