How to Capture Hybrid Systems Evolution into Slices of Parallel Hyperplanes

Number of the records: 1

1.

SYSNO	0333950
Title	How to Capture Hybrid Systems Evolution into Slices of Parallel Hyperplanes
Title	Jak zachytit evoluci hybridních systémů do řezů paralelních hyper-rovnic
Author(s)	Dzetkulič, Tomáš (UIVT-O) Ratschan, Stefan (UIVT-O)_{SAI, RID, ORCID}
Source Title	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.
Conference	ADHS'09. IFAC Conference on Analysis and Design of Hybrid Systems /3./, Zaragoza, 16.09.2009-18.09.2009
Document Type	Konferenční příspěvek (zahraniční konf.)
Grant	GC201/08/J020 GA ČR - Czech Science Foundation (CSF)
	GD201/09/H057 GA ČR - Czech Science Foundation (CSF)
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Language	eng
Country	ES
Keywords	verification * hybrid systems * timed automata
Permanent Link	http://hdl.handle.net/11104/0178807

Number of the records: 1