10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory

June 14th, 15th and 16th 2017.

This year, the 10th edition of SWIM and the 3rd edition of SMART will be held together at Manchester. In this way Manchester becomes a hub for both research communities.

About SWIM

The goal of SWIM is to bring together researchers and practitioners working on interval methods and their applications, in the broader sense, providing a forum to review and discuss the state-of-the-art in this area and fostering cross-fertilization between different approaches.

The previous editions of SWIM were held in

  • Lyon, France in 2016
  • Prague, Czech Republic in 2015
  • Uppsala, Sweden in 2014
  • Brest, France in 2013
  • Oldenburg, Germany in 2012
  • Bourges, France in 2011
  • Nantes, France in 2010
  • Lausanne, France in 2009
  • Montpellier, France in 2008

The workshop was initiated by the French MEA working group on Set Computation and Interval Techniques of the French research group on Automatic Control GDR MACS. The MEA group aims at promoting interval analysis techniques and applications.


Set-membership techniques and related interval methods are computational methods that can perform, in a natural way, nonlinear computations with sets of real numbers. They are at the core of guaranteed system solving methods that can prove the existence of a solution and, if the latter is not unique, compute the set of all solutions while taking into account all sources of uncertainty. These methods have direct applicability to a broad range of scientific areas from engineering, to financial and medical domains. The goal of SMART is to bring ‌‌together researchers working on set-membership techniques and related interval analysis methods, and interested in both fundamental and applied research. 

‌The SMART symposium was initiated by the Aerospace Research Institute from the University of Manchester, UK together with French MEA working group on Set Computation and Interval Techniques of the French research group on Automatic Control GDR MACS.


Topics include, but are not limited to:

          • Constraint programming and global optimisation

         • Computer aided proofs

         • Verification

         • Mathematics

         • Robotics and autonomous systems

         • Control

         • System identification

         • Estimation

         • Fault diagnosis and fault tolerant control

         • Stability analysis

         • Reachability

         • Data analysis

         • Implementation


Symposium Venue:

The University of Manchester, Faculty of Science and Engineering, room C53, Sackville Street Building, Manchester, M1 3BU, UK.


The attendance and participation in the workshop are FREE. However, it is required for you to register by sending an email to swim-smart-2017@manchester.ac.uk using the prefix "REGISTRATION - Name " in the subject of the email.

Abstract submission

If you would like to participate at SWIM-SMART 2017, please send us your abstract. The abstract should not be longer than 4 pages (2 pages are ideal). We kindly ask you to use the LaTeX template that can be found here.

To send an abstract, use the workshop email swim-smart-2017@manchester.ac.uk

All presentations and slides need to be in English; the presentation slides will be made with your kind permission available online after the workshop.

Deadline for abstract is 8th of May 2017.

Due to public demand, the deadline for abstract has been extended to May 26. 

SWIM-SMART 2017 Proceedings and Special Issue

Accepted papers will be given guidelines in preparing and submitting the final manuscript(s) together with the notification of acceptance. Authors of accepted papers, or at least one of them, are requested to register and present their work at the workshop, otherwise their papers will be removed from the digital library after the symposium.

A special issue devoted to full papers of talks presented at SWIM-SMART 2017 will be released on Set-Membership Techniques and Their Applications in Transactions of the Institute of Measurements and Control (TIMC). After SWIM-SMART 2017, authors of the best papers presented will be invited to extend and re-submit their work to be considered for inclusion in the aforementioned special issue. 

Information about submission, format and other matters will be available soon in this section.

SWIM-SMART 2017 Programme

Here you can find the link for downloading the programme in PDF file.


If you experience any inconviciene, here is an alternative download link: 

Alternative download link 


Any enquiries, please contact us.

Videos and presentations

Here you can find the presentations used in the SWIM- SMART 2017.

