1 / 5

INTCP '06

Interval Analysis Constraint Propagation Applications. INTCP '06. Organizers : Christophe Jermann, Yahia Lebbah, Djamila Sam-Haroud Committee : Pedro Barahona, Martine Ceberio, David Daney, Luc Jaulin, Stefan Ratschan, Nick Sahinidis, Josep Vehi. Program. Session 1

delora
Download Presentation

INTCP '06

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Interval AnalysisConstraint Propagation Applications INTCP'06 Organizers : Christophe Jermann, Yahia Lebbah, Djamila Sam-Haroud Committee : Pedro Barahona, Martine Ceberio, David Daney, Luc Jaulin, Stefan Ratschan, Nick Sahinidis, Josep Vehi

  2. Program Session 1 8:50 Attraction domain of a non-linear system using interval analysisNicolas Delanoue, Luc Jaulin, Betrand Cottenceau 9:10 Test of injectivity via interval analysisSébastien Lagrange, Nicolas Delanoue, Luc Jaulin 9:30 A note on some multivariate relaxations in global optimizationRouba Baroudi, Yahia Lebbah 9:50 Constructive interval disjunctionGilles Trombettoni, Gilles Chabert 10:10 Intelligent splitting for disjunctive numerical CSPsThomas Douillard, Christophe Jermann, Frédéric Benhamou Coffee break (10:30 - 11:00) Session 2 11:00 An interval-based approximation method for discrete changes in hybrid ccDaisuke Ishii, Kazunori Ueda, Hiroshi Hosobe 11:20 Computing inner approximations of numerical MaxCSPMarc Christie, Jean-Marie Normand, Charlotte Truchet 11:40 Combining CP and interval methods for solving the direct kinematic of a parallel robot under uncertaintiesCarlos Grandon, David Daney, Yves Papegay 12:00 Modeling and solving of a radio antennas deployment support application with discrete and interval constraintsMichael Heusch Discussion on the goal of IntCP (ready your questions/remarks !)

  3. Post-workshop events • Proceedings online • Slides online • Official post-proceedings (all CP workshops) by Hermes Science (selection of best full papers)

  4. Discussion • Some trends in this edition: • Problems: MaxCSP, disjunctions, HybridCC, … • Algorithms: constructive disjunction, relaxations, … • Applications: robotics, antennas deployment, … • Other hot topics: • Problems: • discrete/continuous state systems (ODEs, PDEs, …) • diversity of objectives : decision, all solutions, representative solutions, best solution(s) w.r.t. one(several) criterion(a) • Algorithms: combination of solvers SAT-CSP-NCSP-Math • Applications : model checking, … • Representative of research directions? • Ultimate goal(s) of IntCP? • Applications VS Theory/Algorithms • Needs VS Characteristics (completeness, correctness, …)

  5. Conclusion Thanks everyone ! See you in 2007 !

More Related