Česky | English Sign in

Our Events - SIAM SC Seminar - Other Events

Jan Kuřátko - Unconstrained and Constrained Falsification of Hybrid Dynamical Systems

Date: 18/11/2014 14:00
Place: 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).