3 papers
math.OC2016
Solving Reachability Problems by a Scalable Constrained Optimization Method
Jan Kuratko, Stefan Ratschan
In this paper we consider the problem of finding an evolution of a dynamical system that originates and terminates in given sets of states. However, if such an evolution exists the…
math.OC2015
Solving Underdetermined Boundary Value Problems By Sequential Quadratic Programming
Jan Kuratko, Stefan Ratschan
Ordinary differential equations that model technical systems often contain states, that are considered dangerous for the system. A trajectory that reaches such a state usually indi…
eess.SY2014
Combined Global and Local Search for the Falsification of Hybrid Systems
Jan Kuřátko, Stefan Ratschan
In this paper we solve the problem of finding a trajectory that shows that a given hybrid dynamical system with deterministic evolution leaves a given set of states considered to b…