1

Interval modeling of dynamics for multibody systems

Year:
2007
Language:
english
File:
PDF, 208 KB
english, 2007
4

Sensitivity-based feedforward and feedback control for uncertain systems

Year:
2012
Language:
english
File:
PDF, 1.08 MB
english, 2012
6

VERICOMP: a system to compare and assess verified IVP solvers

Year:
2012
Language:
english
File:
PDF, 264 KB
english, 2012
7

A verified realization of a Dempster–Shafer based fault tree analysis

Year:
2012
Language:
english
File:
PDF, 351 KB
english, 2012
14

Modeling, Design, and Simulation of Systems with Uncertainties ||

Year:
2011
Language:
english
File:
PDF, 9.12 MB
english, 2011