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
5161999
Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation.
NS Nedialkov
University of Toronto, 1999
2121999
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
1962001
On Taylor model based integration of ODEs
M Neher, KR Jackson, NS Nedialkov
SIAM Journal on Numerical Analysis 45 (1), 236-262, 2007
1732007
Interval tools for ODEs and DAEs
NS Nedialkov
12th GAMM-IMACS International Symposium on Scientific Computing, Computer …, 2006
1432006
Solving differential-algebraic equations by Taylor series (I): Computing Taylor coefficients
NS Nedialkov, JD Pryce
BIT Numerical Mathematics 45, 561-591, 2005
1232005
VNODE-LP—a validated solver for initial value problems in ordinary differential equations
NS Nedialkov
Technical Report CAS-06-06-NN, 2006
1202006
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
1062011
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
1031999
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
1012001
Solving differential-algebraic equations by Taylor series (III): The DAETS code
NS Nedialkov, JD Pryce
JNAIAM 3 (1-2), 61-80, 2008
952008
Implementing a rigorous ODE solver through literate programming
NS Nedialkov
Modeling, Design, and Simulation of Systems with Uncertainties, 3-19, 2011
842011
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
812015
Interval arithmetic, affine arithmetic, Taylor series methods: why, what next?
NS Nedialkov, V Kreinovich, SA Starks
Numerical Algorithms 37, 325-336, 2004
762004
Some recent advances in validated methods for IVPs for ODEs
KR Jackson, NS Nedialkov
Applied Numerical Mathematics 42 (1-3), 269-284, 2002
722002
Solving differential-algebraic equations by Taylor series (II): computing the system Jacobian
NS Nedialkov, JD Pryce
BIT Numerical Mathematics 47, 121-135, 2007
662007
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
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
632011
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
492002
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
452002
The system can't perform the operation now. Try again later.
Articles 1–20