9051 search results - page 77 / 1811 » On detectability of stochastic systems |
149
click to vote
WSC
2000
15 years 8 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...
171
click to vote
DSVIS
2005
Springer
16 years 8 days 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...
178
Voted
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...
155
click to vote
ICCS
2004
Springer
16 years 3 days 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 ...
176
click to vote
SIMPRA
2010
15 years 5 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...