… -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 …

… 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 …

… 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 …

… design and verification of hybrid system models that integrate both discrete (the controller …
Figure 1 shows a well-accepted abstraction of the architecture of a hybrid system, based on …

… We formalize the semantics of hybrid systems as sets of hybrid trajectories, including those
… semantics for discrete systems). In Sect. 5, we consider the abstraction of hybrid trajectory …

… approximated by a finite abstraction with discrete state and input sets. Then a … Discrete-time
stochastic hybrid systems In this survey, we consider stochastic hybrid systems in discrete …

… to hybrid systems is challenging. In the literature, some works achieve this for specific classes
of hybrid systems but this is usually limited to systems for which the discrete part is not too …

… classical system identification, as well as discrete behaviors, … way for system analysis in
the abstraction layer so that the … ring and validating deterministic hybrid systems from another …

… Proceeding in this way, we can use Rodin to model hybrid systems with both discrete and …
The first step for addressing this case study is to model the abstraction of the system depicted …

… by iteratively applying continuous and discrete post operators to … of hybrid systems. In this
article, we describe a new reachability algorithm for linear hybrid systems, ie, hybrid systems …