W dniach od 2 kwietnia do 5 kwietnia 2024 r. prowadzone będą prace związane z wdrożeniem nowej wersji systemu Repozytorium UJ. Nie będzie możliwe wprowadzanie nowych informacji do repozytorium. Za utrudnienia przepraszamy.
We describe a Lohner-type algorithm for the computation of rigorous upper bounds for reachable set for control systems, solutions of ordinary differential inclusions and perturbations of ODEs.
słowa kluczowe w j. angielskim:
rigorous numerics, differential inclusions, control systems, Lohner algorithm
wydział: instytut / zakład / katedra:
Wydział Matematyki i Informatyki : Instytut Informatyki i Matematyki Komputerowej
typ:
artykuł w czasopiśmie
podtyp:
artykuł
Pliki tej pozycji
Plik
Rozmiar
Format
Przeglądanie
Nie ma plików powiązanych z tą pozycją.
Pozycja umieszczona jest w następujących kolekcjach