The following pages link to ValEncIA-IVP (Q17003):
Displaying 29 items.
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (Q254170) (← links)
- Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics (Q357174) (← links)
- Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis (Q368576) (← links)
- Interval bounds on the solutions of semi-explicit index-one DAEs. II: Computation (Q368577) (← links)
- VERICOMP: A system to compare and assess verified IVP solvers (Q411437) (← links)
- Sensitivity-based feedforward and feedback control for uncertain systems (Q411442) (← links)
- Interval methods for real-time capable robust control of solid oxide fuel cell systems (Q475452) (← links)
- Error bounds for initial value problems by optimization (Q889871) (← links)
- Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties (Q967863) (← links)
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (Q1733758) (← links)
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
- Recent advances in a rigorous computation of Poincaré maps (Q2137186) (← links)
- Lie symmetries applied to interval integration (Q2166013) (← links)
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB (Q2291993) (← links)
- On reachable set estimation of singular systems (Q2342764) (← links)
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis (Q2346283) (← links)
- Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs (Q2351531) (← links)
- Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics. II (Q2391527) (← links)
- <i>Parameter identification and observer-based control for distributed heating systems</i>– the basis for temperature control of solid oxide fuel cell stacks (Q2855702) (← links)
- An unconditionally stable nonstandard finite difference method applied to a mathematical model of HIV infection (Q2872869) (← links)
- Verification methods: rigorous results using floating-point arithmetic (Q2890535) (← links)
- A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP (Q2930553) (← links)
- Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties (Q2930557) (← links)
- Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems (Q2930559) (← links)
- Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems (Q2930566) (← links)
- Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering (Q2958621) (← links)
- Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamical Systems with Uncertainties (Q3006991) (← links)
- Interval and linear matrix inequality techniques for reliable control of linear continuous-time cooperative systems with applications to heat transfer (Q3386578) (← links)
- A verified method for solving piecewise smooth initial value problems (Q5409747) (← links)
