Publications

Please find below the list of current publications that have been produced by the team:

  • L. Jaulin (2010). Probabilistic set-membership approach for robust regression. Journal of Statistical Theory and Practice. Vol.4, No.1.
  • M. Konečný and A, Farjudian (2010). Compositional semantics of dataflow networks with query-driven communication of exact values. Journal of Universal Computer Science 16(18), 2010.
  • P. Herrero, L. Jaulin, J. Vehi, M and A. Sainz (2010). Guaranteed Set-point Computation with Application to the Control of a Sailboat. International Journal of Control Automation and Systems. Vol. 8, No 1, pp 1-7.
  • L. Jaulin and G. Chabert (2010). Resolution of nonlinear interval problems using symbolic interval arithmetic. Engineering Applications of Artificial Intelligence. Vol. 23, Issue 6, pp. 1035-1049.
  • M. Konečný and A. Farjudian (2010). Semantics of Query-Driven Communication of Exact Values. Journal of Universal Computer Science 16(18), 2010.
  • L. Jaulin (2011). Set-membership localization with probabilistic errors, Robotics and Autonomous Systems. volume 59, issue 6, pp. 489-495.
  • L. Jaulin (2011). Range-only SLAM with occupancy maps; A set-membership approach. IEEE-TRO. Vol 27, Issue 5, pp 1004-1010.
  • L. Jaulin (2012). Solving set-valued constraint satisfaction problems.Computing. Volume 94, Issue 2, Page 297-311.
  • L. Jaulin and F. Le Bars (2012). An interval approach for stability analysis; Application to sailboat robotics. IEEE Transaction on Robotics, Volume 27, Issue 5.
  • P. Herrero, J. Bondia, C. C.Palerm, J. Vehí, P. Georgiou, N. Oliver and C. Toumazou (2012). A simple robust method for estimating the glucose rate of appearance from mixed meals. Journal of Diabetes Science and Technology, 1st January 2012.
  • P. Herrero, R. Calm, L. Vehí, J. Armengol, P. Georgiou, N. Oliver and C. Tomazou (2012). Robust fault detection system for insulin pump therapy using continuous glucose monitoring. Journal of Diabetes Science and Technology, 1st September 2012.
  • P. Herrero, P. Georgiou, C. Toumazou, B. Delaunay and L. Jaulin (2012). An Efficient Implementation of the SIVIA Algorithm in a High-Level Numerical Programming Language. Reliable Computing, 2012.
  • L. Jaulin (2012). Combining interval analysis with flatness theory for state estimation of sailboat robots. Mathematics in Computer Science. Vol 6, Issue 4, pp 347-359.
  • M. Konecny, W. Taha, J. Duracz, A. Duracz and A. Ames (2013). Enclosing the behavior of a hybrid system up to and beyond a Zeno point. In proceedings of Cyber-Physical Systems, Networks, and Applications (CPSNA), IEEE, 2013.
  • J. Duracz and M. Konečný (2014). Polynomial function intervals for floating-point software verification. Annals of Mathematics and Artificial Intelligence, 2014. 
  • J. Duracz, A. Farjudian, M. Konečný and W Taha (2014). Function Interval Arithmetic. In proceedings of Mathematical Software (ICMS), 2014.
  • L. Jaulin, A. Stancu and B. Desrochers (2014). Inner and outer approximations of probabilistic sets. Second International Conference on Vulnerability and Risk Analysis and Management (ICVRAM2014) & Sixth International Symposium on Uncertainty Modelling and Analysis (ISUMA2014), Liverpool, UK, 13th – 16th July 2014.
  • L. Jaulin (2014). Outer approximation of attractors using an interval quantization. Reliable Computing, vol. 19, pp 261-273.
  • L. Jaulin, J. Ninin, G. Chabert, S. Le Menec, M. Saad, V. Le Doze and A Stancu (2014). Computing capture tubes. 16th International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), Würzburg, Germany, 21st – 26th September 2014.
  • L. Jaulin and B. Desrochers (2014). Introduction to the Algebra of Separators with Application to Path Planning. Engineering Applications of Artificial Intelligence volume 33, pp. 141-147.
  • A. Stancu, L. Jaulin, and A. Bethencourt (2014). Stability analysis for time-dependent nonlinear systems; an interval approach. Submitted to Automatica.
  • M. A. Sainz, J. Armengol, R. Calm, P. Herrero, L. Jorba and J. Vehi (2014). Modal interval analysis. New tools for numerical information. Elsevier, 2014.
  • P. Herrero, B. Delaunay, L. Jaulin, P. Georgiou, N. Oliver and C. Toumazou (2015). Robust set-membership parameter estimation of the glucose minimal model. International Journal of Adaptive Control and Signal Processing, 2015 (In press).
  • M. Mustafa, A. Stancu, E. Codres, S. Pacheco Gutierrez, and L. Jaulin (2015). Rigid Transformation using Interval Analysis for Robot Motion Estimation. The 20th International Conference on Control Systems and Computer Science Bucharest, Romania, 27 – 29 May 2015.
  • A. Stancu, L. Jaulin, and A. Bethencourt (2015). Computing optimal contractors using geometrical transformation. Application to robot localisation. To be submitted to a journal.
  • N. Delanoue and L. Jaulin. Computing optimal validated solutions of initial value problems for Ordinary Differential Equations. To be submitted to a journal.
  • A. Stancu, L. Jaulin, and B. Desrochers (2015). Fault detection in a squad of robots using contractors. To be submitted to a journal.
  • A. Stancu, V. Puig, E. Codres, and L. Jaulin (2015). Fault tolerant control for a differential drive robot. To be submitted to a journal.
▲ Up to the top