Original title:
Hybrid dynamical systems: verification and error trajectory search
Authors:
Ratschan, Stefan Document type: Papers Conference/Event: SNA ’10. Seminar on Numerical Analysis, Nové Hrady (CZ), 2010-01-18 / 2010-01-22
Year:
2010
Language:
eng
Keywords:
hybrid dynamical systems; verification Project no.: CEZ:AV0Z10300504 (CEP), GC201/08/J020 (CEP) Funding provider: GA ČR Host item entry: Seminar on Numerical Analysis. Modelling and Simulation of Challenging Engineering Problems, ISBN 978-80-87136-07-2
Rights: This work is protected under the Copyright Act No. 121/2000 Coll.