Vytisknout
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/0211490
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/0211490