Follow
Nedialko S. Nedialkov
Nedialko S. Nedialkov
Verified email at mcmaster.ca - Homepage
Title
Cited by
Cited by
Year
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
5091999
Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation.
NS Nedialkov
University of Toronto, 1999
2091999
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
1922001
On Taylor model based integration of ODEs
M Neher, KR Jackson, NS Nedialkov
SIAM Journal on Numerical Analysis 45 (1), 236-262, 2007
1712007
Interval tools for ODEs and DAEs
NS Nedialkov
12th GAMM-IMACS International Symposium on Scientific Computing, Computer …, 2006
1382006
Solving differential-algebraic equations by Taylor series (I): Computing Taylor coefficients
NS Nedialkov, JD Pryce
BIT Numerical Mathematics 45, 561-591, 2005
1192005
VNODE-LP—a validated solver for initial value problems in ordinary differential equations
NS Nedialkov
Technical Report CAS-06-06-NN, 2006
1132006
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
1052011
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
1051999
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
1032001
Solving differential-algebraic equations by Taylor series (III): The DAETS code
NS Nedialkov, JD Pryce
JNAIAM 3 (1-2), 61-80, 2008
892008
Implementing a rigorous ODE solver through literate programming
NS Nedialkov
Modeling, Design, and Simulation of Systems with Uncertainties, 3-19, 2011
822011
Interval arithmetic, affine arithmetic, Taylor series methods: why, what next?
NS Nedialkov, V Kreinovich, SA Starks
Numerical Algorithms 37, 325-336, 2004
742004
Probabilistic graphical models and deep belief networks for prognosis of breast cancer
M Khademi, NS Nedialkov
2015 IEEE 14th International Conference on Machine Learning and Applications …, 2015
712015
Some recent advances in validated methods for IVPs for ODEs
KR Jackson, NS Nedialkov
Applied Numerical Mathematics 42 (1-3), 269-284, 2002
712002
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
652015
Solving differential-algebraic equations by Taylor series (II): Computing the System Jacobian
NS Nedialkov, JD Pryce
BIT Numerical Mathematics 47, 121-135, 2007
632007
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
612011
The design and implementation of an object-oriented validated ODE solver
NS Nedialkov, KR Jackson
Draft, available via http://www. cas. mcmaster. ca/~ nedialk, 2002
482002
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
432002
The system can't perform the operation now. Try again later.
Articles 1–20