Scope & Topics

SWIM aims at gathering researchers working on/with interval methods and their applications. The goal is to review the state-of-the-art in this field. Contributions can be for example in the domain of 

  • Verification and Validation
  • Robust and Nonlinear Control Systems
  • State Estimation
  • Interval Observer Design
  • Parameter Identification
  • Fault Detection and Diagnosis, Fault Tolerant Systems
  • Stability, Reachability, Observability
  • Reliable Software Design
  • Robotics
  • Mathematics
  • Verified Solution of Algebraic and Dynamic System Models
  • Verified Numerics and Scientific Computing
  • Linear Algebra
  • and any other applications of interval methods, verified numerics, and other related set-membership techniques (e.g.: affine arithmetics, polytopes, etc.)