Verified integration of differential equations with discrete delay

QR kód

Verified integration of differential equations with discrete delay

Many dynamic system models in population dynamics, physics and control involve temporally delayed state information in such a way that the evolution of future state trajectories depends not only on the current state as the initial condition but also on some previous state. In technical systems, such...

Teljes leírás

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Rauh Andreas Auer Ekaterina
Testületi szerző:	Conference of PhD Students in Computer Science (12.) (2020) (Szeged)
Dokumentumtípus:	Cikk
Megjelent:	University of Szeged, Institute of Informatics Szeged 2022
Sorozat:	Acta cybernetica 25 No. 3
Kulcsszavak:	Differenciálegyenlet - késleltetett, Differenciálegyenlet - dinamikus rendszer
Tárgyszavak:	Természettudományok Matematika Számítás- és információtudomány
doi:	10.14232/actacyb.290904
Online Access:	http://acta.bibl.u-szeged.hu/75629

Hasonló tételek

Investigation of a delayed differential equation with verified computing technique [abstract] /
Szerző: Bánhelyi Balázs
Megjelent: (2006)

Verified interval enclosure techniques for robust gain scheduling controllers
Szerző: Kersten Julia, et al.
Megjelent: (2020)

From verified parameter identification to the design of interval observers and cooperativity-preserving controllers an experimental case study /
Szerző: Rauh Andreas, et al.
Megjelent: (2020)

Pullback attractor for a nonlocal discrete nonlinear Schrödinger equation with delays
Szerző: Pereira Jardel Morais
Megjelent: (2021)

Positive Solutions of Neutral Delay Differential Equation
Szerző: Péics Hajnalka, et al.
Megjelent: (2002)

Stability and periodicity for differential equations with delay
Szerző: Balázs István
Megjelent: (2020)

Solution manifolds of differential systems with discrete stated-dependent delays are almost graphs
Szerző: Krisztin Tibor, et al.
Megjelent: (2023)

Smoothness issues in differential equations with state-dependent delay
Szerző: Krisztin Tibor, et al.
Megjelent: (2017)

Periodic and bounded solutions of functional differential equations with small delays
Szerző: Fečkan Michal, et al.
Megjelent: (2022)

On oscillation of solutions of scalar delay differential equation in critical case
Szerző: Nesterov Pavel
Megjelent: (2022)

Towards verifiable design patterns [abstract] /
Szerző: Petri Dániel
Megjelent: (2002)

Stability of delay equations
Szerző: Barreira Luis, et al.
Megjelent: (2022)

Periodic Orbits and Global Dynamics for Delay Differential Equations
Szerző: Vas Gabriella
Megjelent: (2011)

Sharp results for oscillation of second-order neutral delay differential equations
Szerző: Bohner Martin, et al.
Megjelent: (2023)

Extending a system with verified components [abstract] /
Szerző: Dávid Ákos, et al.
Megjelent: (2006)

Invariant measures and random attractors of stochastic delay differential equations in Hilbert space
Szerző: Li Shangzhi, et al.
Megjelent: (2022)

Asymptotic inference for linear stochastic differential equations with time delay
Szerző: Benke János Marcell
Megjelent: (2018)

Stability in discrete equations with variable delays
Szerző: Yankson Ernest
Megjelent: (2009)

Preface
Szerző: Auer Ekaterina, et al.
Megjelent: (2020)

On the solution manifold of a differential equation with a delay which has a zero
Szerző: Walther Hans-Otto
Megjelent: (2022)

Lyapunov functionals and practical stability for stochastic differential delay equations with general decay rate
Szerző: Caraballo Tomas, et al.
Megjelent: (2022)

Verified mobile code repository in the intelligent space [abstract] /
Szerző: Tejfel Máté, et al.
Megjelent: (2008)

Parabolic partial differential equations with discrete state-dependent delay Classical solutions and solution manifold /
Szerző: Krisztin Tibor, et al.
Megjelent: (2016)

On the discreteness of the spectrum of a differential equation
Szerző: Titchmarsh Edward Charles
Megjelent: (1950)

On two-step methods for stochastic differential equations
Szerző: Horváth Bokor Rózsa
Megjelent: (1997)

On a class of discrete functions
Szerző: Kovačev Dimiter Stoičkov
Megjelent: (2006)

General products and equational classes of automata
Szerző: Ésik Zoltán, et al.
Megjelent: (1983)

Certain operations with the sets of discrete states
Szerző: Gavrilov M. A.
Megjelent: (1978)

Verified localization of trajectories with prescribed behaviour in the forced damped pendulum
Szerző: Lévai Balázs László
Megjelent: (2012)

A verified computational technique to locate chaotic regions of a Hénon system [abstract] /
Szerző: Bánhelyi Balázs
Megjelent: (2004)

Differentiability in Fréchet spaces and delay differential equations
Szerző: Walther Hans-Otto
Megjelent: (2019)

On ground word problem of term equation systems
Szerző: Vágvölgyi Sándor
Megjelent: (2015)

Confidence-based contractor, propagation and potential clouds for differential equations
Szerző: Alexandre dit Sandretto Julien
Megjelent: (2021)

Verified solution to optimal control problems of elastic rod motion based on the Ritz method
Szerző: Kostin Georgy
Megjelent: (2020)

Half-linear differential equations regular variation, principal solutions, and asymptotic classes /
Szerző: Řehák Pavel
Megjelent: (2023)

Investigating the behaviour of a discrete retrial system
Szerző: Kárász Péter
Megjelent: (2008)

Discrete simulation of distributed systems performance evaluation of a notification channel federation : [abstract] /
Szerző: Hosszú József
Megjelent: (2000)

Preprocessing and discrete tomographic reconstruction in neutron radiography [abstract] /
Szerző: Kiss Zoltán, et al.
Megjelent: (2004)

Third order differential equations with delay
Szerző: Liška Petr
Megjelent: (2015)

Multibody dynamics in natural coordinates through automatic differentiation and high-index DAE solving
Szerző: Pryce John D., et al.
Megjelent: (2020)