Results 1 - 10 of 46,625

Abstractions of Stochastic Hybrid Systems

by Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu , 2008
"... In this paper we define a stochastic bisimulation concept for a very general class of stochastic hybrid systems, which subsumes most classes of stochastic hybrid systems. The definition of this bisimulation builds on the concept of zigzag morphism defined for strong Markov processes. The main result ..."
Abstract - Cited by 5 (5 self) - Add to MetaCart
In this paper we define a stochastic bisimulation concept for a very general class of stochastic hybrid systems, which subsumes most classes of stochastic hybrid systems. The definition of this bisimulation builds on the concept of zigzag morphism defined for strong Markov processes. The main

DISTRIBUTED STOCHASTIC HYBRID SYSTEMS

by Savi Maharaj
"... Abstract: We consider a theoretical, but very general mathematical model of control systems, namely stochastic hybrid systems. Then we study how to dene concurrency for these systems. Copyright c 2005 IFAC ..."
Abstract - Add to MetaCart
Abstract: We consider a theoretical, but very general mathematical model of control systems, namely stochastic hybrid systems. Then we study how to dene concurrency for these systems. Copyright c 2005 IFAC

MODELING STOCHASTIC HYBRID SYSTEMS

by Mrinal K. Ghosh, Arunabha Bagchi
"... Abstract Stochastic hybrid systems arise in numerous applications of systems with multiple models; e.g., air traffc management, flexible manufacturing systems, fault tolerant control systems etc. In a typical hybrid system, the state space is hybrid in the sense that some components take values in a ..."
Abstract - Cited by 5 (0 self) - Add to MetaCart
Abstract Stochastic hybrid systems arise in numerous applications of systems with multiple models; e.g., air traffc management, flexible manufacturing systems, fault tolerant control systems etc. In a typical hybrid system, the state space is hybrid in the sense that some components take values

Polynomial stochastic hybrid systems

by João Pedro Hespanha - In: Hybrid Systems : Computation and Control (HSCC) 2005 , 2005
"... Abstract. This paper deals with polynomial stochastic hybrid systems (pSHSs), which generally correspond to stochastic hybrid systems with polynomial continuous vector fields, reset maps, and transition intensities. For pSHSs, the dynamics of the statistical moments of the continuous states evolve a ..."
Abstract - Cited by 12 (4 self) - Add to MetaCart
Abstract. This paper deals with polynomial stochastic hybrid systems (pSHSs), which generally correspond to stochastic hybrid systems with polynomial continuous vector fields, reset maps, and transition intensities. For pSHSs, the dynamics of the statistical moments of the continuous states evolve

Bisimulation for general stochastic hybrid systems

by Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu - In HSCC 2005 , 2005
"... Abstract. In this paper we define a bisimulation concept for some very general models for stochastic hybrid systems (general stochastic hybrid systems). The definition of bisimulation builds on the ideas of Edalat and of Larsen and Skou and of Joyal, Nielsen and Winskel. The main result is that this ..."
Abstract - Cited by 23 (12 self) - Add to MetaCart
Abstract. In this paper we define a bisimulation concept for some very general models for stochastic hybrid systems (general stochastic hybrid systems). The definition of bisimulation builds on the ideas of Edalat and of Larsen and Skou and of Joyal, Nielsen and Winskel. The main result

Approximations of Stochastic Hybrid Systems

by A. Agung Julius, George J. Pappas , 2009
"... This paper develops a notion of approximation for a class of stochastic hybrid systems that includes, as special cases, both jump linear stochastic systems and linear stochastic hybrid automata. Our approximation framework is based on the recently developed notion of the so-called stochastic simulat ..."
Abstract - Cited by 12 (0 self) - Add to MetaCart
This paper develops a notion of approximation for a class of stochastic hybrid systems that includes, as special cases, both jump linear stochastic systems and linear stochastic hybrid automata. Our approximation framework is based on the recently developed notion of the so-called stochastic

Toward a general theory of stochastic hybrid systems. Stochastic hybrid systems

by Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu - LNCIS
"... 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 Ma ..."
Abstract - Cited by 28 (4 self) - Add to MetaCart
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

Symmetry reduction for stochastic hybrid systems

by Manuela L. Bujorianu, Joost-pieter Katoen - In Decision and Control, 2008. CDC 2008. 47th IEEE Conference on DOI - 10.1109/CDC.2008.4739086 , 2008
"... Abstract — This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. We first show that performability analysis of stochastic hybrid systems can be reduced to a stochastic reachability analysis (SRA). Then ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
Abstract — This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. We first show that performability analysis of stochastic hybrid systems can be reduced to a stochastic reachability analysis (SRA

Approximate Abstractions of Stochastic Hybrid Systems

by Manuela L. Bujorianu, Marius C. Bujorianu, Henk A. P. Blom
"... Abstract: This paper considers the issue of developing approximate abstractions of stochastic hybrid systems. The stochastic continuous behaviour breaks many essential properties of hybrid automata. Our approach departs from the progress in stochastic reachability analysis and Markov chain approxima ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
Abstract: This paper considers the issue of developing approximate abstractions of stochastic hybrid systems. The stochastic continuous behaviour breaks many essential properties of hybrid automata. Our approach departs from the progress in stochastic reachability analysis and Markov chain

Stochastic Hybrid Systems: Models and Applications

by Hendra I. Nurdin , 2001
"... This report is a summary of the literature search and study that the author carried out on stochastic hybrid systems and its applications in the fourth term of the M.Sc programme in Engineering Mathematics at the Faculty of Mathematical Sciences, University of Twente. The report is divided into... ..."
Abstract - Add to MetaCart
This report is a summary of the literature search and study that the author carried out on stochastic hybrid systems and its applications in the fourth term of the M.Sc programme in Engineering Mathematics at the Faculty of Mathematical Sciences, University of Twente. The report is divided into...
Results 1 - 10 of 46,625