… in constructing (in)finite abstractions for stochastic systems. Existing findings include formal
… for discretetime stochastic hybrid systems [1]; infinite abstractions for jumpdiffusion systems […

… In this paper, we make two main contributions: (a) we define CoB transformations for continuous,
discrete and hybrid systems and provide conditions under which a given transformation …

… -event abstraction and then to use methods from supervisory … abstractions of hybrid systems
with a prescribed discrete-event input/output interface. We discuss a family of abstractions …

… Since we only reason the safety at discrete time steps for the hybrid system, to be fair, the
tests on Flow* are implemented based on its C++ API instead of the user interface which …

… of discrete-time finite abstractions, also known as finite Markov decision processes, from
continuous-time stochastic hybrid systems by … -time stochastic systems with their discrete-time …

… dynamics [2, 3] or reason in discrete terms only [18–20]. In the following, we consider discrete
abstractions of hybrid systems. The quality of a discrete abstraction of a multiaffine system …

… We solve Problem 1 with a discrete abstraction that is both formal and computationally
tractable. We construct a finite model in the form of an uncertain Markov process that captures all …

… of probabilistic hybrid systems that capture the discrete, continuous and probabilistic
behaviors. The continuous behaviors are captured by differential equations, and the discrete and …

… In our paper, we consider hybrid systems, with discrete and continuous dynamics, and
reduce the number of modes of the automaton, instead of considering pure-discrete dynamics …

… a new abstraction called conic abstraction for affine hybrid systems and we compute reachable
state sets based on the abstraction. … Discrete abstraction is a basic strategy for verifying …