For the moment, the videos taken during the conference are under edition, and they will be posted as soon as possible.

  • Day 1 - June 14th

    Opening Session
    Title Authors Video Presentacion
    Welcome to Manchester Constantinos Soutis Watch   Download
    Special Issue in TIMC: Set-Membership Techniques and Their Applications Zhengtao Ding Watch  Download


    Session 1: Mathematics 1   
    Title Authors Video Presentacion
    Rigorous Function Calculi for Hybrid Systems and Beyond Pieter Collins, Davide Bresolin, Luca Geretti and Tiziano Villa Watch  Download
    Generation of Test matrices with Specified Eigenvalues Katsuhisa Ozaki and Takeshi Ogita Watch  Download


    Session 2: Mathematics 2   
    Title Authors Video


    Accurate Numerical Solutions of Linear Systems Ryota Ochiai, Takeshi Terao and Katsuhisa Ozaki Watch Download
    Fast verification methods for proving non-singularity of matrices Takeshi Terao and Katsuhisa Ozaki Watch  Download


    Session 3: Implementation   
    Title Authors Video Presentacion
    Interval-based QuickXplain Algorithm Adrien Bisutti, Julien Alexandre dit Sandretto, Alexandre Chapoutot, and Rémi Delmas Watch Download
    Extending interval and zonotopic set computation to polytopic set computation for nonlinear discrete-time systems Jian Wan Watch Download


    Session 4: Control Systems 1   
    Title Authors Video Presentacion
    Interval-Based Techniques for Variable-Structure and Backstepping Control of Nonlinear Multi-Input Multi-Output Systems Andreas Rauh, Julia Kersten, and Harald Aschemann Watch Download
    Observer-based state feedback for a class of interval Model: Application to multi-Dof micro-positioning system Mounir Hammouche, Philippe Lutz and Micky Rakotondrabe N/A N/A
    Interval Methods for Robust Gain Scheduling Controllers Julia Kersten, Andreas Rauh and Harald Aschemann Watch Download


    Session 5: Robotics and Autonomous Systems 1   
    Title Authors Video Presentacion
    BoxRRT* - A Reliable Motion Planner Adina M. Panchea, Alexandre Chapoutot and David Filliat Watch Download
    Vision based Pose domain characterization of an Unmanned Aerial Vehicle using Interval Analysis Ide-Flore Kenmogne, Vincent Drevelle and Eric Marchand Watch Download
  • Day 2 - June 15th

    Session 6: Neural Networks
    Title Authors Video Presentation
    Interval Methods for Resolving Neural Computation Issues S. P. Adam, D. A. Karras, M. D. Magoulas and M. N. Vrahatis Watch   N/A 


    Session 7: Control Systems 2
    Title Authors Video Presentation
    Tight interval state estimator based on output set-inversions Nacim Meslem and Nacim Ramdani Watch   N/A 
    A bounded-error quaternion-based attitude estimation approach Nacim Ramdani and Sylvain Miossec Watch  N/A 


    Session 8: Robotics and Autonomous Systems 2
    Title Authors Video Presentation
    An Interval Approach to Multiple UAV Collision Avoidance James A. Douthwaite, Allan De Freitas and Lyudmila S. Mihaylova Watch  N/A 
    Robust Motion Planning Based on Sliding Horizon and Validated Simulation Elliot Brendel, Julien Alexandre dit Sandretto, and Alexandre Chapoutot Watch  Download


    Session 9: Stability and Viability Theory
    Title Authors Video Presentation
    Contractor Based Viability Algorithms Stéphane Le Ménec Watch   Download
    Eulerian state estimation Thomas Le Mézo, Luc Jaulin and Benoıt Zerr Watch  Download


    Session 10: Control Systems 3
    Title Authors Video Presentation
    Nonlinear Optimal Control via Occupation Measures and Interval Analysis Nicolas Delanoue, Sébastien Lagrange  and Mehdi Lhommeau Watch  Download
    The Box Regularized Particle Filter: A probabilistic set-membership observer Nicolas Merlinge, Karim Dahia, Hélene Piet-Lahanier, James Brusey, Nadjim Horri Watch  Download
    Extended Quantified Set Inversion Algorithm with Applications to Control Pau Herrero and Miguel A. Sainz Watch   Download


    Session 11: Robotics and Autonomous Systems 3
    Title Authors Video Presentation
    Localization for Group of Robots using Matrix Contractors Nisha Rani Mahato, Luc Jaulin and Snehashish Chakaverty Watch  Download
    Bandwidth efficient concurrent ranging and communication for localisation in underwater acoustic networks Jan Sliwka, Andrea Munafo, Roberto Petroccia Watch  Download


    Session 12: Applications      
    Title Authors Video Presentation
    Comparison between Particle Filter and Interval Analysis for Wind Farm Targets Detection by Multistatic Radar System Waleed al Mashhadani Watch  Download



  • Day 3 - June 16th

    Title Authors Video Presentation
    Interval vs Set-membership Approaches: Application to State/Parameter Estimation and Fault Detection Professor Vicenç Puig, Polytechnic University of Catalonia, Barcelona, Spain Watch Download


    Session 13: Image Processing   
    Title Authors Video Presentation
    Interval-state cellular automata and their applications to image segmentation Irina Voiculescu, Imre Boros, Nicolae Popovici, Laura Diosan and Anca Andreica Watch  Download
    Primitive shapes recognition using interval methods Salvador Pacheco Watch  Download


    Session 14: Fault Diagnosis and Fault Tolerant Control   
    Title Authors Video Presentation
    Set-membership functional diagnosability through linear functional independence Carine Jauberthie, Nathalie Verdiere, Louise Travé-Massuyes Watch   N/A  
    Examples on Verified Diagnosis of Safety Critical Dynamic Systems Based on Kaucher Interval Arithmetik Stefan Schwab, Oliver Stark and Soeren Hohmann Watch   Download
    Fault Tolerant Control using Viability Theory Vicenç Puig, Majid Ghaniee Zarch and Javad Poshtan Watch  Download


    Session 15: Robotics and Autonomous Systems 4   
    Title Authors Video Presentation
    Improving Guaranteed Coverage Assessment of a Robotic Survey in the Translation Invariant Case Vincent Drevelle Watch  Download
    Guaranteed SLAM - An Interval Approach Mohamed Mustafa, Eduard Codres, Nicolas Delanoue, and Alexandru Stancu Watch   Download


    Session 16: Stability and Viability Theory 2   
    Title Authors Video Presentation
    A new method for computing an inner and outer approximation for guaranteed integration with uncertain initial conditions Alexandru Stancu, Eduard Codres, Mario Martinez Guerrero and Vicenç Puig, Watch   Download
    Computing an Inner Approximation of the Viability Kernel using capture tubes Eduard Codres, Joaquim Blesa, Mario Martinez, and Alexandu Stancu Watch  Download
  • Organisation and Contact

    SWIM-SMART 2017 is organized by 

    Prof Luc Jaulin, ENSTA Bretagne, France 

    Prof Nacim Ramdani, Université d'Orléans, France 

    Dr Alexandru Stancu, The University of Manchester, UK

    Prof Constantinos Soutis, The University of Manchester, UK

    Dr Zhengtao Ding, The University of Manchester, UK

    Dr Adam Joesbury, The University of Manchester, UK

    Dr Salvador Pacheco-Gutierrez, The University of Manchester, UK

    Dr Mohamed Mustafa, The University of Manchester, UK

    Mrs Claire Taylor, The University of Manchester, UK


    SWIM-SMART 2017 is hosted by The University of Manchester, UK.

    ▲ Up to the top