Search results
- 1.0346101 - ÚI 2011 CZ eng K - Conference Paper (Czech conference)
Ratschan, Stefan
Hybrid dynamical systems: verification and error trajectory search.
Seminar on Numerical Analysis. Modelling and Simulation of Challenging Engineering Problems. Prague: Institute of Computer Science AS CR, 2010, s. 125-126. ISBN 978-80-87136-07-2.
[SNA ’10. Seminar on Numerical Analysis. Nové Hrady (CZ), 18.01.2010-22.01.2010]
R&D Projects: GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : hybrid dynamical systems * verification
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0187211File Download Size Commentary Version Access 0346101.pdf 15 89.5 KB Publisher’s postprint open-access