Výsledky vyhledávání
- 1.0365291 - ÚI 2012 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Dzetkulič, Tomáš - Ratschan, Stefan
Incremental Computation of Succinct Abstractions for Hybrid Systems.
Formal Modeling and Analysis of Timed Systems. Berlin: Springer, 2011 - (Fahrenberg, U.; Tripakis, s.), s. 271-285. Lecture Notes in Computer Science, 6919. ISBN 978-3-642-24309-7. ISSN 0302-9743.
[FORMATS 2011. International Conference on Formal Modeling and Analysis of Timed Systems /9./. Aalborg (DK), 21.09.2011-23.09.2011]
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 refinement * hybrid system * safety property
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0200568Název souboru Staženo Velikost Komentář Verze Přístup a0365291.pdf 0 225.7 KB Vydavatelský postprint vyžádat - 2.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 - 3.0344069 - ÚI 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Ratschan, Stefan
Safety Verification of Non-linear Hybrid Systems is Quasi-Semidecidable.
Theory and Applications of Models of Computation. Berlin: Springer, 2010 - (Kratochvíl, J.; Li, A.; Fiala, J.; Kolman, P.), s. 397-408. Lecture Notes in Computer Science, 6108. ISBN 978-3-642-13561-3. ISSN 0302-9743.
[TAMC 2010. Theory and Applications of Models of Computation Annual Conference /7./. Prague, (CZ), 07.06.2010-11.06.2010]
Grant CEP: GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: verification * hybrid systems * decidebility
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0186379Název souboru Staženo Velikost Komentář Verze Přístup a0344069.pdf 0 198.7 KB Vydavatelský postprint vyžádat - 4.0333950 - ÚI 2010 RIV ES eng C - Konferenční příspěvek (zahraniční konf.)
Dzetkulič, Tomáš - Ratschan, Stefan
How to Capture Hybrid Systems Evolution into Slices of Parallel Hyperplanes.
[Jak zachytit evoluci hybridních systémů do řezů paralelních hyper-rovnic.]
ADHS'09. Preprints of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems. Zaragoza: Universidad de Zaragoza, 2009 - (Giua, A.; Mahulea, C.; Silva, M.; Zaytoon, J.), s. 274-279
[ADHS'09. IFAC Conference on Analysis and Design of Hybrid Systems /3./. Zaragoza (ES), 16.09.2009-18.09.2009]
Grant CEP: GA ČR GC201/08/J020; GA ČR GD201/09/H057
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: verification * hybrid systems * timed automata
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0178807 - 5.0333922 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Ratschan, Stefan - Smaus, J.G.
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate.
[Hledání chyb hybridních systémů pomocí optimalizace odhadu kvality podle abstrakce.]
Tests and Proofs. Berlin: Springer, 2009 - (Dubois, C.), s. 153-168. Lecture Notes in Computer Science, 5668. ISBN 978-3-642-02948-6.
[TAP 2009. International Conference on Tests and Proofs /3./. Zurich (CH), 02.07.2009-03.07.2009]
Grant CEP: GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: hybridní dynamické systémy * hledání chyb
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0178787 - 6.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