Název:
Hybrid dynamical systems: verification and error trajectory search
Autoři:
Ratschan, Stefan Typ dokumentu: Příspěvky z konference Konference/Akce: SNA ’10. Seminar on Numerical Analysis, Nové Hrady (CZ), 2010-01-18 / 2010-01-22
Rok:
2010
Jazyk:
eng
Klíčová slova:
hybrid dynamical systems; verification Číslo projektu: CEZ:AV0Z10300504 (CEP), GC201/08/J020 (CEP) Poskytovatel projektu: GA ČR Zdrojový dokument: Seminar on Numerical Analysis. Modelling and Simulation of Challenging Engineering Problems, ISBN 978-80-87136-07-2
Práva: Dílo je chráněno podle autorského zákona č. 121/2000 Sb.