Global Multiple Shooting for Hybrid Dynamical Systems

Bibliographic details

Authors

Jan Kuřátko, Stefan Ratschan

Publication year

2014

Publication type

Abstrakt

Periodical

ECMI 2014 Abstracts

Projects

• Integrated Verification and Falsification of Hybrid Systems of Industrial Size

Bibliographic citation

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