Výsledky vyhledávání
- 1.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 - 2.0328328 - ÚI 2010 KR eng C - Konferenční příspěvek (zahraniční konf.)
Ratschan, Stefan - She, Z.
Constraint Based Verification of Hybrid Systems.
ASCM 2005. Seoul: Korea Institute for Advanced Study, 2005 - (Pae, S.; Park, H.), s. 66-68
[ASCM 2005. Seoul (KR), 08.12.2005-10.12.2005]
Trvalý link: http://hdl.handle.net/11104/0174665 - 3.0314335 - ÚI 2009 RIV PT eng C - Konferenční příspěvek (zahraniční konf.)
Ratschan, Stefan - She, Z.
Recursive and Backward Reasoning in the Verification of Hybrid Systems.
[Rekurzivní a zpáteční dedukce ve verifikaci hybridních systémů.]
Proceedings of the Fifth International Conference on Information in Control, Automation and Robotics. Setúbal: INSTICC, 2008, s. 65-71. ISBN 978-989-8111-30-2.
[ICINCO 2008. International Conference on Information in Control, Automation and Robotics /5./. Funchal (PT), 11.05.2008-15.05.2008]
Grant CEP: GA ČR GC201/08/J020
Grant ostatní: National Key Basic Research Program(CN) 2005CB321902; Program for Excellent Tallents of Beijing(CN) 20071D1600600410
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: hybrid systems * verification * constraint propagation
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0164877