Global Multiple Shooting for Hybrid Dynamical Systems

Bibliografické údaje

Autoři

• Jan Kuřátko
• doc. Dipl. Ing. Stefan Ratschan, Dr. tech.

Rok vydání

2014

Typ publikace

Abstrakt

Periodikum

ECMI 2014 Abstracts

Projekty

• Integrovaná verifikace a falzifikace hybridních systémů průmyslové velikosti

Bibliografická citace

KUŘÁTKO, Jan, RATSCHAN, Stefan. Global Multiple Shooting for Hybrid Dynamical Systems. In: ECMI 2014 Abstracts. Taormina: TaoSciences Research Center, 2014, S. 626-627.

ID

473981