Nedialko S. Nedialkov
Nedialko S. Nedialkov
Bestätigte E-Mail-Adresse bei mcmaster.ca - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Validated solutions of initial value problems for ordinary differential equations
NS Nedialkov, KR Jackson, GF Corliss
Applied Mathematics and Computation 105 (1), 21-68, 1999
4651999
IEEE standard for floating-point arithmetic
D Zuras, M Cowlishaw, A Aiken, M Applegate, D Bailey, S Bass, ...
IEEE Std 754 (2008), 1-70, 2008
2022008
Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation.
NS Nedialkov
University of Toronto, 2000
1952000
An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
NS Nedialkov, KR Jackson, JD Pryce
Reliable Computing 7 (6), 449-465, 2001
1722001
On Taylor model based integration of ODEs
M Neher, KR Jackson, NS Nedialkov
SIAM Journal on Numerical Analysis 45 (1), 236-262, 2007
1592007
Interval tools for ODEs and DAEs
NS Nedialkov
12th GAMM-IMACS International Symposium on Scientific Computing, Computer …, 2006
1162006
VNODE-LP—a validated solver for initial value problems in ordinary differential equations
NS Nedialkov
Technical Report CAS-06-06-NN, 2006
1052006
Solving differential-algebraic equations by Taylor series (I): Computing Taylor coefficients
NS Nedialkov, JD Pryce
BIT Numerical Mathematics 45 (3), 561-591, 2005
1022005
A new perspective on the wrapping effect in interval methods for initial value problems for ordinary differential equations
NS Nedialkov, KR Jackson
Perspectives on Enclosure Methods, 219-263, 2001
972001
Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
N Ramdani, NS Nedialkov
Nonlinear Analysis: Hybrid Systems 5 (2), 149-162, 2011
912011
An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation
NS Nedialkov, KR Jackson
Reliable Computing 5 (3), 289-310, 1999
891999
Solving differential-algebraic equations by Taylor series (III): The DAETS code
NS Nedialkov, JD Pryce
JNAIAM J. Numer. Anal. Indust. Appl. Math 3, 61-80, 2008
822008
Some recent advances in validated methods for IVPs for ODEs
KR Jackson, NS Nedialkov
Applied Numerical Mathematics 42 (1-3), 269-284, 2002
672002
Interval arithmetic, affine arithmetic, Taylor series methods: why, what next?
NS Nedialkov, V Kreinovich, SA Starks
Numerical Algorithms 37 (1), 325-336, 2004
652004
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods
A Eggers, N Ramdani, NS Nedialkov, M Fränzle
Software & Systems Modeling 14 (1), 121-148, 2015
552015
Implementing a rigorous ODE solver through literate programming
NS Nedialkov
Modeling, Design, and Simulation of Systems with Uncertainties, 3-19, 2011
552011
Solving differential-algebraic equations by Taylor series (II): Computing the System Jacobian
NS Nedialkov, JD Pryce
BIT Numerical Mathematics 47 (1), 121-135, 2007
542007
Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
A Eggers, N Ramdani, N Nedialkov, M Fränzle
International Conference on Software Engineering and Formal Methods, 172-187, 2011
512011
The design and implementation of an object-oriented validated ODE solver
NS Nedialkov, KR Jackson
472002
Rigorous simulation of hybrid dynamic systems with symbolic and interval methods
NS Nedialkov, M Von Mohrenschildt
Proceedings of the 2002 American Control Conference (IEEE Cat. No. CH37301 …, 2002
402002
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20