Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate

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

Citováno: 2

--- ABBAS, H. - FAINEKOS, G. Convergence Proofs for Simulated Annealing Falsification of Safety Properties. 2012 50TH ANNUAL ALLERTON CONFERENCE ON COMMUNICATION, CONTROL, AND COMPUTING (ALLERTON). 2012, p. 1594-1601. [WOS]
--- BOGOMOLOV, S. - DONZE, A. - FREHSE, G. - GROSU, R. - JOHNSON, T.T. - LADAN, H. - PODELSKI, A. - WEHRLE, M. Guided search for hybrid systems based on coarse-grained space abstractions. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. ISSN 1433-2779, AUG 2016, vol. 18, no. 4, p. 449-467. [WOS]

Trvalý link: http://hdl.handle.net/11104/0178787