Rauh Andreas; Auer Ekaterina: Verified integration of differential equations with discrete delay. In: Acta cybernetica, (25) 3. pp. 677-702. (2022)
![[thumbnail of cybernetica_025_numb_003_677-702.pdf]](http://acta.bibl.u-szeged.hu/style/images/fileicons/part.png) |
Cikk, tanulmány, mű
cybernetica_025_numb_003_677-702.pdf Letöltés (879kB) |
Absztrakt (kivonat)
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 phenomena result, for example, from mass transport of incompressible fluids through finitely long pipelines, the transport of combustible material such as coal in power plants via conveyor belts, or information processing delays. Under the assumption of continuous dynamics, the corresponding delays can be treated either as constant and fixed, as uncertain but bounded and fixed, or even as state-dependent. In this paper, we restrict the discussion to the first two classes and provide suggestions on how interval-based verified approaches to solving ordinary differential equations can be extended to encompass such delay differential equations. Three close-to-life examples illustrate the theory.
| Mű típusa: | Cikk, tanulmány, mű |
|---|---|
| Befoglaló folyóirat/kiadvány címe: | Acta cybernetica |
| Dátum: | 2022 |
| Kötet: | 25 |
| Szám: | 3 |
| ISSN: | 0324-721X |
| Oldalak: | pp. 677-702 |
| Nyelv: | angol |
| Kiadó: | University of Szeged, Institute of Informatics |
| Kiadás helye: | Szeged |
| Konferencia neve: | Conference of PhD Students in Computer Science (12.) (2020) (Szeged) |
| Befoglaló mű URL: | http://acta.bibl.u-szeged.hu/75566/ |
| DOI: | 10.14232/actacyb.290904 |
| Kulcsszavak: | Differenciálegyenlet - késleltetett, Differenciálegyenlet - dinamikus rendszer |
| Megjegyzések: | Bibliogr.: p. 699-702. ; ill. ; összefoglalás angol nyelven |
| Szakterület: | 01. Természettudományok 01. Természettudományok > 01.01. Matematika 01. Természettudományok > 01.02. Számítás- és információtudomány |
| Feltöltés dátuma: | 2022. máj. 13. 10:02 |
| Utolsó módosítás: | 2022. máj. 13. 10:02 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/75629 |
 |
Tétel nézet |
