Incremental Computation of Succinct Abstractions for Hybrid Systems

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/0200568