13917 search results - page 9 / 2784 » Abstraction of Probabilistic Systems |
73
Voted
CDC
2009
IEEE
15 years 27 days ago
2009
IEEE
Abstract— A partial feedback control scheme with a probabilistic fuzzy estimator (PFE) is presented for the robust control of quantum systems. In this scheme, a probabilistic fuz...
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract-- Recent research on multi-agent systems has produced a plethora of decentralized controllers that implicitly assume various degrees of agent localization. However, many p...
85
Voted
SBMF
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
100
click to vote
CCGRID
2008
IEEE
14 years 11 months ago
2008
IEEE
Abstract--The current trend in high performance computing is to aggregate ever larger numbers of processing and interconnection elements in order to achieve desired levels of compu...
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...