Nedialko S. Nedialkov

Orcid: 0000-0001-8697-4428

According to our database1, Nedialko S. Nedialkov authored at least 29 papers between 1999 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
An Energy-Based, Always Index $\leq$ 1 and Structurally Amenable Electrical Circuit Model.
SIAM J. Sci. Comput., August, 2022

2021
An Energy-based, always Index ≤1 and Structurally Amenable Electrical Circuit Model.
CoRR, 2021

2020
Stepsize selection in the rigorous defect control of Taylor series methods.
J. Comput. Appl. Math., 2020

Another Multibody Dynamics in Natural Coordinates through Automatic Differentiation and High-Index DAE Solving.
Acta Cybern., 2020

2019
Structural analysis of linear integral-algebraic equations.
J. Comput. Appl. Math., 2019

2018
How AD can help solve differential-algebraic equations.
Optim. Methods Softw., 2018

2016
Conversion Methods, Block Triangularization, and Structural Analysis of Differential-Algebraic Equation Systems.
CoRR, 2016

Conversion Methods for Improving Structural Analysis of Differential-Algebraic Equation Systems.
CoRR, 2016

2015
DAESA - A Matlab Tool for Structural Analysis of Differential-Algebraic Equations: Theory.
ACM Trans. Math. Softw., 2015

Algorithm 948: DAESA - A Matlab Tool for Structural Analysis of Differential-Algebraic Equations: Software.
ACM Trans. Math. Softw., 2015

Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods.
Softw. Syst. Model., 2015

Symbolic-numeric methods for improving structural analysis of differential-algebraic equation systems.
CoRR, 2015

Probabilistic Graphical Models and Deep Belief Networks for Prognosis of Breast Cancer.
Proceedings of the 14th IEEE International Conference on Machine Learning and Applications, 2015

2013
Document driven certification of computational science and engineering software.
Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, 2013

Uses of differential-algebraic equations for trajectory planning and feedforward control of spatially two-dimensional heat transfer processes.
Proceedings of the 18th International Conference on Methods & Models in Automation & Robotics, 2013

A differential-algebraic approach for robust control design and disturbance compensation of finite-dimensional models of heat transfer processes.
Proceedings of the IEEE International Conference on Mechatronics, 2013

2012
Sensitivity analysis for systems of differential-algebraic equations with applications to predictive control and parameter estimation.
Proceedings of the IEEE International Conference on Control Applications, 2012

2011
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2009
Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint propagation techniques.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008
Second Note on Basic Interval Arithmetic for IEEE754R.
Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008

2007
On Taylor Model Based Integration of ODEs.
SIAM J. Numer. Anal., 2007

2006
Interval Subroutine Library Mission.
Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01., 2006

2004
Interval Arithmetic, Affine Arithmetic, Taylor Series Methods: Why, What Next?
Numer. Algorithms, 2004

2002
Rigorous simulation of hybrid dynamic systems with symbolic and interval methods.
Proceedings of the American Control Conference, 2002

2001
An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE.
Reliab. Comput., 2001

A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations.
Proceedings of the Perspectives on Enclosure Methods, 2001

1999
Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation.
PhD thesis, 1999

An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation.
Reliab. Comput., 1999

Validated solutions of initial value problems for ordinary differential equations.
Appl. Math. Comput., 1999


  Loading...