1. Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP;Auer,2008
2. Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems;Freihold;International Journal of Applied Mathematics and Computer Science AMCS,2009
3. Gennat, M. and Tibken, B. (2007). Guaranteed Bounds for Uncertain Systems: Methods Using Linear Lyapunov-like Functions, Differential Inequalities and a Midpoint Method. In CD-Proc. of 12th GAMM-IMACS Intl. Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006. IEEE Computer Society, Duisburg, Germany.
4. Kharkovskaia, T., Efimov, D., Fridman, E., Polyakov, A., and Richard, J.P. (2017). On Design of Interval Observers for Parabolic PDEs. In Proc. of 20th IFAC World Congress. Toulouse, France.
5. Kharkovskaya, T., Efimov, D., Polyakov, A., and Richard, J.P. (2016). Interval Observers for PDEs: Approximation Approach. In Proc. of 10th IFAC Symposium on Nonlinear Control Systems (NOLCOS). Monterey, USA.