Search results

  1. 1.
    0365291 - ÚI 2012 RIV DE eng C - Conference Paper (international conference)
    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]
    R&D Projects: GA ČR GC201/08/J020; GA ČR GD201/09/H057; GA MŠMT OC10048
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : abstraction * incremental refinement * hybrid system * safety property
    Subject RIV: IN - Informatics, Computer Science
    Permanent Link: http://hdl.handle.net/11104/0200568
    FileDownloadSizeCommentaryVersionAccess
    a0365291.pdf0225.7 KBPublisher’s postprintrequire
     
     
  2. 2.
    0333950 - ÚI 2010 RIV ES eng C - Conference Paper (international conference)
    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]
    R&D Projects: GA ČR GC201/08/J020; GA ČR GD201/09/H057
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : verification * hybrid systems * timed automata
    Subject RIV: IN - Informatics, Computer Science
    Permanent Link: http://hdl.handle.net/11104/0178807
     
     


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.