Nedialko S. Nedialkov

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 8

Top Topics

Structural Analysis

Top Venues

J. Comput. Appl. Math.

ACM Trans. Math. Softw.

Publications

Nedialko S. Nedialkov, John D. Pryce, Lena Scholz
An Energy-Based, Always Index $\leq$ 1 and Structurally Amenable Electrical Circuit Model. SIAM J. Sci. Comput. 44 (4) (2022)
Nedialko S. Nedialkov, John D. Pryce, Lena Scholz
An Energy-based, always Index ≤1 and Structurally Amenable Electrical Circuit Model. CoRR (2021)
John D. Pryce, Nedialko S. Nedialkov
Another Multibody Dynamics in Natural Coordinates through Automatic Differentiation and High-Index DAE Solving. Acta Cybern. 24 (3) (2020)
John M. Ernsthausen, Nedialko S. Nedialkov
Stepsize selection in the rigorous defect control of Taylor series methods. J. Comput. Appl. Math. 368 (2020)
Reza Zolfaghari, Nedialko S. Nedialkov
Structural analysis of linear integral-algebraic equations. J. Comput. Appl. Math. 353 (2019)
John D. Pryce, Nedialko S. Nedialkov, Guangning Tan, Xiao Li
How AD can help solve differential-algebraic equations. Optim. Methods Softw. 33 (4-6) (2018)
Guangning Tan, Nedialko S. Nedialkov, John D. Pryce
Conversion Methods, Block Triangularization, and Structural Analysis of Differential-Algebraic Equation Systems. CoRR (2016)
Guangning Tan, Nedialko S. Nedialkov, John D. Pryce
Conversion Methods for Improving Structural Analysis of Differential-Algebraic Equation Systems. CoRR (2016)
Guangning Tan, Nedialko S. Nedialkov, John D. Pryce
Symbolic-numeric methods for improving structural analysis of differential-algebraic equation systems. CoRR (2015)
Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. Softw. Syst. Model. 14 (1) (2015)
Nedialko S. Nedialkov, John D. Pryce, Guangning Tan
Algorithm 948: DAESA - A Matlab Tool for Structural Analysis of Differential-Algebraic Equations: Software. ACM Trans. Math. Softw. 41 (2) (2015)
Mahmoud Khademi, Nedialko S. Nedialkov
Probabilistic Graphical Models and Deep Belief Networks for Prognosis of Breast Cancer. ICMLA (2015)
John D. Pryce, Nedialko S. Nedialkov, Guangning Tan
DAESA - A Matlab Tool for Structural Analysis of Differential-Algebraic Equations: Theory. ACM Trans. Math. Softw. 41 (2) (2015)
Spencer Smith, Nirmitha Koothoor, Nedialko S. Nedialkov
Document driven certification of computational science and engineering software. SE-HPCCSE@SC (2013)
Andreas Rauh, Christina Dittrich, Harald Aschemann, Nedialko S. Nedialkov, John D. Pryce
A differential-algebraic approach for robust control design and disturbance compensation of finite-dimensional models of heat transfer processes. ICM (2013)
Andreas Rauh, Harald Aschemann, Nedialko S. Nedialkov, John D. Pryce
Uses of differential-algebraic equations for trajectory planning and feedforward control of spatially two-dimensional heat transfer processes. MMAR (2013)
Andreas Rauh, Luise Senkel, Harald Aschemann, Nedialko S. Nedialkov, John D. Pryce
Sensitivity analysis for systems of differential-algebraic equations with applications to predictive control and parameter estimation. CCA (2012)
Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods. SEFM (2011)
Nacim Ramdani, Nedialko S. Nedialkov
Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint propagation techniques. ADHS (2009)
John D. Pryce, George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, Spencer Smith
Second Note on Basic Interval Arithmetic for IEEE754R. Numerical Validation in Current Hardware Architectures (2008)
George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith
Interval Subroutine Library Mission. Reliable Implementation of Real Number Algorithms (2008)
Markus Neher, Kenneth R. Jackson, Nedialko S. Nedialkov
On Taylor Model Based Integration of ODEs. SIAM J. Numer. Anal. 45 (1) (2007)
George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith
Interval Subroutine Library Mission. Reliable Implementation of Real Number Algorithms (2006)
Nedialko S. Nedialkov, Vladik Kreinovich, Scott A. Starks
Interval Arithmetic, Affine Arithmetic, Taylor Series Methods: Why, What Next? Numer. Algorithms 37 (1-4) (2004)
Nedialko S. Nedialkov, Martin von Mohrenschildt
Rigorous simulation of hybrid dynamic systems with symbolic and interval methods. ACC (2002)
Nedialko S. Nedialkov, Kenneth R. Jackson, John D. Pryce
An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE. Reliab. Comput. 7 (6) (2001)
Nedialko S. Nedialkov, Kenneth R. Jackson
An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation. Reliab. Comput. 5 (3) (1999)
Nedialko S. Nedialkov, Kenneth R. Jackson, George F. Corliss
Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comput. 105 (1) (1999)
Nedialko S. Nedialkov, Kenneth R. Jackson
An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation. SCAN (1998)