Hledat
Zobrazují se záznamy 1-1 z 1
Numerical Optimization Methods for the Falsification of Hybrid Dynamical Systems
Numerické algoritmy pro analýzu hybridních dynamických systémů
Dizertační práce (OBHÁJENO)
Vedoucí práce: Ratschan, Stefan
Datum publikování: 2020
Datum obhajoby: 10. 06. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Numerické algoritmy pro analýzu hybridních dynamických systémů Autor: Jan Kuřátko Katedra: Katedra numerické matematiky Vedoucí disertační práce: Stefan Ratschan, Ústav informatiky Akademie věd České republiky ...
Title: Numerical Optimization Methods for the Falsification of Hybrid Dynamical Systems Author: Jan Kuřátko Department: Department of Numerical Mathematics Supervisor: Stefan Ratschan, Institute of Computer Science, The ...
Title: Numerical Optimization Methods for the Falsification of Hybrid Dynamical Systems Author: Jan Kuřátko Department: Department of Numerical Mathematics Supervisor: Stefan Ratschan, Institute of Computer Science, The ...