scholar.google.com › citations
May 9, 2011 · Abstract:In this paper, we address the problem of local search for the falsification of hybrid automata with affine dynamics.
Abstract. In this paper, we address the problem of local search for the falsification of hybrid automata with affine dynamics.
In this paper, we address the problem of local search for the falsification of hybrid automata with affine dynamics. Namely, if we are given a sequence of ...
This paper addresses the problem of local search for the falsification of hybrid automata with affine dynamics as a differentiable optimization problem ...
Abstract. In this paper, we address the problem of local search for the falsification of hybrid automata with affine dynamics. Namely, if we are.
In this paper, we address the problem of local search for the falsification of hybrid automata with affine dynamics. Namely, given a sequence of locations ...
Our main contribution, in this paper, is an algorithm that can propose such descent directions. Given a test trajectory sx0 : R+ → Rn starting from a point x0, ...
We provide a method to automatically search for falsifying time varying uncertain inputs for nonlinear and possibly hybrid systems. The input to the system is ...
Design analysis of Cyber-Physical Systems (CPS) with com- plex continuous and discrete behaviors, in-practice, relies heavily on nu- merical simulations. While ...
In this paper we introduce a simple idea to enhance falsification, namely time staging, that allows the time-causal structure of time-dependent signals to be ...