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...
Elmentve itt :
| Szerzők: | |
|---|---|
| Testületi szerző: | |
| 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: | |
| doi: | 10.14232/actacyb.290904 |
| Online Access: | http://acta.bibl.u-szeged.hu/75629 |
| LEADER | 02051nab a2200265 i 4500 | ||
|---|---|---|---|
| 001 | acta75629 | ||
| 005 | 20220513100230.0 | ||
| 008 | 220513s2022 hu o 0|| eng d | ||
| 022 | |a 0324-721X | ||
| 024 | 7 | |a 10.14232/actacyb.290904 |2 doi | |
| 040 | |a SZTE Egyetemi Kiadványok Repozitórium |b hun | ||
| 041 | |a eng | ||
| 100 | 1 | |a Rauh Andreas | |
| 245 | 1 | 0 | |a Verified integration of differential equations with discrete delay |h [elektronikus dokumentum] / |c Rauh Andreas |
| 260 | |a University of Szeged, Institute of Informatics |b Szeged |c 2022 | ||
| 300 | |a 677-702 | ||
| 490 | 0 | |a Acta cybernetica |v 25 No. 3 | |
| 520 | 3 | |a 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. | |
| 650 | 4 | |a Természettudományok | |
| 650 | 4 | |a Matematika | |
| 650 | 4 | |a Számítás- és információtudomány | |
| 695 | |a Differenciálegyenlet - késleltetett, Differenciálegyenlet - dinamikus rendszer | ||
| 700 | 0 | 1 | |a Auer Ekaterina |e aut |
| 710 | |a Conference of PhD Students in Computer Science (12.) (2020) (Szeged) | ||
| 856 | 4 | 0 | |u http://acta.bibl.u-szeged.hu/75629/1/cybernetica_025_numb_003_677-702.pdf |z Dokumentum-elérés |