online read us now
Paper list
Number 3 - September 2009
Volume 19 - 2009
- Verified methods for computing Pareto sets: General algorithmic analysis
Boglárka G.-Tóth, Vladik Kreinovich - A novel interval arithmetic approach for solving differential-algebraic equations with VALENCIA-IVP
Andreas Rauh, Michael Brill, Clemens Günther - Interval analysis for certified numerical solution of problems in robotics
Jean-Pierre Merlet - Reliable robust path planning with application to mobile robots
Romain Pepy, Michel Kieffer, Eric Walter - Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamic systems with uncertainties
Andreas Rauh, Johanna Minisini, Eberhard P. Hofer - Nonlinear stabilizing control of an uncertain bioprocess model
Neli Dimitrova, Mikhail Krastanov - Uses of new sensitivity and DAE solving methods in SMARTMOBILE for verified analysis of mechanical systems
Ekaterina Auer, Wolfram Luther - An object-oriented approach to simulating human gait motion based on motion tracking
Martin Tändl, Tobias Stark, Nihat Ercümet Erol, Franz Löer, Andrés Kecskeméthy - Derivation of physically motivated constraints for efficient interval simulations applied to the analysis of uncertain dynamical systems
Mareile Freihold, Eberhard P. Hofer - Verified solution method for population epidemiology models with uncertainty
Joshua A. Enszer, Mark A. Stadtherr