Výsledky vyhledávání
- 1.0348221 - ÚI 2011 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Dzetkulič, Tomáš
Verification of Hybrid Systems by Incremental Abstract Forward/Backward Computation.
Doktorandské dny '10. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2010 - (Kuželová, D.; Hakl, F.), s. 19-23. ISBN 978-80-7378-133-0.
[Doktorandské dny 2010 Ústavu informatiky AV ČR, v. v. i. Heřmanice v Podještědí (CZ), 29.09.2010-01.10.2010]
Grant CEP: GA ČR GD201/09/H057; GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: hybrid dynamical systems * verification
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0188806Název souboru Staženo Velikost Komentář Verze Přístup 0348221.pdf 9 158.1 KB Vydavatelský postprint povolen - 2.0346101 - ÚI 2011 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Ratschan, Stefan
Hybrid dynamical systems: verification and error trajectory search.
Seminar on Numerical Analysis. Modelling and Simulation of Challenging Engineering Problems. Prague: Institute of Computer Science AS CR, 2010, s. 125-126. ISBN 978-80-87136-07-2.
[SNA ’10. Seminar on Numerical Analysis. Nové Hrady (CZ), 18.01.2010-22.01.2010]
Grant CEP: GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: hybrid dynamical systems * verification
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0187211Název souboru Staženo Velikost Komentář Verze Přístup 0346101.pdf 15 89.5 KB Vydavatelský postprint povolen