Stochastic hybrid systems have received significant attentions as a relevant modeling
framework describing many systems, from engineering to the life sciences: they enable the …

There is a growing interest in Industry and Academia in large scale composite systems
where a number of physical processes are interfaced with intelligent units that control them …

Dependency on the correct operation of embedded systems is rapidly growing, mainly due
to their wide range of applications. Their structures are becoming more complex and …

This work is concerned with a compositional technique for the construction of finite
abstractions (aka, finite Markov decision processes (MDPs)) for networks of discrete-time …

Symbolic approaches for control design construct finite-state abstract models that are related
to the original systems, then use techniques from finite-state synthesis to compute controllers …

Stochastic switched systems are a relevant class of stochastic hybrid systems with
probabilistic evolution over a continuous domain and control-dependent discrete dynamics …

In this paper, we provide a compositional approach for constructing finite abstractions (aka
finite Markov decision processes (MDPs)) of interconnected discrete-time stochastic …

In this paper, we propose a compositional framework for the construction of discrete-time
finite abstractions, also known as finite Markov decision processes, from continuous-time …

This paper is concerned with a compositional approach for constructing infinite abstractions
of interconnected discrete-time stochastic control systems. The proposed approach uses the …

This article is concerned with a compositional approach for constructing both infinite
(reduced-order models) and finite abstractions [aka finite Markov decision processes …