3 papers
eess.SY2024
Exploring Behaviors of Hybrid Systems via the Voronoi Bias over Output Signals
Gidon Ernst, Jiří Fejlek
In this paper, we consider an analysis of temporal properties of hybrid systems based on simulations, so-called falsification of requirements. We present a novel exploration-based…
eess.SY2023
LQR-trees with Sampling Based Exploration of the State Space
Jiří Fejlek, Stefan Ratschan
This paper introduces an extension of the LQR-tree algorithm, which is a feedback-motion-planning algorithm for stabilizing a system of ordinary differential equations from a bound…
cs.RO2021
Computing Funnels Using Numerical Optimization Based Falsifiers
Jiří Fejlek, Stefan Ratschan
In this paper, we present an~algorithm that computes funnels along trajectories of systems of ordinary differential equations. A funnel is a time-varying set of states containing t…