External Links

    Journal: Reliable Computing

    Volume 19, Issue 4

    330 -- 350Andreas Rauh, Luise Senkel, Thomas Dötschel, Harald Aschemann, Ekaterina Auer. Numerical Verification and Experimental Validation of Sliding Mode Control Design for Uncertain Thermal SOFC Models
    351 -- 360Vladimir V. Dombrovskii, Elena V. Chausova. Model Predictive Control for Linear Systems with Interval and Stochastic Uncertainties
    361 -- 384Andreas Rauh, Luise Senkel, Julia Kersten, Harald Aschemann. Interval Methods for Sensitivity-Based Model-Predictive Control of Solid Oxide Fuel Cell Systems
    385 -- 397Bartlomiej Jacek Kubica. Excluding Regions Using Sobol Sequences in an Interval Branch-and-Prune Method for Nonlinear Systems
    398 -- 416Sethy Montan, Christophe Denis, Jean Marie Chesneaux, Jean Luc Lamotte. Efficient Matrix Multiplication Based on Discrete Stochastic Arithmetic

    Volume 19, Issue 3

    229 -- 247Dmitry Yu. Nadezhin, Sergei I. Zhilin. JInterval Library: Principles, Development, and Perspectives
    248 -- 260Maxim I. Pushkarev, Sergey A. Gaivoronsky. Maximizing Stability Degree of Control Systems under Interval Uncertainty Using a Coefficient Method
    261 -- 273Luc Jaulin. Outer Approximation of Attractors Using an Interval Quantization
    274 -- 289Boris S. Dobronets, Olga A. Popova. Numerical Probabilistic Analysis under Aleatory and Epistemic Uncertainty
    290 -- 301Anatoly V. Lakeyev. On Unboundedness of Generalized Solution Sets for Interval Linear Systems
    302 -- 317Stefan Kiel, Ekaterina Auer, Andreas Rauh. An Environment for Testing, Verification and Validation of Dynamical Models in the Context of Solid Oxide Fuel Cells
    318 -- 329Alexander Savchenko. Computation of Potential and Attraction Force of an Ellipsoid

    Volume 19, Issue 2

    127 -- 141Atsushi Minamihata, Kouta Sekine, Takeshi Ogita, Shin'ichi Oishi. Fast Verified Solutions of Sparse Linear Systems with H-matrices
    142 -- 155Jaroslav Horácek, Milan Hladík. Computing Enclosures of Overdetermined Interval Linear Systems
    156 -- 175Ekaterina Auer, Stefan Kiel. Uses of Verified Methods for Solving Non-Smooth Initial Value Problems
    176 -- 196Dmitri Yu. Lyudvin, Sergey P. Shary. Testing Implementations of PPS-methods for Interval Linear Systems
    197 -- 214Sergey I. Kumkov, Yuliya V. Mikushina. Interval Approach to Identification of Catalytic Process Parameters
    215 -- 228Anatoly Panyukov, Valentin A. Golodov. Computing Best Possible Pseudo-Solutions to Interval Linear Systems of Equations

    Volume 19, Issue 1

    1 -- 25Stepan Yu. Gatilov. Efficient Angle Summation Algorithm for Point Inclusion Test and Its Robustness
    26 -- 44Elena K. Kostousova. On Boundedness and Unboundedness of Polyhedral Estimates for Reachable Sets of Linear Differential Systems
    45 -- 65Tomoaki Okayama. Error Estimates with Explicit Constants for Sinc Quadrature and Sinc Indefinite Integration over Infinite Intervals
    66 -- 90Andreas Rauh, Ramona Westphal, Harald Aschemann, Ekaterina Auer. Exponential Enclosure Techniques for the Computation of Guaranteed State Enclosures in ValEncIA-IVP
    91 -- 106Nathalie Revol, Philippe Théveny. Parallel Implementation of Interval Matrix Multiplication
    107 -- 119Alexander V. Prolubnikov. An Interval Approach to Pattern Recognition of Numerical Matrices
    120 -- 126Ilya B. Labutin, Irina V. Surodina. Algorithm for Sparse Approximate Inverse Preconditioners in the Conjugate Gradient Method
    runs on