Nedialko S. Nedialkov
Nedialko S. Nedialkov
Verifierad e-postadress på mcmaster.ca - Startsida
Titel
Citeras av
Citeras av
År
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
4331999
Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation.
NS Nedialkov
University of Toronto, 2000
1832000
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
1602001
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
1502008
On Taylor model based integration of ODEs
M Neher, KR Jackson, NS Nedialkov
SIAM Journal on Numerical Analysis 45 (1), 236-262, 2007
1452007
VNODE-LP—a validated solver for initial value problems in ordinary differential equations
NS Nedialkov
Technical Report CAS-06-06-NN, 2006
972006
Interval tools for ODEs and DAEs
NS Nedialkov
12th GAMM-IMACS International Symposium on Scientific Computing, Computer …, 2006
952006
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
942001
Solving differential-algebraic equations by Taylor series (I): Computing Taylor coefficients
NS Nedialkov, JD Pryce
BIT Numerical Mathematics 45 (3), 561-591, 2005
932005
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
881999
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
812011
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
752008
Interval arithmetic, affine arithmetic, Taylor series methods: why, what next?
NS Nedialkov, V Kreinovich, SA Starks
Numerical Algorithms 37 (1-4), 325-336, 2004
602004
Some recent advances in validated methods for IVPs for ODEs
KR Jackson, NS Nedialkov
Applied Numerical Mathematics 42 (1-3), 269-284, 2002
602002
Solving differential-algebraic equations by Taylor series (II): Computing the System Jacobian
NS Nedialkov, JD Pryce
BIT Numerical Mathematics 47 (1), 121-135, 2007
522007
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
502015
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
482011
Implementing a rigorous ODE solver through literate programming
NS Nedialkov
Modeling, Design, and Simulation of Systems with Uncertainties, 3-19, 2011
452011
The design and implementation of an object-oriented validated ODE solver
NS Nedialkov, KR Jackson
442002
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
352002
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20