9051 search results - page 77 / 1811 » On detectability of stochastic systems |
145
click to vote
WSC
2000
15 years 7 months ago
2000
Investigation of the performance and operation of complex systems in manufacturing or other environments, analytical models of these systems become very complicated. Because of th...
156
click to vote
DSVIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
170
click to vote
IJRR
2007
15 years 6 months ago
2007
— This paper presents a broadcast feedback approach to the distributed stochastic control of an actuator system consisting of many cellular units. This control architecture was i...
150
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
Since the first computer virus has been found, scanning detection has been used as a primarily method in virus detection systems. As computer viruses and worms become more complex ...
165
click to vote
SIMPRA
2010
15 years 4 months ago
2010
Abstract — We apply finite state-dependent queueing networks to model mobility in mobile communication systems. Although they have been successfully used in the past to model ve...