In this chapter we set up a mathematical structure, called Markov string, to obtaining a very general class of models for stochastic hybrid systems. Markov Strings are, in fact, a class of Markov processes, obtained by a mixing mechanism of stochastic processes, introduced by Meyer. We prove that Markov strings are strong Markov processes with the cadlag property. We then show how a very general class of stochastic hybrid processes can be embedded in the framework of Markov strings. This class, which is referred to as the General Stochastic Hybrid Systems (GSHS), includes as special cases all the classes of stochastic hybrid processes, proposed in the literature
This paper considers the issue of developing approximate abstractions of stochastic hybrid systems. ...
Final version. Mistakes corrected in subsection 2.2 (generalized Ito formula and differential genera...
Abstract: This paper considers the issue of developing approximate abstractions of stochastic hybrid...
In this paper we set up a mathematical structure, called Markov string, to obtaining a very general ...
In this chapter we set up a mathematical structure, called Markov string, to obtaining a very genera...
Abstract. The objective of this study is to introduce an abstraction procedure that applies to a gen...
Abstract Stochastic hybrid systems arise in numerous applications of systems with multiple models; e...
In this paper we study a class of strong Markov solutions to stochastic differential equations on a ...
Logic is a powerful tool for analyzing and verifying systems, including programs, discrete systems, ...
In this paper, we consider {\it hybrid systems} containing both stochastic and \deterministic compon...
Abstract — Stochastic hybrid systems are driven by random processes and have states that can both fl...
In practice, many stochastic hybrid systems are not autonomous: they are objects that communicate wi...
In this paper we define a stochastic bisimulation concept for a very general class of stochastic hyb...
Abstract—We present a constructive procedure for obtaining a finite approximate abstraction of a dis...
This paper is an extended version of my IFAC WC'2008 paper with the same name (preprint available as...
This paper considers the issue of developing approximate abstractions of stochastic hybrid systems. ...
Final version. Mistakes corrected in subsection 2.2 (generalized Ito formula and differential genera...
Abstract: This paper considers the issue of developing approximate abstractions of stochastic hybrid...
In this paper we set up a mathematical structure, called Markov string, to obtaining a very general ...
In this chapter we set up a mathematical structure, called Markov string, to obtaining a very genera...
Abstract. The objective of this study is to introduce an abstraction procedure that applies to a gen...
Abstract Stochastic hybrid systems arise in numerous applications of systems with multiple models; e...
In this paper we study a class of strong Markov solutions to stochastic differential equations on a ...
Logic is a powerful tool for analyzing and verifying systems, including programs, discrete systems, ...
In this paper, we consider {\it hybrid systems} containing both stochastic and \deterministic compon...
Abstract — Stochastic hybrid systems are driven by random processes and have states that can both fl...
In practice, many stochastic hybrid systems are not autonomous: they are objects that communicate wi...
In this paper we define a stochastic bisimulation concept for a very general class of stochastic hyb...
Abstract—We present a constructive procedure for obtaining a finite approximate abstraction of a dis...
This paper is an extended version of my IFAC WC'2008 paper with the same name (preprint available as...
This paper considers the issue of developing approximate abstractions of stochastic hybrid systems. ...
Final version. Mistakes corrected in subsection 2.2 (generalized Ito formula and differential genera...
Abstract: This paper considers the issue of developing approximate abstractions of stochastic hybrid...