Počet záznamů: 1

How to Capture Hybrid Systems Evolution into Slices of Parallel Hyperplanes

SYSNO	0333950
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
Tvůrce(i)	Dzetkulič, Tomáš (UIVT-O) Ratschan, Stefan (UIVT-O)_{SAI, RID, ORCID}
Zdroj.dok.	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.
Konference	ADHS'09. IFAC Conference on Analysis and Design of Hybrid Systems /3./, Zaragoza, 16.09.2009-18.09.2009
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	GC201/08/J020 GA ČR - Grantová agentura ČR
	GD201/09/H057 GA ČR - Grantová agentura ČR
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Jazyk dok.	eng
Země vyd.	ES
Klíč.slova	verification * hybrid systems * timed automata
Trvalý link	http://hdl.handle.net/11104/0178807

Počet záznamů: 1