45 search results - page 4 / 9 » Stochastic Transition Systems for Continuous State Spaces an... |
SOFSEM
2007
Springer
14 years 4 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
EPEW
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Recently, there is an explosive development of fluid approaches to computer and distributed systems. These approaches are inherently stochastic and generate continuous st...
ASMTA
2008
Springer
13 years 8 months ago
2008
Springer
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of paralle...
CDC
2008
IEEE
14 years 15 days ago
2008
IEEE
Abstract— This paper deals with the long run average continuous control problem of piecewise deterministic Markov processes (PDMP‘s) taking values in a general Borel space and ...
APN
2003
Springer
13 years 11 months ago
2003
Springer
Fluidification is a common relaxation technique used to deal in a more friendly way with large discrete event dynamic systems. In Petri nets, fluidification leads to continuous ...