scientific article; zbMATH DE number 1440924
From MaRDI portal
Publication:4949367
Cited in
(26)- Abstract Interpretation of the Physical Inputs of Embedded Programs
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- Interval methods for optimal control
- Sparse regression Chebyshev polynomial interval method for nonlinear dynamic systems under uncertainty
- Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties
- Efficient polyhedral enclosures for the reachable set of nonlinear control systems
- Robust fault detection with a distributed and decentralized state-set observer
- Uncertain method for optimal control problems with uncertainties using Chebyshev inclusion functions
- Exponential enclosure techniques for initial value problems with multiple conjugate complex eigenvalues
- Recent advances in a rigorous computation of Poincaré maps
- Interval modeling of dynamics for multibody systems
- On multistep interval methods for solving the initial value problem
- Reduction of overestimation in interval arithmetic simulation of biological wastewater treatment processes
- Interval analysis: Theory and applications
- A survey of shadowing methods for numerical solutions of ordinary differential equations
- Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information
- Set membership state and parameter estimation for systems described by nonlinear differential equations
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- Interval observer design for consistency checks of nonlinear continuous-time systems
- Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
- An algorithm for computing a neighborhood included in the attraction domain of an asymptotically stable point
- Validated solutions of initial value problems for parametric ODEs
- Computing reachable sets for uncertain nonlinear monotone systems
- Rigorous parameter reconstruction for differential equations with noisy data
- Some recent advances in validated methods for IVPs for ODEs
- SmartMOBILE and its applications to guaranteed modeling and simulation of mechanical systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4949367)
