How to Capture Hybrid Systems Evolution into Slices of Parallel Hyperplanes

Dzetkulič Tomáš



Název
How to Capture Hybrid Systems Evolution into Slices of Parallel Hyperplanes
Překlad názvu
Jak zachytit evoluci hybridních systémů do řezů paralelních hyper-rovnic
Autor
lupa Dzetkulič Tomáš UIVT-O - Ústav informatiky AV ČR, v. v. i.
Spoluautoři
lupa Ratschan Stefan UIVT-O - Ústav informatiky AV ČR, v. v. i.
Zdroj.dok.
lupa ADHS'09. Preprints of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems. S. 274-279. - Zaragoza : Universidad de Zaragoza, 2009 / Giua A. ; Mahulea C. ; Silva M. ; Zaytoon J.
Vyd.údaje
5 s.
Druh dok.
C
Jazyk dok.
eng
Země vyd.
ES
Klíč.slova
verification * hybrid systems * timed automata
Databáze
zc - Konferenční příspěvek (zahraniční konference)
Trvalý link
http://hdl.handle.net/11104/0178807