selected scholarly activity
-
academic article
- Stepsize selection in the rigorous defect control of Taylor series methods. Journal of Computational and Applied Mathematics. 368:112483-112483. 2020
- Another Multibody Dynamics in Natural Coordinates through Automatic Differentiation and High-Index DAE Solving. Acta Cybernetica. 24:315-341. 2020
- Structural analysis of linear integral-algebraic equations. Journal of Computational and Applied Mathematics. 353:243-252. 2019
- How AD can help solve differential-algebraic equations. Optimization Methods and Software. 33:729-749. 2018
- Conversion methods for improving structural analysis of differential-algebraic equation systems. BIT Numerical Mathematics BIT (Copenhagen). 57:845-865. 2017
- On the blunting method in verified integration of ODEs. Reliable Computing. 23:15-34. 2016
- Symbolic-Numeric Methods for Improving Structural Analysis of Differential-Algebraic Equation Systems 2016
- Algorithm 948. ACM Transactions on Mathematical Software. 41:1-14. 2015
- DAESA—A Matlab Tool for Structural Analysis of Differential-Algebraic Equations. ACM Transactions on Mathematical Software. 41:1-20. 2015
- Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. Software and Systems Modeling. 14:121-148. 2015
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques. Nonlinear Analysis: Hybrid Systems. 5:149-162. 2011
- Implementing a Rigorous ODE Solver Through Literate Programming. Mathematical Engineering. 3:3-19. 2011
- Solving differential algebraic equations by taylor series (III): The DAETS code. Journal of Numerical Analysis, Industrial and Applied Mathematics. 3:61-80. 2008
- Solving differential-algebraic equations by Taylor series (II): Computing the System Jacobian. BIT Numerical Mathematics BIT (Copenhagen). 47:121-135. 2007
- On Taylor Model Based Integration of ODEs. SIAM Journal on Numerical Analysis. 45:236-262. 2007
- Solving Differential-Algebraic Equations by Taylor Series (I): Computing Taylor Coefficients. BIT Numerical Mathematics BIT (Copenhagen). 45:561-591. 2005
- Classification of steady solutions of the full kinematic model. Physica D: Nonlinear Phenomena. 198:258-280. 2004
- An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE. Reliable Computing. 7:449-465. 2001
- Validated solutions of initial value problems for ordinary differential equations. Applied Mathematics and Computation. 105:21-68. 1999
- An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation. Reliable Computing. 5:289-310. 1999
- Classification of Steadily Rotating Spiral Waves for the Kinematic Model
- Conversion Methods, Block Triangularization, and Structural Analysis of Differential-Algebraic Equation Systems
- Exploiting Fine Block Triangularization and Quasilinearity in Differential-Algebraic Equation Systems
- Graph theory, irreducibility, and structural analysis of differential-algebraic equation systems
-
conference paper
- Probabilistic Graphical Models and Deep Belief Networks for Prognosis of Breast Cancer. 2015 IEEE 14th International Conference on Machine Learning and Applications (ICMLA). 727-732. 2015
- A Simple Method for Quasilinearity Analysis of DAEs. Springer Proceedings in Mathematics and Statistics. 445-450. 2015
- Exploiting Block Triangular form for Solving DAEs: Reducing the Number of Initial Values. Springer Proceedings in Mathematics and Statistics. 367-373. 2015
- Regularization of nonlinear DAEs based on Structural Analysis. IFAC-PapersOnLine. 298-299. 2015
- A study of the complexity of respiratory signals during wake and sleep. COMPUTATIONAL VISION AND MEDICAL IMAGE PROCESSING IV. 89-92. 2013
- Uses of differential-algebraic equations for trajectory planning and feedforward control of spatially two-dimensional heat transfer processes. 2013 18th International Conference on Methods & Models in Automation & Robotics (MMAR). 155-160. 2013
- A differential-algebraic approach for robust control design and disturbance compensation of finite-dimensional models of heat transfer processes. 2013 IEEE International Conference on Mechatronics (ICM). 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 - SE-HPCCSE '13. 25-32. 2013
- Sensitivity analysis for systems of differential-algebraic equations with applications to predictive control and parameter estimation. Proceedings of the IEEE Conference on Control Applications. 1640-1645. 2012
- Set-Membership Estimation of Hybrid Systems via SAT Modulo ODE*. IFAC Proceedings Volumes (IFAC-PapersOnline). 440-445. 2012
- Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods. Lecture Notes in Computer Science. 172-187. 2011
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint propagation techniques. IFAC Proceedings Volumes (IFAC-PapersOnline). 156-161. 2009
- Interval Subroutine Library Mission. Lecture Notes in Computer Science. 28-43. 2008
- Interval Subroutine Library Mission.. Reliable Implementation of Real Number Algorithms. 28-43. 2008
- Second Note on Basic Interval Arithmetic for IEEE754R.. Numerical Validation in Current Hardware Architectures. 2008
- Interval Tools for ODEs and DAEs. 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006). 4-15. 2006
- Effect of laser drilling on surface and material properties of AlN ceramics. Proceedings of SPIE - The International Society for Optical Engineering. 2005
- Interval Arithmetic, Affine Arithmetic, Taylor Series Methods: Why, What Next?. Numerical Algorithms. 325-336. 2004
- Some recent advances in validated methods for IVPs for ODEs. Applied Numerical Mathematics. 269-284. 2002
- Rigorous simulation of hybrid dynamic systems with symbolic and interval methods. Proceedings of the American Control Conference. 140-147. 2002
- A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations. PERSPECTIVES ON ENCLOSURE METHODS. 219-263. 2001
- ODE Software that Computes Guaranteed Bounds on the Solution. Lecture Notes in Computational Science and Engineering. 197-224. 2000