Incremental Computation of Succinct Abstractions for Hybrid Systems

Number of the records: 1

1.

SYSNO	0365291
Title	Incremental Computation of Succinct Abstractions for Hybrid Systems
Author(s)	Dzetkulič, Tomáš (UIVT-O) Ratschan, Stefan (UIVT-O)_{SAI, RID, ORCID}
Source Title	Formal Modeling and Analysis of Timed Systems. S. 271-285. - Berlin : Springer, 2011 / Fahrenberg U. ; Tripakis s.
Conference	FORMATS 2011. International Conference on Formal Modeling and Analysis of Timed Systems /9./, Aalborg, 21.09.2011-23.09.2011
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)
	OC10048 GA MŠMT - Ministry of Education, Youth and Sports (MEYS)
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Language	eng
Country	DE
Keywords	abstraction * incremental refinement * hybrid system * safety property
Permanent Link	http://hdl.handle.net/11104/0200568

	File	Download	Size	Commentary	Version	Access
	a0365291.pdf	0	225.7 KB		Publisher’s postprint	require

Number of the records: 1