The following pages link to (Q4949367):
Displayed 26 items.
- Efficient polyhedral enclosures for the reachable set of nonlinear control systems (Q276023) (← links)
- Set membership state and parameter estimation for systems described by nonlinear differential equations (Q705483) (← links)
- Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information (Q739977) (← links)
- Reduction of overestimation in interval arithmetic simulation of biological wastewater treatment processes (Q861873) (← links)
- On multistep interval methods for solving the initial value problem (Q861876) (← links)
- Interval modeling of dynamics for multibody systems (Q861880) (← links)
- An algorithm for computing a neighborhood included in the attraction domain of an asymptotically stable point (Q907209) (← links)
- Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties (Q967863) (← links)
- Interval observer design for consistency checks of nonlinear continuous-time systems (Q987611) (← links)
- Computing reachable sets for uncertain nonlinear monotone systems (Q988783) (← links)
- Rigorous parameter reconstruction for differential equations with noisy data (Q999062) (← links)
- Interval analysis: Theory and applications (Q1587412) (← links)
- Some recent advances in validated methods for IVPs for ODEs (Q1612462) (← links)
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (Q1733758) (← links)
- A survey of shadowing methods for numerical solutions of ordinary differential equations (Q1772802) (← 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)
- Sparse regression Chebyshev polynomial interval method for nonlinear dynamic systems under uncertainty (Q2294778) (← links)
- Validated solutions of initial value problems for parametric ODEs (Q2643834) (← links)
- Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues (Q2803607) (← links)
- Interval Methods for Optimal Control (Q3407704) (← links)
- SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems (Q3564542) (← links)
- Robust Fault Detection with a Distributed and Decentralized State-Set Observer (Q5054230) (← links)
- Uncertain Method for Optimal Control Problems With Uncertainties Using Chebyshev Inclusion Functions (Q5194897) (← links)
- Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP (Q5302762) (← links)
- Abstract Interpretation of the Physical Inputs of Embedded Programs (Q5452705) (← links)