References in zbMATH (referenced in 24 articles )

Showing results 1 to 20 of 24.
Sorted by year (citations)

1 2 next

  1. Kapela, Tomasz; Wilczak, Daniel; Zgliczyński, Piotr: Recent advances in a rigorous computation of Poincaré maps (2022)
  2. Marciniak, Andrzej; Szyszka, Barbara; Hoffmann, Tomasz: An interval version of the Kuntzmann-Butcher method for solving the initial value problem (2022)
  3. Kapela, Tomasz; Mrozek, Marian; Wilczak, Daniel; Zgliczyński, Piotr: CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (2021)
  4. Beica, Andreea; Feret, Jérôme; Petrov, Tatjana: Tropical abstraction of biochemical reaction networks with guarantees (2020)
  5. Bünger, Florian: A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB (2020)
  6. Marciniak, Andrzej; Jankowska, Malgorzata A.: Interval versions for special kinds of explicit linear multistep methods (2020)
  7. Marciniak, Andrzej; Jankowska, Malgorzata A.: Interval methods of Adams-Bashforth type with variable step sizes (2020)
  8. Skelton, Andrew; Willms, Allan R.: Parameter range reduction from partial data in systems of differential algebraic equations (2020)
  9. Jauberthie, Carine; Denis-Vidal, Lilianne; Li, Qiaochu; Cherfi-Boulanger, Zohra: Optimal input design for parameter estimation in a bounded-error context for nonlinear dynamical systems (2018)
  10. Marciniak, Andrzej; Jankowska, Malgorzata A.: Interval versions of Milne’s multistep methods (2018)
  11. Marciniak, Andrzej; Jankowska, Malgorzata A.; Hoffmann, Tomasz: On interval predictor-corrector methods (2017)
  12. Brauße, Franz; Korovina, Margarita; Müller, Norbert Th.: Towards using exact real arithmetic for initial value problems (2016)
  13. Konečný, Michal; Taha, Walid; Bartha, Ferenc A.; Duracz, Jan; Duracz, Adam; Ames, Aaron D.: Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (2016)
  14. Walawska, Irmina; Wilczak, Daniel: An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (2016)
  15. Ishii, Daisuke; Yonezaki, Naoki; Goldsztejn, Alexandre: Monitoring bounded LTL properties using interval analysis (2015)
  16. Rego, Francisco; De Weerdt, Elwin; van Oort, Eddy; van Kampen, Erik-Jan; Chu, Qiping; Pascoal, António M.: Determination of inner and outer bounds of reachable sets through subpavings (2014)
  17. Walter, Éric: Numerical methods and optimization. A consumer guide (2014)
  18. de Pereda, Diego; Romero-Vivo, Sergio; Bondia, Jorge: On the computation of output bounds on parallel inputs pharmacokinetic models with parametric uncertainty (2013)
  19. Fazal, Qaisra; Neumaier, Arnold: Error bounds for initial value problems by optimization (2013)
  20. Lévai, Balázs L.; Bánhelyi, Balázs: An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum (2013)

1 2 next