Search results
- 1.0364971 - ÚI 2012 CZ eng A - Abstract
Dzetkulič, Tomáš
Incremental Computation of Succinct Abstractions for Hybrid Systems.
Doktorandské dny '11. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2011 - (Kuželová, D.; Hakl, F.). s. 19. ISBN 978-80-7378-170-5.
[Doktorandské dny 2011 Ústavu informatiky AV ČR, v. v. i. 05.10.2011-07.10.2011, Jizerka]
R&D Projects: GA ČR GC201/08/J020; GA ČR GD201/09/H057; GA MŠMT OC10048
Institutional research plan: CEZ:AV0Z10300504
Keywords : abstraction * incremental refinemen * hybrid system * safety property
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0200321File Download Size Commentary Version Access 0364971.pdf 0 49.8 KB Publisher’s postprint open-access - 2.0328858 - ÚI 2010 CZ eng A - Abstract
Dzetkulič, Tomáš
Verification of Hybrid Systems Using Slices of Parallel Hyperplanes.
Doktorandské dny '09. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2009 - (Kuželová, D.). s. 21-21. ISBN 978-80-7378-087-6.
[Doktorandské dny 2009 Ústavu informatiky AV ČR, v. v. i. 21.09.2009-23.09.2009, Jizerka]
R&D Projects: GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : hybrid dynamical systems * verification
Permanent Link: http://hdl.handle.net/11104/0175058File Download Size Commentary Version Access 0328858.pdf 0 39.3 KB Publisher’s postprint open-access - 3.0312149 - ÚI 2009 CZ eng A - Abstract
Dzetkulič, Tomáš
Verification of Hybrid Systems.
Doktorandské dny '08. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2008 - (Hakl, F.). s. 41-41. ISBN 978-80-7378-054-8.
[Doktorandské dny 2008 Ústavu informatiky AV ČR, v. v. i. 29.09.2008-01.10.2008, Jizerka]
Institutional research plan: CEZ:AV0Z10300504
Keywords : hybrid dynamical systems * verification
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0163286File Download Size Commentary Version Access 0312149.pdf 0 56.9 KB Publisher’s postprint open-access