Česky | English Přihlásit se

Naše akce - Seminář SIAM SC - Další akce


Jan Kuřátko - Neomezená a omezená falzifikace hybridních dynamických systémů

Kdy: 18/11/2014 14:00
Kde: Seminární místnost KNM
V přednášce představíme metodu falzifikace hybridních dynamických systémů, která je založena na minimalizaci funkce vzdálenosti. Výsledný optimalizační problém je formulován bez omezujících podmínek a připomíná metodu vícenásobné střelby pro řešení okrajových úloh pro obyčejné diferenciální rovnice. Přednáška bude hlavně zaměřena na výsledek v článku J. Kuřátko, S. Ratschan: Combined Global and Local Search for the Falsification of Hybrid Systems, ale zmíníme se i o formulaci optimalizačního problému s omezeními a aplikaci metody Sequetial Quadratic Programming (SQP).