Výsledky vyhledávání
- 1.0473978 - ÚI 2018 ES eng A - Abstrakt
Kuřátko, Jan - Ratschan, Stefan
Falsification of Hybrid Dynamical Systems Using Global Optimization Techniques.
Proceedings of the XII Global Optimization Workshop Mathematical and Applied Global Optimization. Almería: Universidad de Almería, 2014 - (Casado, L.; García, I.; Hendrix, E.). s. 133-136. ISBN 978-84-16027-57-6.
[MAGO 2014. Global Optimization Workshop on Mathematical And Applied Global Optimization /12./. 01.09.2014-04.09.2014, Málaga]
Grant CEP: GA ČR GCP202/12/J060
Institucionální podpora: RVO:67985807
Klíčová slova: hybrid dynamical systems * global optimization
www.hpca.ual.es/~MAGO14/MAGO14-Proceedings.pdf#page=142
Trvalý link: http://hdl.handle.net/11104/0271076Název souboru Staženo Velikost Komentář Verze Přístup a0473978.pdf 4 1.6 MB Vydavatelský postprint vyžádat - 2.0380888 - ÚI 2013 CZ eng A - Abstrakt
Kuřátko, Jan
Falsification of Hybrid Systems.
Doktorandské dny '12. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2012 - (Kuželová, D.; Hakl, F.). s. 41-41. ISBN 978-80-7278-217-7.
[Doktorandské dny 2012 Ústavu informatiky AV ČR, v. v. i. 24.09.2012-26.09.2012, Jizerka]
Grant CEP: GA ČR GCP202/12/J060
Institucionální podpora: RVO:67985807
Klíčová slova: falsification * hybrid dynamical systems * error trajectory * optimization
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0211490Název souboru Staženo Velikost Komentář Verze Přístup 0380888.pdf 1 220.9 KB Vydavatelský postprint povolen - 3.0351300 - ÚI 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Zhang, L. - She, Z. - Ratschan, Stefan - Hermanns, H. - Hahn, E.M.
Safety Verification for Probabilistic Hybrid Systems.
CAV 2010. Computer Aided Verification. Berlin: Springer, 2010 - (Touili, T.; Cook, B.; Jackson, P.), s. 196-211. Lecture Notes in Computer Science, 6174. ISBN 978-3-642-14294-9. ISSN 0302-9743.
[CAV 2010. International conference on Computer Aided Verification /55./. Edinburgh (GB), 15.07.2010-19.07.2010]
Grant CEP: GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: verification * hybrid dynamical systems
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0191084Název souboru Staženo Velikost Komentář Verze Přístup a0351300.pdf 0 315.5 KB Vydavatelský postprint vyžádat - 4.0348221 - ÚI 2011 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Dzetkulič, Tomáš
Verification of Hybrid Systems by Incremental Abstract Forward/Backward Computation.
Doktorandské dny '10. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2010 - (Kuželová, D.; Hakl, F.), s. 19-23. ISBN 978-80-7378-133-0.
[Doktorandské dny 2010 Ústavu informatiky AV ČR, v. v. i. Heřmanice v Podještědí (CZ), 29.09.2010-01.10.2010]
Grant CEP: GA ČR GD201/09/H057; GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: hybrid dynamical systems * verification
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0188806Název souboru Staženo Velikost Komentář Verze Přístup 0348221.pdf 9 158.1 KB Vydavatelský postprint povolen - 5.0346101 - ÚI 2011 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Ratschan, Stefan
Hybrid dynamical systems: verification and error trajectory search.
Seminar on Numerical Analysis. Modelling and Simulation of Challenging Engineering Problems. Prague: Institute of Computer Science AS CR, 2010, s. 125-126. ISBN 978-80-87136-07-2.
[SNA ’10. Seminar on Numerical Analysis. Nové Hrady (CZ), 18.01.2010-22.01.2010]
Grant CEP: GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: hybrid dynamical systems * verification
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0187211Název souboru Staženo Velikost Komentář Verze Přístup 0346101.pdf 15 89.5 KB Vydavatelský postprint povolen - 6.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 - 7.0312149 - ÚI 2009 CZ eng A - Abstrakt
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]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: hybrid dynamical systems * verification
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0163286Název souboru Staženo Velikost Komentář Verze Přístup 0312149.pdf 0 56.9 KB Vydavatelský postprint povolen - 8.0042501 - ÚI 2007 RIV CZ eng L - Prototyp, funkční vzorek
Ratschan, Stefan
System HSOLVER.
[Systém HSOLVER.]
Interní kód: HSOLVER ; 2006
Technické parametry: verifikace hybridních systémů
Ekonomické parametry: zlepšení verifikace hybridních systémů
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: verification * hybrid dynamical systems
Kód oboru RIV: IN - Informatika
http://hsolver.sourceforge.net/
Trvalý link: http://hdl.handle.net/11104/0135711