Výsledky vyhledávání
- 1.0364971 - ÚI 2012 CZ eng A - Abstrakt
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]
Grant CEP: GA ČR GC201/08/J020; GA ČR GD201/09/H057; GA MŠMT OC10048
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: abstraction * incremental refinemen * hybrid system * safety property
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0200321Název souboru Staženo Velikost Komentář Verze Přístup 0364971.pdf 0 49.8 KB Vydavatelský postprint povolen - 2.0334000 - ÚI 2010 US eng A - Abstrakt
Ratschan, Stefan
Symbolic-Numeric Problems in the Automatic Analysis and Verification of Cyber-Physical Systems.
[Symbolické-numerické problémy v automatické analýze a verifikaci kyber-fyzikálních systémů.]
SNC '09: Proceedings of the 2009 conference on Symbolic numeric computation. New York: ACM, 2009 - (Kai, H.; Sekigawa, H.). s. 7-7. ISBN 978-1-60558-664-9.
[SNC2009. International Workshop on Symbolic-Numeric Computation /3./. 03.08.2009-05.08.2009, Kyoto]
Grant CEP: GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: algorithms * design * reliability * verification
Kód oboru RIV: IN - Informatika
https://dl.acm.org/doi/proceedings/10.1145/1577190#sec1
Trvalý link: http://hdl.handle.net/11104/0178847 - 3.0328858 - ÚI 2010 CZ eng A - Abstrakt
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]
Grant CEP: GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: hybrid dynamical systems * verification
Trvalý link: http://hdl.handle.net/11104/0175058Název souboru Staženo Velikost Komentář Verze Přístup 0328858.pdf 0 39.3 KB Vydavatelský postprint povolen